如何定义递归可变参数宏？

Question

我正在尝试将表示信号总线位的布尔值转换为整数。 我正在使用以下构造：

#define B_TO_UINT1(b00)      (((uint32_t) b00 << 0))
#define B_TO_UINT2(b01, ...) (((uint32_t) b01 << 1) | B_TO_UINT1(__VA_ARGS__))
#define B_TO_UINT3(b02, ...) (((uint32_t) b02 << 2) | B_TO_UINT2(__VA_ARGS__))
#define B_TO_UINT4(b03, ...) (((uint32_t) b03 << 3) | B_TO_UINT3(__VA_ARGS__))
// ...

当使用宏级联转换1位，2位和3位总线时，前2位可以，但是3位转换会产生错误：

cmd = B_TO_UINT1(1);          // line_1
cmd = B_TO_UINT2(1, 0);       // line_2
cmd = B_TO_UINT3(0, 1, 1);    // line_3

在line_3上生成错误：

warning C4003: not enough actual parameters for macro 'B_TO_UINT1'

error C2059: syntax error : '<<'

因此，似乎__VA_ARGS__部分未随递归正确扩展。 真的是这样吗？ 如果是这样，是否有解决方法？

Answer 1

显然，MS VC ++的行为与__VA_ARGS__的递归扩展（包含多个逗号分隔的参数）不同。 在嵌套宏中扩展时，编译器会将整个arg列表视为一个参数。

在这里和这里也可以看到示例。

但是， @ Ise Wisteria建议使用EXPAND(x)宏作为解决方法。 使用此技巧，我将代码更改为：

#define EXPAND( x ) x
#define B_TO_UINT1(b00)      (((uint32_t) b00 << 0))
#define B_TO_UINT2(b01, ...) (((uint32_t) b01 << 1) | EXPAND( B_TO_UINT1(__VA_ARGS__)))
#define B_TO_UINT3(b02, ...) (((uint32_t) b02 << 2) | EXPAND( B_TO_UINT2(__VA_ARGS__)))
#define B_TO_UINT4(b03, ...) (((uint32_t) b03 << 3) | EXPAND( B_TO_UINT3(__VA_ARGS__)))
// ...

现在，消除了构建错误。

注：我没有明确地说：“一个错误”，B / C有可能是理解标准MS方式的地方，如所描述这里 。