标识符构造标识符构造在模板中,可以使用反引号表示法构造标识符: template typedef(name: untyped, typ: typedesc) = type `T name`* {.inject.} = typ `P name`* {.inject.} = ref `T name` typedef(myint, int)var x: PMyInt 示例中 name 用 myint 实例化,所以 T name 变为 Tmyint 。