12

我有一个来自第三方 C 库的可变参数函数：

int func(int argc, ...);

argc表示传递的可选参数的数量。正如这里所建议的，我用一个计算参数数量的宏来包装它。为了阅读方便，这里是宏：

#define PP_ARG_N( \
          _1,  _2,  _3,  _4,  _5,  _6,  _7,  _8,  _9, _10, \
         _11, _12, _13, _14, _15, _16, _17, _18, _19, _20, \
         _21, _22, _23, _24, _25, _26, _27, _28, _29, _30, \
         _31, _32, _33, _34, _35, _36, _37, _38, _39, _40, \
         _41, _42, _43, _44, _45, _46, _47, _48, _49, _50, \
         _51, _52, _53, _54, _55, _56, _57, _58, _59, _60, \
         _61, _62, _63, N, ...) N

#define PP_RSEQ_N()                                        \
         63, 62, 61, 60,                                   \
         59, 58, 57, 56, 55, 54, 53, 52, 51, 50,           \
         49, 48, 47, 46, 45, 44, 43, 42, 41, 40,           \
         39, 38, 37, 36, 35, 34, 33, 32, 31, 30,           \
         29, 28, 27, 26, 25, 24, 23, 22, 21, 20,           \
         19, 18, 17, 16, 15, 14, 13, 12, 11, 10,           \
          9,  8,  7,  6,  5,  4,  3,  2,  1,  0

#define PP_NARG_(...)    PP_ARG_N(__VA_ARGS__)    

#define PP_NARG(...)     PP_NARG_(__VA_ARGS__, PP_RSEQ_N())

我像这样包装它：

#define my_func(...)     func(PP_NARG(__VA_ARGS__), __VA_ARGS__)

该PP_NARG宏适用于接受一个或多个参数的函数。例如，PP_NARG("Hello", "World")计算结果为2。

问题是，当没有传递参数时，PP_NARG()计算结果为1而不是0。
我了解这个宏是如何工作的，但我想不出修改它的想法，以便它在这种情况下也能正确运行。

有任何想法吗？

编辑：
我找到了一种解决方法PP_NARG，并将其作为答案发布。
我仍然有包装可变参数函数的问题。当__VA_ARGS__为空时，my_func扩展为func(0, )触发编译错误。

4

4 回答 4

18

另一种既不使用sizeof也不使用 GCC 扩展的可能性是将以下内容添加到您的代码中

#define PP_COMMASEQ_N()                                    \
          1,  1,  1,  1,                                   \
          1,  1,  1,  1,  1,  1,  1,  1,  1,  1,           \
          1,  1,  1,  1,  1,  1,  1,  1,  1,  1,           \
          1,  1,  1,  1,  1,  1,  1,  1,  1,  1,           \
          1,  1,  1,  1,  1,  1,  1,  1,  1,  1,           \
          1,  1,  1,  1,  1,  1,  1,  1,  1,  1,           \
          1,  1,  1,  1,  1,  1,  1,  1,  0,  0

#define PP_COMMA(...)    ,

#define PP_HASCOMMA(...)                                   \
          PP_NARG_(__VA_ARGS__, PP_COMMASEQ_N())

#define PP_NARG(...)                                       \
          PP_NARG_HELPER1(                                 \
              PP_HASCOMMA(__VA_ARGS__),                    \
              PP_HASCOMMA(PP_COMMA __VA_ARGS__ ()),        \
              PP_NARG_(__VA_ARGS__, PP_RSEQ_N()))

#define PP_NARG_HELPER1(a, b, N)    PP_NARG_HELPER2(a, b, N)
#define PP_NARG_HELPER2(a, b, N)    PP_NARG_HELPER3_ ## a ## b(N)
#define PP_NARG_HELPER3_01(N)    0
#define PP_NARG_HELPER3_00(N)    1
#define PP_NARG_HELPER3_11(N)    N

结果是

PP_NARG()       // expands to 0
PP_NARG(x)      // expands to 1
PP_NARG(x, 2)   // expands to 2

解释：

这些宏中的技巧是，PP_HASCOMMA(...)当使用零个或一个参数调用时扩展为 0，当使用至少两个参数调用时扩展为 1。为了区分这两种情况，我使用PP_COMMA __VA_ARGS__ ()了 ，它在为空时返回逗号，在非空__VA_ARGS__时不返回任何内容。__VA_ARGS__

现在有三种可能的情况：

  1. __VA_ARGS__为空：PP_HASCOMMA(__VA_ARGS__)返回 0 并PP_HASCOMMA(PP_COMMA __VA_ARGS__ ())返回 1。

  2. __VA_ARGS__包含一个参数：PP_HASCOMMA(__VA_ARGS__)返回 0 并PP_HASCOMMA(PP_COMMA __VA_ARGS__ ())返回 0。

  3. __VA_ARGS__包含两个或多个参数：PP_HASCOMMA(__VA_ARGS__)返回 1 并PP_HASCOMMA(PP_COMMA __VA_ARGS__ ())返回 1。

