こんにちは！Haxeの世界へようこそ。
今回は、Haxeの真骨頂である「マクロ（Macro）」と、PHPターゲットを組み合わせた、現場で即効性のある極限のテクニックをお伝えしますね。
他の言語からHaxeに入った方なら、「Haxeって色々な環境にトランスパイルできて便利だな」と感じていることでしょう。特にPHPターゲットは、既存のレガシーシステムとの融合や、Webアプリケーションの高速なバックエンドとして非常に強力です。
さて、PHPでオブジェクト指向の大規模なアプリケーションを書くとき、避けて通れないのがDI（依存性の注入：Dependency Injection）ですよね。「どのクラスにどのインスタンスを渡すか」という設定ファイルを、手作業でYAMLや配列に書くのは、タイポによるバグの温床になりがちです。
「――だったら、Haxeのコンパイル時に、ソースコードの型情報から自動でDIコンテナの設定を生成しちゃえばよくないですか？」
今回は、Haxeの `@:build` マクロを使って、PHP向けのDI設定を完全自動化する極限のテクニックを優しく、かつ深く解説していきます。ここをクリアすれば、あなたもHaxeマクロの強力な信奉者になりますよ！
—
1. なぜ手動のDI設定は辛いのか？（全体像の把握）
まずは、イメージ図を見てみましょう。
[Haxeのソースコード (型情報)]
│
▼ コンパイル時に @:build マクロが発動！
[抽象構文木 (AST) を解析 ＆ 自動構築]
│
▼
[PHP向けのDIコンテナ設定・キャッシュ] が自動生成される！
手作業でやっていると、クラス名が変わったときに設定ファイルを修正し忘れて、本番環境で「Class not found」……なんて悲劇が起きますよね。
Haxeの素晴らしいところは、「コードが型安全であるならば、その構造から必要な設定をコンパイラが自動で導き出せる」という点です。
これを `@:build` マクロを使って実現してみましょう。
—
2. 実装のステップ：DI対象のクラスとマクロの準備
まずは、依存関係を持つシンプルなサービスクラス群を定義します。
ステップ①：インターフェースと具象クラスの定義
// ILogger.hx
interface ILogger {
function log(message:String):Void;
}
// FileLogger.hx
class FileLogger implements ILogger {
public function new() {}
public function log(message:String):Void {
// PHP向けにファイル出力する処理などのイメージ
trace(“[FileLogger] ” + message);
}
}
// UserService.hx
class UserService {
var logger:ILogger;
// コンストラクタインジェクションの対象
public function new(logger:ILogger) {
this.logger = logger;
}
public function registerUser(name:String):Void {
logger.log(“User registered: ” + name);
}
}
ここまでは普通のオブジェクト指向コードですね。「`UserService` は `ILogger` を必要としている」という依存関係が、コンストラクタの型情報（`ILogger`）として綺麗に表現されています。
—
3. マクロの核心：`@:build` で型情報をハッキングする
いよいよ本丸です。コンパイル時に `UserService` などのクラス構造を覗き見して、PHPで使えるDIの定義を自動生成するマクロを書きましょう。
> 知的な先輩からのワンポイントアドバイス
> マクロは「コンパイル時に動くHaxeプログラム」です。ターゲットがPHPであっても、マクロ自体はHaxeのVM上（NekoやHl）で動作するため、ファイル書き出しなども自由自在ですよ。
if macro
import haxe.macro.Context;
import haxe.macro.Expr;
import sys.Io;
end
class DIContainerGenerator {
@:macro public static function build():Array
// 現在ビルドしようとしているクラスの情報を取得
var cls = Context.getLocalClass().get();
var className = cls.name;
// コンストラクタを探す
for (field in cls.statics.concat(cls.fields)) {
if (field.name == “new”) {
// ここでコンストラクタの引数（依存関係）を解析できる！
switch (field.kind) {
case FFun(f):
for (arg in f.args) {
// 引数の型名を取得（例: ILogger）
var argType = arg.type;
// 実際にはここで依存関係のグラフを構築します
trace(‘依存関係を発見: ${className} は ${arg.name} (${argType}) を求めています’);
}
default:
}
}
}
// 実際のPHP用コンテナ設定ファイル（PHP配列やJSON）をここで自動出力！
// sys.io.File.saveContent(“php_di_auto_config.php”, “…生成したPHPコード…”);
// クラスのフィールド自体は書き換えないので、そのまま返す
return Context.getBuildFields();
}
}
このマクロを、使いたいクラスに `@:build(DIContainerGenerator.build())` のように付与するだけで、コンパイルの瞬間にクラスの依存関係が自動で解析されます。
—
4. 実際のPHPターゲット連携と運用時の注意点
こうしてマクロによって生成された設定ファイルを、PHP側のエントリポイント（`index.php` など）で読み込むようにします。
// Haxeから自動生成されたPHP設定ファイルのイメージ (php_di_auto_config.php)
return [
‘UserService’ => [
‘dependencies’ => [‘ILogger’],
],
‘ILogger’ => [
‘implementation’ => ‘FileLogger’,
]
];
陥りやすい文法エラーと対策
1. マクロのコンパイル境界（#if macro）のミス
- マクロ内で使うコード（`sys.io.File` など）は、クライアント側のPHPコードには存在しません。必ず `#if macro` で囲み、ターゲット環境に不要なコードが混入しないようにしましょう。
2. 型の完全修飾名（Path）の扱い
- マクロ内で型を比較する際は、単なる文字列（`”ILogger”`）ではなく、パッケージ名を含む完全修飾名（`com.example.ILogger`）で扱うのが鉄則です。これを怠ると、別パッケージの同名クラスと衝突して痛い目をみますよ。
—
まとめ：Haxeで未来のアーキテクチャを手に入れよう
今回は、Haxeの `@:build` マクロを使ったPHPのDI設定の自動化について、その本質と実装のヒントを解説しました。
- 手作業での設定ミスは、コンパイル時のマクロで根絶する
- クラスの型情報（コンストラクタの引数など）は、マクロから完全に読み取れる
- PHPターゲットであっても、コンパイル時の強力なエコシステム（Haxeマクロ）の恩恵を100%受けられる
ここをマスターすれば、単なる「PHPへのコンパイラ」を超えて、「自分だけのカスタム言語拡張」としてのHaxeの凄みが見えてきます。
明日からの開発が、もっとスリリングで、もっとエレガントになりますように。
それでは、次のHaxeの深淵でお会いしましょう！