类型具体化用于以一个简便的方式创建 haxe.macro.Expr.ComplexType 的实例。通过一个 macro : Type 定义，Type 可以是任何有效的类型路径表达式。这类似于普通代码中的显式类型提示，例如对于变量，形式为 var x:Type 。 ComplexType的每个构造函数都有不同的语法： **TPath: macro :** pack.Type **TFunction:** macro : Arg1 -> Arg2 -> Return **TAnonymous:** macro : { field: Type } **TParent:** macro : (Type) **TExtend:** macro : {> Type, field: Type } **TOptional:** macro : ?Type