在 x 宏定义中使用宏作为参数

Question

考虑以下用户样式x-macro：

#define PRIMES_X(func) \
  func(2) \
  func(3) \
  func(5)

我们可以使用它来重复调用传入的宏func，并使用前三个素数。例如：

#define MAKE_FUNC(num) void foo ## num();
PRIMES_X(MAKE_FUNC)

将声明返回 void 的函数 foo2()、foo3() 和 foo5()。

到目前为止，一切都很好。现在假设我想在 x-macro 本身的定义中使用一个宏作为参数，如下所示：

#define MAX_PRIME 5
#define PRIMES_X(func) \
  func(2) \
  func(3) \
  func(MAX_PRIME)

它不起作用，因为MAKE_FUNC 现在将尝试声明void fooMAX_PRIME()，因为（我想）令牌连接发生而不扩展MAX_PRIME。

我可以解决这个问题，让它像以前一样声明 foo5() 吗？

Answer 1

您可以插入另一个级别的宏扩展（PRIMES_X2 下面）。

#define MAKE_FUNC(num) void foo ## num();
#define MAX_PRIME 5
#define PRIMES_X(func) PRIMES_X2(func, MAX_PRIME)
#define PRIMES_X2(func, maxPrimePar) \
  func(2) \
  func(3) \
  func(maxPrimePar)

PRIMES_X(MAKE_FUNC)

输出gcc -E:

void foo2(); void foo3(); void foo5();

Answer 2

Yunnosch 的回答很好，但要进一步旋转 X 宏的疯狂，您也可以使用列表内部的宏调用来执行此操作，而不是在列表外部使用包装宏。这样做的好处是您可以将列表中的“变量”传递给被调用的宏。

我想这可能有一些用处 - 例如，假设您希望使用 X 宏来声明不同类型的函数？

例子：

#define MAX_PRIME 5

#define CREATE_FUNC(func, ret_type, param) func(ret_type, param)

#define PRIMES_X(func)                 \
  CREATE_FUNC(func, int,    2)         \
  CREATE_FUNC(func, void,   3)         \
  CREATE_FUNC(func, double, MAX_PRIME) \

#define MAKE_FUNC(ret_type, num) ret_type foo ## num(void);
  PRIMES_X(MAKE_FUNC)
#undef MAKE_FUNC

调试代码以检查函数确实得到了预期的原型：

int main(void)
{
  (void)foo2();
  foo3();
  (void)foo5();
}

int foo2 (void){ return 0;}
void foo3 (void){}
double foo5 (void){ return 0.0;}