带有“占位符”的宏价值

Question

我正在使用一个包含一组预处理器库的库。其中之一是 FOR_EACH 样式宏，它迭代 __VA_ARGS__ 并为每个参数调用用户提供的宏。用户提供的宏的调用方式如下：SOME_MACRO(current_arg)

但是，问题是它仅适用于采用单个参数的用户提供的宏。我正在尝试做一些特殊的事情，其中​​涉及结构的名称和结构中的每个字段。问题是，这需要宏的两个参数。

由于我正在使用的库仅接受一元宏，因此是否有某种方法可以将附加参数“绑定”到我的宏？

截至目前，我必须在宏中对结构的名称进行硬编码。因此，如果我正在使用的 struct 名为 Foo，我不得不说：

#define MY_MACRO(FIELD) /* do something with &Foo::FIELD */

是否可以通过某种方式“绑定”第二个 STRUCT > 宏的参数，也许有一些进一步的间接，这样当库调用我的宏时，它就可以扩展为：

#define MY_MACRO(FIELD) /* do something with &STRUCT::FIELD */

Answer 1

是的。您可以使用以下技术。

#define MY_MACRO(FIELD) EXPAND FIELD
#define EXPAND(X, FIELD) X::FIELD()

下面的测试代码中的用法：

struct foo { static int f() { return 0; } };
struct STRUCT { static int f() { return 1; } };

#define MY_MACRO(FIELD) EXPAND FIELD
#define EXPAND(X, FIELD) X::FIELD()

int main ()
{
  int i = MY_MACRO((STRUCT,f)); // see here braces inside braces
}

上面的代码扩展为，

int main ()
{
  int i = STRUCT::f();
}