我可以在中间而不是末尾定义可变 C 预处理器宏吗？

Question

如果我这样做，GCC 会抱怨：

#define M(obj,met, ..., contents) obj##_##met(const void * self, __VA_ARGS__) { \
   contents \
   }

给我两个原因：

error: missing ')' in macro parameter list
warning: __VA_ARGS__ can only appear in the expansion of a C99 variadic macro

显然，C99 风格的可变参数宏期望在省略号之后立即使用右括号，实际上要求可变参数列表是宏的最后一个参数。我需要它位于中间才能生成上面宏中描述的速记符号。 GCC 是否支持此功能，使用另一种（非 C99）可变参数宏样式？我可以用其他方式模仿它吗？我不希望最后有可变参数列表，它会让我的符号变得混乱。而且我只能使用GCC。

Answer 1

不，你不能。 ... 必须出现在末尾。

但是您可以将 M 定义为

#define M(obj,met, ...) obj##_##met(const void * self, __VA_ARGS__)

并将其用作

void M(foo, bar, int x, char y, double z) {
   content;
}

Answer 2

您必须将 ... 放在末尾，但是使用 LAST 和 POP_LAST 宏，您可以为您的宏并按如下方式定义它：

#define M(obj,met, ...) obj##_##met(const void * self, POP_LAST(__VA_ARGS__)) { \
   LAST(__VA_ARGS__) \
   }

以下是定义这些宏的方法：

/* This counts the number of args */
#define NARGS_SEQ(_1,_2,_3,_4,_5,_6,_7,_8,N,...) N
#define NARGS(...) NARGS_SEQ(__VA_ARGS__, 8, 7, 6, 5, 4, 3, 2, 1)

/* This will let macros expand before concating them */
#define PRIMITIVE_CAT(x, y) x ## y
#define CAT(x, y) PRIMITIVE_CAT(x, y)

/* This will pop the last argument off */
#define POP_LAST(...) CAT(POP_LAST_, NARGS(__VA_ARGS__))(__VA_ARGS__)
#define POP_LAST_1(x1)
#define POP_LAST_2(x1, x2) x1
#define POP_LAST_3(x1, x2, x3) x1, x2
#define POP_LAST_4(x1, x2, x3, x4) x1, x2, x3
#define POP_LAST_5(x1, x2, x3, x4, x5) x1, x2, x3, x4
#define POP_LAST_6(x1, x2, x3, x4, x5, x6) x1, x2, x3, x4, x5
#define POP_LAST_7(x1, x2, x3, x4, x5, x6, x7) x1, x2, x3, x4, x5, x6
#define POP_LAST_8(x1, x2, x3, x4, x5, x6, x7, x8) x1, x2, x3, x4, x5, x6, x7

/* This will return the last argument */
#define LAST(...) CAT(LAST_, NARGS(__VA_ARGS__))(__VA_ARGS__)
#define LAST_1(x1) x1
#define LAST_2(x1, x2) x2
#define LAST_3(x1, x2, x3) x3
#define LAST_4(x1, x2, x3, x4) x4
#define LAST_5(x1, x2, x3, x4, x5) x5
#define LAST_6(x1, x2, x3, x4, x5, x6) x6
#define LAST_7(x1, x2, x3, x4, x5, x6, x7) x7
#define LAST_8(x1, x2, x3, x4, x5, x6, x7, x8) x8

这些宏最多适用于 8 个参数。如果您愿意，您可以轻松扩展它们以处理更多内容。