如何在C语言中用宏生成表达式实现char数组多元素连续比较？

核心原理 #

通过两个基础宏能力即可实现需求：可变参数计数、按参数个数匹配对应展开逻辑。

具体实现步骤 #

1. 实现可变参数计数宏 #

先写一个宏统计传入的参数个数，以下示例最多支持32个参数，可按需扩展上限：

// 计数宏实现
#define COUNT_ARGS(...) COUNT_ARGS_IMPL(__VA_ARGS__, 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 COUNT_ARGS_IMPL(a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12,a13,a14,a15,a16,a17,a18,a19,a20,a21,a22,a23,a24,a25,a26,a27,a28,a29,a30,a31,a32, N, ...) N

2. 实现按参数个数展开的比较逻辑 #

用宏拼接能力，根据参数个数匹配对应数量的比较表达式生成逻辑：

// 宏拼接工具
#define CONCAT_IMPL(a,b) a##b
#define CONCAT(a,b) CONCAT_IMPL(a,b)

// 不同参数个数对应的展开逻辑，可按需扩展到你需要的最大参数数
#define MACRO_1(x) arr[0] == x
#define MACRO_2(x,y) MACRO_1(x) && arr[1] == y
#define MACRO_3(x,y,z) MACRO_2(x,y) && arr[2] == z
#define MACRO_4(x,y,z,a) MACRO_3(x,y,z) && arr[3] == a
// 以此类推扩展到MACRO_32即可支持32个参数

3. 封装最终调用宏 #

#define MACRO(...) CONCAT(MACRO_, COUNT_ARGS(__VA_ARGS__))(__VA_ARGS__)

效果验证 #

调用MACRO('a', 'b', 'c')会直接展开为：

arr[0] == 'a' && arr[1] == 'b' && arr[2] == 'c'

完全符合需求。

注意事项 #

• 如果需要支持更多参数，只需要同步扩展COUNT_ARGS的参数上限、补全对应MACRO_N的定义即可，常规场景下32/64个参数的上限完全够用。
• 该实现兼容C99及以上标准，无需依赖任何第三方工具。

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