Question

我正在尝试使用宏来创建一些静态变量。

我的问题是，我如何定义一个带有2个参数的宏，第一个是模板，第二个是静态变量。模板应该有多于一种类型。

例如：

#define macro(x, y, z, v) x::y z = v;

int main(int argc, char *argv[]) {
  // this works
  macro(std::queue<int>, value_type, test, 4)
  // this also works
  std::pair<int, int>::first_type x = 3;

  // this is produsing some compiler errors
  macro(std::pair<int, int>, first_type, test2, 4)

  return 0;
}

甚至可以这样做吗？

这是错误：

main.cpp(47) : warning C4002: too many actual parameters for macro 'macro'
main.cpp(47) : error C2589: 'int' : illegal token on right side of '::'
main.cpp(47) : error C2589: 'int' : illegal token on right side of '::'
main.cpp(47) : error C2143: syntax error : missing ',' before '::'
main.cpp(50) : error C2143: syntax error : missing ';' before '}'
main.cpp(51) : error C2143: syntax error : missing ';' before '}'

受Joachim Pileborg的启发

#define macro(x, y, z, v, ...) x<__VA_ARGS__>::y z = v;
...

// now it works
macro(std::pair, first_type, test2, 4, int, int)

约翰希姆（Joachim）

Answer 1

这是因为处理宏的预处理器非常愚蠢。它在第二个宏“call”中看到五个参数，第一个是std::pair<int，第二个是int>。您不能拥有包含逗号的宏参数。

您可能需要查看variadic macros，并重新排列，以便该类在宏中位于最后。

Answer 2

这不是一个真正的解决方案，而只是一个解决方法：

#define COMMA ,

macro(std::pair<int COMMA int>, first_type, test2, 4)

或者更具可读性：

#define wrap(...) __VA_ARGS__

macro(wrap(std::pair<int, int>), first_type, test2, 4)

Answer 3

有几种方法可以摆脱那个顶级逗号。

typedef std::pair<int, int> int_pair;
macro(int_pair, first_type, test2, 4)

macro((std::pair<int, int>), first_type, test2, 4);

#define macro2(x1, x2, y, z, v) x1, x2::y z = v;
macro2(std::pair<int, int> first_type, test2, 4)

顺便说一句，我将从宏中取消;，并在使用宏的任何地方使用它。这使代码看起来更自然。

用模板定义宏作为变量

3 个答案: