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マクロは、1つ以上の引数を受け入れる関数に最適です。たとえば、にPP_NARG("Hello", "World")評価され2ます。

問題は、引数が渡されない場合、の代わりににPP_NARG()評価されることです。このマクロがどのよう に機能するかは理解していますが、この場合にも正しく動作するように変更することはできません。10

何か案は？

編集：
の回避策を見つけPP_NARG、回答として投稿しました。
ただし、可変個引数関数のラップにはまだ問題があります。__VA_ARGS__が空の場合、展開my_funcしfunc(0, )てコンパイルエラーをトリガーします。

4

4 に答える 4

18

sizeofGCC拡張も使用しない別の可能性は、コードに次を追加することです

#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(...)、ゼロまたは 1 つの引数で呼び出された場合は 0 に展開され、少なくとも 2 つの引数で呼び出された場合は 1 に展開されることです。これら 2 つのケースを区別するために、 が空PP_COMMA __VA_ARGS__ ()の場合はコンマを返し、__VA_ARGS__が空でない場合__VA_ARGS__は何も返さない を使用しました。

現在、3 つのケースが考えられます。

  1. __VA_ARGS__空です: PP_HASCOMMA(__VA_ARGS__)0 をPP_HASCOMMA(PP_COMMA __VA_ARGS__ ())返し、1 を返します。

  2. __VA_ARGS__1 つの引数を含みます: PP_HASCOMMA(__VA_ARGS__)0 をPP_HASCOMMA(PP_COMMA __VA_ARGS__ ())返し、0 を返します。

  3. __VA_ARGS__2 つ以上の引数が含まれています: PP_HASCOMMA(__VA_ARGS__)1 をPP_HASCOMMA(PP_COMMA __VA_ARGS__ ())返し、1 を返します。

マクロは、PP_NARG_HELPERxこれらのケースを解決するために必要です。

編集：

この問題を解決するにはfunc(0, )、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

の次の回避策を思いつきました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 に答える
3

## VA_ARGS拡張機能を使用して GCC で行うことができます。

#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 が返され、0 が返されますPP_NARG()。

残念ながら、一般的に機能させる方法はわかりません。

于 2012-07-03T22:35:07.397 に答える