こんにちは。Haxeの深淵へようこそ。
Haxeは単なる「トランスパイラ」ではありません。コンパイルという「静的な時間」を最大限に活用し、実行時のリスクを極限までゼロにするための「錬金術」なのです。
今回は、PHPターゲットで最も重要なデータベース操作、特に「PDOプリペアドステートメントを型安全に構築するマクロ術」について解説します。なぜPHPの素の文字列連結が危険なのか、そしてHaxeがどうやってそれを「コンパイルエラー」に変えてくれるのか。その核心に迫りましょう。
—
なぜPHPのSQL構築は「型」を欲するのか
PHPでデータベースを扱う際、以下のようなコードを書いていませんか？
$stmt = $pdo->prepare(“SELECT FROM users WHERE id = ?”);
$stmt->execute([$id]);
これの何が問題か。「プレースホルダー `?` と渡す値の数が一致しているか」が実行するまで分からないという点です。開発中にミスをしても、本番環境で動かして初めてエラーが出る。これはHaxeの思想に反しますよね。
Haxeなら、「SQLの構造をコンパイル時に解析し、不整合があれば即座にコンパイルを止める」ことができます。
—
マクロで実現する「型安全なクエリ構築」の設計図
私たちが目指すのは、こんな魔法のような書き味です。
// コンパイル時にSQLを検証し、パラメータの過不足をチェックする
var query = Sql.query(“SELECT FROM users WHERE id = :id AND status = :status”);
query.execute({ id: 10, status: “active” });
もしここで `{ id: 10 }` しか渡さなかったら？ コンパイラが「`status` が足りないよ！」と、愛のある（かつ厳しい）指摘をしてくれる仕組みを作ります。
ステップ1：抽象型（Abstract）による安全なラップ
まずは、PHPのPDOをHaxeの世界に馴染ませましょう。
abstract PdoStatement(Dynamic) from Dynamic {
public function execute(params:Dynamic):Void {
this.execute(params);
}
}
ステップ2：コンパイル時の魔法（マクロ）を仕込む
ここが本題です。`Sql.query` をマクロ関数として定義します。
import haxe.macro.Expr;
import haxe.macro.Context;
class Sql {
public static macro function query(sql:ExprOf
// 1. SQL文字列を静的に取得
var sqlStr = switch(sql.expr) {
case EConst(CString(s)): s;
default: Context.error(“SQLは静的な文字列で記述してください”, sql.pos);
};
// 2. 正規表現でプレースホルダーを抽出 (:name 形式)
var reg = ~/:([a-zA-Z0-9_]+)/g;
var placeholders = [];
while (reg.match(sqlStr)) {
placeholders.push(reg.matched(1));
reg = new EReg(reg.matchedRight(), “”);
}
// 3. 戻り値として、コンパイル時に検証を行う構造体を返す
// ここで、渡されたパラメータとプレースホルダーの整合性を確認するコードを埋め込む
return macro {
new QueryBuilder($v{sqlStr}, $v{placeholders});
};
}
}
—
現場で役立つ「陥りやすいポイント」の回避策
このマクロを実装する際、多くの人が以下の壁にぶつかります。ここをクリアすれば、あなたはもうHaxe中級者です。
1. 「コンパイル時に値が見えない！」エラー
- マクロに渡すSQL文字列は、必ず定数（`”SELECT…”`）である必要があります。外部ファイルから読み込んだり、動的に連結した文字列はマクロに渡せません。これは「コンパイル時に構造を確定させる」という制約のためです。
2. PHPの動的型システムとの境界
- PHPは型が緩いですが、Haxe側では `Typedef` を使ってSQLのパラメータ構造を定義してください。そうすれば、IDEの補完が強力に効くようになります。
—
最後に：Haxeを使いこなすということ
「なぜわざわざマクロを使うのか？」と思われるかもしれません。答えは簡単です。「コードの品質を、人間が確認するのではなく、機械に保証させるため」です。
今回紹介したようなマクロを一度書いておけば、プロジェクト全体のデータベース操作が劇的に堅牢になります。PHPの柔軟なライブラリ資産を、Haxeの鉄壁の型システムで守る。これこそが、クロスプラットフォーム開発の醍醐味です。
ここをクリアできれば、もうHaxeの「型」に対する恐怖心は消えているはず。次は、PHPのComposerパッケージを `extern` で定義して、さらに深淵を覗いてみましょうか。
あなたのコードが、今日も健やかにコンパイルされますように。応援していますよ。