如何修复宏生成代码的“braces around scalar initializer”警告

问题原因 #

你原来的宏展开后会生成如下代码：

sizeof((int[]){ {3,2}, {0,1}, {4,3} }) / sizeof(int)

你构造的是元素类型为int的数组，但是传入的每个参数是带大括号的多值初始化列表，相当于尝试用多个值初始化单个int变量，因此触发GCC的语法警告。虽然sizeof操作数是不求值的，不影响最终计数结果，但警告无法避免。

最优解决方案（无平台依赖、完全兼容原有调用方式） #

直接替换成预处理器层面的参数计数宏，完全不涉及类型转换和初始化语法，不会产生任何编译警告，且还是编译期计算，无运行时开销：

// 支持最多64个参数，可按需补全后续计数序列支持更多参数
#define NUMARGS(...)  NUMARGS_IMPL(__VA_ARGS__, 64,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 NUMARGS_IMPL(_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,_64,count,...) count

原有所有调用代码不需要做任何修改：

• NUMARGS(3, 0, 2, 1) 依然返回4
• NUMARGS( {3, 2}, {0, 1}, {4, 3} ) 依然返回3
• 不会产生任何编译警告

备选方案（GCC专用，保留原有宏逻辑） #

如果一定要保留原来基于sizeof数组的实现逻辑，可以在宏内部临时屏蔽对应警告：

#define NUMARGS(...)  ({ \
    _Pragma("GCC diagnostic push") \
    _Pragma("GCC diagnostic ignored \"-Wbraced-scalar-init\"") \
    _Pragma("GCC diagnostic ignored \"-Wexcess-initializers\"") \
    sizeof((int[]){__VA_ARGS__}) / sizeof(int); \
    _Pragma("GCC diagnostic pop") \
})

该方案仅适用于GCC/Clang编译器，兼容性不如预处理器计数方案。

内容的提问来源于stack exchange，提问作者Foxy