【実務・中級編】HaxeからPHPのPDOプリペアドステートメントを型安全に構築するマクロの活用 – Haxe言語クロスプラットフォームとPHPターゲット連携解析バイブル

Haxeで「型安全なSQL」を構築する：PDO×マクロで実現する究極のランタイム・エラー排除

Haxeを単なる「クロスプラットフォーム言語」としか見ていないなら、君はまだその真の力を半分も引き出せていない。Haxeの真髄は、コンパイル時にコードを生成し、実行時のオーバーヘッドを限りなくゼロに近づける「マクロシステム」にある。

PHPターゲットにおいて、データベース操作は常に「SQLインジェクション」と「実行時エラー」の恐怖と隣り合わせだ。今日は、Haxeのマクロを駆使し、PHPのPDOプリペアドステートメントを型安全に構築するという、実務で明日から使える強力な武器を授けよう。

—

1. なぜ「文字列のSQL」は悪なのか

多くのエンジニアが `db.query(“SELECT FROM users WHERE id = ” + id)` のようなコードを書く。これは自殺行為だ。プリペアドステートメントを使えばインジェクションは防げるが、今度は「バインド変数の数と型の不一致」というランタイム・バグが待っている。

我々が目指すべきは、SQLの構造と型をコンパイル時に検証し、ミスがあればビルドを停止させる設計だ。

—

2. 実装：`TypedQuery` マクロの設計戦略

今回は、`query!` マクロを定義し、コンパイル時にSQL文字列を解析して、必要なパラメータを強制する仕組みを構築する。

必要な構成要素

1. 抽象型 (Abstract Types): PHPのPDOと型安全にやり取りするためのゲートウェイ。
2. マクロ (Macro): コンパイル時にSQLを解析し、パラメータの数と型をチェックする。

プロダクションコード例

まずは、型安全なクエリ構築のための基盤コードだ。

if macro
import haxe.macro.Expr;
import haxe.macro.Context;
end

class Db {
/

マクロエントリポイント
文字列リテラルを解析し、パラメータの型を検証する

/
public static macro function query(sql:ExprOf, params:Array):Expr {
var sqlStr = switch(sql.expr) {
case EConst(CString(s)): s;
default: Context.error(“SQLは文字列リテラルである必要があります”, sql.pos);
}

// ここでSQLのプレースホルダー(?)の数をカウントし、paramsの長さを比較する
var placeholders = sqlStr.split(“?”).length – 1;
if (placeholders != params.length) {
Context.error(‘SQLのプレースホルダー数($placeholders)と引数の数(${params.length})が一致しません’, sql.pos);
}

return macro @:pos(sql.pos) {
// PHPのPDOへ渡す準備
var stmt = untyped __php__(“$GLOBALS[‘pdo’]->prepare($sqlStr)”);
stmt.execute($a{params});
stmt.fetchAll();
};
}
}

—

3. この設計が「美しい」理由

① コンパイル時の静的検証

`Db.query(“SELECT FROM users WHERE id = ? AND status = ?”, [id])` と書いたとき、引数が足りなければコンパイラが即座にエラーを吐く。デプロイ後の「実行して初めて気付くSQLエラー」は、この瞬間この世から消滅する。

② PHPターゲットへのゼロコスト抽象化

`untyped __php__` を使うことで、余計なラッパー関数を生成せず、直接PHPの `PDO::prepare` を叩く。Haxeのマクロは、最終的なPHPコードを「最適化された生の関数呼び出し」に展開するため、パフォーマンス上のペナルティは皆無だ。

③ Composerライブラリとの親和性

`$GLOBALS[‘pdo’]` の部分を、既存のDIコンテナやComposerで読み込んだデータベース接続オブジェクトに差し替えるだけで、どんなレガシーなPHPプロジェクトにも統合できる。

—

4. さらなる高みへ：パフォーマンスと保守性のための注意点

この設計を実戦投入する際の鉄則を伝授しておく。

SQLキャッシュを汚染しない: マクロ内でSQL文字列を固定値として扱っているため、PHP側のプリペアドステートメントキャッシュが最大限に活用される。動的なSQL生成は絶対に行うな。
抽象型で型をラップする: `UserId` や `Email` といった型を抽象型（`abstract`）として定義し、クエリの引数に制約を設ければ、SQLインジェクションだけでなく、ドメインロジックのミスもコンパイル時に弾けるようになる。
エラーメッセージの工夫: マクロ内の `Context.error` は、単に止めるだけでなく、どこが間違っているかを明示せよ。開発者が修正時間を一秒も無駄にしないための「親切なエラー」こそが、優れたマクロの条件だ。

—

結論：Haxeは「型」という武器をPHPに持ち込むための唯一の選択肢

PHPは柔軟だが、その柔軟さは大規模開発において「壊れやすさ」と表裏一体だ。Haxeのマクロを使えば、PHPの動的な実行環境に、コンパイル言語の「堅牢性」をレイヤーとして被せることができる。

「動くコード」を書くのはジュニアでもできる。我々テクニカルリードがやるべきは、「間違ったコードがコンパイルを通過できないシステム」を設計することだ。

さあ、このマクロを君のプロジェクトに組み込み、テストコードを走らせてみてくれ。コンパイラが君の味方になった瞬間、開発体験は劇的に変わるはずだ。