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
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の動的な実行環境に、コンパイル言語の「堅牢性」をレイヤーとして被せることができる。
「動くコード」を書くのはジュニアでもできる。我々テクニカルリードがやるべきは、「間違ったコードがコンパイルを通過できないシステム」を設計することだ。
さあ、このマクロを君のプロジェクトに組み込み、テストコードを走らせてみてくれ。コンパイラが君の味方になった瞬間、開発体験は劇的に変わるはずだ。