类型化（typed）实参

对于类型化实参，语义检查器在它传给宏之前对其进行检查并进行变换。这里标识符节点解析成符号， 树中的隐式类型转换被看作调用，模板被展开，最重要的是节点有类型信息。类型化实参的实参列表可以有 typed 类型。 但是其它所有类型，例如 int, float 或 MyObjectType 也是类型化实参，它们作为一个语法树传递给宏。