让我们考虑这样的代码示例(它只是一个结合定义和模板的人工示例,不要任何意义它)：
#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宏.虽然没有保证.
