使用 __VA_ARGS__ 在 C/C++ 中进行宏扩展

Question

我发现这两段代码与什么是可变宏有关

1.第一个例子是用来实现GNU C编译器和Visual C编译器之间的可移植性，但是我看不懂这个宏是怎么一步步展开的

 MACRO_VA_ARGS(foo, bar, baz)

是先计算内括号还是外括号？

#define MACRO_WITH_3_PARAMS(p1, p2, p3) P1 = p1 | P2 = p2 | P3 = p3
#define PASS_ON(...) __VA_ARGS__

#define MACRO_VA_ARGS(...) PASS_ON(PASS_ON(MACRO_WITH_3_PARAMS)( __VA_ARGS__))
MACRO_VA_ARGS(foo, bar, baz)

第一个例子的所有代码：

#define F_OR(i, a, b, s) for (int i=(a); (s)>0?i<(b):i>(b); i+=(s))
#define F_OR1(e) F_OR(i, 0, e, 1)
#define F_OR2(i, e) F_OR(i, 0, e, 1)
#define F_OR3(i, b, e) F_OR(i, b, e, 1)
#define F_OR4(i, b, e, s) F_OR(i, b, e, s)
#define GET5(a, b, c, d, e, ...) e
#define F_ORC(...) GET5(__VA_ARGS__, F_OR4, F_OR3, F_OR2, F_OR1)
#define FOR(...) F_ORC(__VA_ARGS__)(__VA_ARGS__)

2.我在Github上找到的第二个代码示例，我知道

#define GET5(a, b, c, d, e, ...) e

提取第 5 个元素，但我不明白这两个宏是如何扩展的：

#define F_ORC(...) GET5(__VA_ARGS__, F_OR4, F_OR3, F_OR2, F_OR1)
#define FOR(...) F_ORC(__VA_ARGS__)(__VA_ARGS__)

第二个例子的所有代码：

 #define F_OR(i, a, b, s) for (int i=(a); (s)>0?i<(b):i>(b); i+=(s))
 #define F_OR1(e) F_OR(i, 0, e, 1)
 #define F_OR2(i, e) F_OR(i, 0, e, 1)
 #define F_OR3(i, b, e) F_OR(i, b, e, 1)
 #define F_OR4(i, b, e, s) F_OR(i, b, e, s)
 #define GET5(a, b, c, d, e, ...) e
 #define F_ORC(...) GET5(__VA_ARGS__, F_OR4, F_OR3, F_OR2, F_OR1)
 #define FOR(...) F_ORC(__VA_ARGS__)(__VA_ARGS__)

谢谢！

Answer 1

1.第一个非常简单，其中 PASS_ON 函数只是为了 详细说明宏的用法（或混淆）。

最终展开会是，

MACRO_VA_ARGS(foo, bar, baz)    =>      P1 = foo | P2 = bar | P3 = baz

逐步展开，

#1

MACRO_VA_ARGS(foo, bar, baz)    =>      PASS_ON(PASS_ON(MACRO_WITH_3_PARAMS)( foo, bar, baz))

#2

PASS_ON(PASS_ON(MACRO_WITH_3_PARAMS)( foo, bar, baz))   =>      PASS_ON(MACRO_WITH_3_PARAMS( foo, bar, baz))

#3

PASS_ON(MACRO_WITH_3_PARAMS( foo, bar, baz))    =>      PASS_ON(P1 = foo | P2 = bar | P3 = baz)

#4

PASS_ON(P1 = foo | P2 = bar | P3 = baz)         =>      P1 = foo | P2 = bar | P3 = baz

2.第二个非常有趣，因为它保留了 GET5 的参数，它提取了在每种情况下确实是 F_OR1 的第 5 个元素。如果我们调用 FOR(5)，

最终展开会是，

FOR(5)  =>      for (int i=(0); (1)>0?i<(5):i>(5); i+=(1))

逐步展开，

#1

FOR(5)  =>      F_ORC(5)(5)

#2

F_ORC(5)(5)     =>      GET5(5, F_OR4, F_OR3, F_OR2, F_OR1)(5)

#3

GET5(5, F_OR4, F_OR3, F_OR2, F_OR1)(5)  =>      F_OR1(5)

#4

F_OR1(5)        =>      F_OR(i, 0, 5, 1)

#5

F_OR(i, 0, 5, 1)        =>      for (int i=(0); (1)>0?i<(5):i>(5); i+=(1))