c – 首先是什么 – 模板实例化与宏扩展？

让我们考虑这样的代码示例(它只是一个结合定义和模板的人工示例,不要任何意义它)：

#define COMMA,template <typename A> class Test
{
public:
    Test(){}

    void Foo(A var COMMA int test);
};

Test<int> Knarz;

题：

我的假设是否正确,首先预处理器将搜索/替换所有出现的COMMA,然后编译器将按顺序实例化任何模板？

跟进：

如果上面的答案是’是’,我希望如此,你能解释为什么这个solution using templates and defines有效吗？

解决方法

预处理器在编译本身完成之前运行,因此您假设预处理器将在模板实例化之前替换COMMA是正确的.

为了您的后续：
该解决方案与模板几乎没有关系.问题在于预处理器会将大括号内的逗号作为宏的参数分隔符,因为它不会解析C代码以查看它是模板参数的分隔符.因此,COMMA宏仅用于在替换MOCK_CONSTANT_METHOD0之后插入,用于分隔模板参数.然而,我不确定这是否有效,因为我不知道内存宏替换顺序的保证.如果在MOCK_CONSTANT_METHOD0之前将COMMA替换掉一切,那么代码将再次无法编译.

编辑：在查看标准后,我认为解决方案通常应该有效,因为预处理器将首先找到MOCK_CONSTANT_METHOD0并替换它.只有这样它才会检查替换的结果以找到COMMA宏.虽然没有保证.

c – 首先是什么 – 模板实例化与宏扩展？

解决方法

相关文章