c++ - 使用模板进行宏扩展

Question

我正在编写几个将模板函数的结果作为输入的函数:

int alg1(Vect3) {...}
...
int algN(Vect3) {...}

void main() {
    alg1( mat.topRightCorner<3,1>() )
}

哪里，如果你好奇，topRightCorner返回 mat 的子矩阵，来自 Eigen 的方法，其中维度在编译时已知时作为模板参数放置。

但是使用宏创建一个“快捷方式”以在不同算法之间快速切换(因为在实际代码中该函数被多次调用)，就像这样

#define ALG(X)    ( algN(X) )

ALG( mat.topRightCorner<3,1>() )

给出了一个错误，因为宏被正确扩展但不知何故被误解为有两个不同的参数，mat.topRightCorner<3和 1>() .

用括号将输入包裹起来就可以了，但为什么会这样呢？

Answer 1

因为 , 被预处理器接受为新宏参数的分隔符，并且因为预处理器并不真正关心您可能将其作为模板参数列表的分隔符.

更准确地说:

ALG( mat.topRightCorner<3,1>() )
     ^^^^^^^^^^^^^^^^^^^^ ^^^^

这两个在词法上看起来都像是有效的宏参数，并且宏解析优先。

另一方面，预处理器知道 () 的作用，因此您可以通过这种方式“强制”解析为单个参数。