PP_NARG_HELPERx只需要宏来解决这些情况。

编辑：

为了解决这个func(0, )问题，我们需要测试我们是否提供了零个或多个参数。宏在PP_ISZERO这里发挥作用。

#define PP_ISZERO(x)    PP_HASCOMMA(PP_ISZERO_HELPER_ ## x)
#define PP_ISZERO_HELPER_0    ,

现在让我们定义另一个宏，它将参数数量添加到参数列表中：

#define PP_PREPEND_NARG(...)                               \
          PP_PREPEND_NARG_HELPER1(PP_NARG(__VA_ARGS__), __VA_ARGS__)
#define PP_PREPEND_NARG_HELPER1(N, ...)                    \
          PP_PREPEND_NARG_HELPER2(PP_ISZERO(N), N, __VA_ARGS__)
#define PP_PREPEND_NARG_HELPER2(z, N, ...)                 \
          PP_PREPEND_NARG_HELPER3(z, N, __VA_ARGS__)
#define PP_PREPEND_NARG_HELPER3(z, N, ...)                 \
          PP_PREPEND_NARG_HELPER4_ ## z (N, __VA_ARGS__)
#define PP_PREPEND_NARG_HELPER4_1(N, ...)  0
#define PP_PREPEND_NARG_HELPER4_0(N, ...)  N, __VA_ARGS__

再次需要许多助手来将宏扩展为数值。最后测试一下：

#define my_func(...)  func(PP_PREPEND_NARG(__VA_ARGS__))

my_func()          // expands to func(0)
my_func(x)         // expands to func(1, x)
my_func(x, y)      // expands to func(2, x, y)
my_func(x, y, z)   // expands to func(3, x, y, z)

在线示例：

http://coliru.stacked-crooked.com/a/73b4b6d75d45a1c8

也可以看看：

另请查看P99项目，它具有更高级的预处理器解决方案，例如这些。

于 2012-07-31T14:21:51.273 回答
3

可以在 GCC 中使用## VA_ARGS扩展：

#define PP_ARG_N( \
          _1,  _2,  _3,  _4,  _5,  _6,  _7,  _8,  _9, _10, \
         _11, _12, _13, _14, _15, _16, _17, _18, _19, _20, \
         _21, _22, _23, _24, _25, _26, _27, _28, _29, _30, \
         _31, _32, _33, _34, _35, _36, _37, _38, _39, _40, \
         _41, _42, _43, _44, _45, _46, _47, _48, _49, _50, \
         _51, _52, _53, _54, _55, _56, _57, _58, _59, _60, \
         _61, _62, _63, N, ...) N

/* Note 63 is removed */
#define PP_RSEQ_N()                                        \
         62, 61, 60,                                       \
         59, 58, 57, 56, 55, 54, 53, 52, 51, 50,           \
         49, 48, 47, 46, 45, 44, 43, 42, 41, 40,           \
         39, 38, 37, 36, 35, 34, 33, 32, 31, 30,           \
         29, 28, 27, 26, 25, 24, 23, 22, 21, 20,           \
         19, 18, 17, 16, 15, 14, 13, 12, 11, 10,           \
          9,  8,  7,  6,  5,  4,  3,  2,  1,  0

#define PP_NARG_(...)    PP_ARG_N(__VA_ARGS__)    

/* Note dummy first argument _ and ##__VA_ARGS__ instead of __VA_ARGS__ */
#define PP_NARG(...)     PP_NARG_(_, ##__VA_ARGS__, PP_RSEQ_N())

#define my_func(...)     func(PP_NARG(__VA_ARGS__), __VA_ARGS__)

现在PP_NARG(a, b, c)给出 3 并PP_NARG()给出 0。

不幸的是，我没有看到一种让它普遍工作的方法。

于 2012-07-03T22:35:07.397 回答
3

我想出了以下解决方法PP_NARG：

#define PP_NARG(...)     (sizeof(#__VA_ARGS__) - 1 ?       \
    PP_NARG_(__VA_ARGS__, PP_RSEQ_N()) : 0)

它字符串化__VA_ARGS__，所以如果它是空的，它的长度等于 1（因为#__VA_ARGS__ == '\0'）。
它适用于-std=c99 -pedantic.

我仍然有包装可变参数函数的问题。当__VA_ARGS__为空时，my_func扩展为func(0, )触发编译错误。

于 2012-07-04T08:28:33.520 回答
0

不幸的是，关于 Mehrwolf 答案的完整示例不能在 VS2010 上编译，也不能在 VS2015 上编译（我也在这个在线 VS 编译器上尝试过）。解决这个问题的另一种方法是使用在 MS 编译器中也可用的非标准扩展，就像我对类似问题的回答一样，它允许生成在各种编译器上编译的跨平台代码。此外，与引用的答案不同的是，PP_NARG((a, b, c))使用扩展（在 MS 和 gcc/clang 编译器中）的结果是 1 而不是 0。

于 2015-12-04T00:07:53.003 回答