无类型可变参数无类型可变参数除了 untyped 元类型防止类型检查之外, varargs[untyped] 甚至连参数的数量都可以不确定: template hideIdentifiers(x: varargs[untyped]) = discard hideIdentifiers(undeclared1, undeclared2) 但是,由于模板无法通过varargs进行迭代,因此该功能通常对宏非常有用。