構建枚舉類似于使用一個簡單的映射構建類： * 沒有參數的枚舉構造函數是變量字段 FVar。 * 帶有參數的枚舉構造函數是方法字段 FFun 。 ~~~ import haxe.macro.Context; import haxe.macro.Expr; class EnumBuildingMacro { macro static public function build():Array<Field> { var noArgs = makeEnumField("A", FVar(null, null)); var eFunc = macro function(value:Int) { }; var fInt = switch (eFunc.expr) { case EFunction(_,f): f; case _: throw "false"; } var intArg = makeEnumField("B", FFun(fInt)); return [noArgs, intArg]; } static function makeEnumField(name, kind) { return { name: name, doc: null, meta: [], access: [], kind: kind, pos: Context.currentPos() } } } ~~~ ~~~ @:build(EnumBuildingMacro.build()) enum E { } class Main { static public function main() { switch(E.A) { case A: case B(v): } } } ~~~ 因為枚舉 E 被使用一個 :build 元數據注解，調用的宏構建兩個構造函數 A 和 B 到它之中。前者被添加使用的類型是 FVar(null, null)，意味著它是一個構造函數，沒有參數。后者，我們使用具體化來獲得 haxe.macro.Expr.Function 的一個實例，參數為一個單獨的 Int 。 main 方法通過匹配它，證明了我們生成的枚舉的結構。我們可以發現，生成的類型跟下面這個是等價的： ~~~ enum E { A; B(value:Int); } ~~~