当括号导致语法错误时，如何在宏参数内的大括号内添加逗号？

Question

我定义了一些宏，使定义结构数组变得更简单，但我找不到一种在不生成错误的情况下使用它们的方法。以下是宏（以及一些示例结构，以演示为什么可以使用宏（我填充的实际结构稍微复杂一些））：

struct string_holder {
    const char *string;
};
struct string_array_holder {
    struct string_holder *holders;
};
#define DEFINE_STRING_ARRAY_HOLDER(name, values) \
    static struct string_holder name##__array[] = values; \
    static struct string_array_holder name = { name##__array }
#define WRAP_STRING(string) { string }

当您使用它来声明包含一项的数组时，它工作得很好：

DEFINE_STRING_ARRAY_HOLDER(my_string_array_holder, {
    WRAP_STRING("my string")
});

但是当我使用多个项目时：

DEFINE_STRING_ARRAY_HOLDER(my_string_array_holder, {
    WRAP_STRING("hello"),
    WRAP_STRING("world")
});

我收到此错误：

错误：为类似函数的宏调用提供了太多参数

因此它将大括号中的逗号解释为参数分隔符。我遵循 这个问题 的建议，并在有问题的参数周围加上括号：

DEFINE_STRING_ARRAY_HOLDER(my_string_array_holder, ({
    WRAP_STRING("hello"),
    WRAP_STRING("world")
}));

现在，当我尝试编译它时，它会解释 ({ ... }) 作为语句表达式 和抱怨：

警告：使用 GNU 语句表达式扩展
（由于将其解释为语句表达式而导致一堆语法错误）
错误：文件范围内不允许使用语句表达式

我怎样才能：

• 使用宏而不会出现错误（首选），或
• 重写宏以在这些情况下工作？

Answer 1

Dmitri 是对的，可变参数宏是正确的选择。

我放置了一些示例代码，用于测试给定的键是否是值列表的成员：

#define _IN(KEY, ...)                                             \
({                                                                \
  typedef __typeof(KEY) _t;                                       \
  const _t _key = (KEY);                                          \
  const _t _values[] = { __VA_ARGS__ };                           \
  _Bool _r = 0;                                                   \
  unsigned int _i;                                                \
  for (_i = 0; _i < sizeof(_values) / sizeof(_values[0]); ++_i) { \
    if (_key == _values[_i]) {                                    \
      _r = 1;                                                     \
      break;                                                      \
    }                                                             \
  }                                                               \
  _r;                                                             \
})

注意 __VA_ARGS__ 的用法。

更新：
如果您不喜欢在任意位置使用 __VA_ARGS__ ，一个粗略的解决方案是使用“解包器”宏：

#define UNWRAP(...) __VA_ARGS__

您可以像前缀运算符一样使用它。 ;-)

#include <stdio.h>

/* "unwrapper": */
#define UNWRAP(...) __VA_ARGS__

/* your macros: */
#define WRAP(NAME, ELEMS) static const char *NAME[] = { UNWRAP ELEMS }

int main(void) {
  WRAP(some_test, ("a", "b", "c"));
  printf("The second elem in some_test is: '%s'\n", some_test[1]);
  return 0;
}

Answer 2

是的，使用 __VA_ARGS__，但是 Kay 的 解决方案太复杂了。只要做：

#define DEFINE_STRING_ARRAY_HOLDER(name, ...)                 \
    static struct string_holder name##_array[] = __VA_ARGS__; \
    static struct string_array_holder name = { name##_array }

就足够了。然后，您可以按照您的预期使用此宏：

DEFINE_STRING_ARRAY_HOLDER(my_string_array_holder, {
    WRAP_STRING("hello"),
    WRAP_STRING("world")
});