表達式具體化用于以一個便捷的方式創建haxe.macro.Expr的實例。Haxe編譯器接受通常的Haxe語法并翻譯它到一個表達式對象。它支持幾種轉義機制，都是通過 $ 符號觸發： * **${} 和 $e{}: Expr -> Expr** 這可以被用來合并表達式。 {}界限內的表達式被執行，使用它的值進行替換。 * **$a{}: Expr -> Array<Expr>** 如果用于一個 預期為Array<Expr>的位置（如調用參數，塊元素），$a{} 把數組作為它的值。否則它生成一個數組聲明。 * **$b{}:Array<Expr>->Expr** 從給定的表達式數組生成一個塊級表達式。 * **$i{}:String->Expr** 從給定字符串生成一個標識符。 * **$p{}:Array<String>->Expr** 從給定字符串數組生成一個字段表達式。 * **$v{}:Dynamic->Expr** 根據它的參數的類型生成一個表達式。這僅僅保證使用在基本類型和枚舉實例。 另外，元數據 @:pos(p) 可以用來映射注解表達式的位置到 p ，而不是被具體化的位置。 這類具體化只工作于 內部結構預期一個表達式時。不允許 object.${fieldName}，但是 object.$fieldName 可以使用。這適用于所有內部構造預期一個字符串的位置： **字段訪問** object.$name **變量名稱** var $name = 1; **從Haxe 3.1.0 以后：** **字段名** { $name: 1} **函數名** function $name() { } **捕獲變量名** try e() catch($name:Dynamic) { } 此外，一個新的表達式可以通過提供 haxe.macro.TypePath 參數被具體化： new $typePath()