如何在C语言X-Macro列表中提取指定项的第二个参数？

完整实现代码 #

假设你的X-Macro列表包含序号1到n，以下是可直接使用的宏实现：

// 辅助宏：判断两个序号是否相等
#define EQUAL(a, b) IS_SAME(a, b)
#define IS_SAME(a, b) CAT(IS_SAME_, a)(b)
#define CAT(a, b) a##b

// 为X_LIST中的每个序号添加匹配规则（示例为1-3，需根据实际列表扩展）
#define IS_SAME_1(x) EQUAL_1_##x
#define EQUAL_1_1 1
#define EQUAL_1_2 0
#define EQUAL_1_3 0

#define IS_SAME_2(x) EQUAL_2_##x
#define EQUAL_2_1 0
#define EQUAL_2_2 1
#define EQUAL_2_3 0

#define IS_SAME_3(x) EQUAL_3_##x
#define EQUAL_3_1 0
#define EQUAL_3_2 0
#define EQUAL_3_3 1

// 条件分支宏：条件为1时保留参数，0时丢弃
#define IF(cond) IF_##cond
#define IF_1(...) __VA_ARGS__
#define IF_0(...)

// 你的原始X-Macro列表
#define X_LIST \
    X(1, "name 1") \
    X(2, "name 2") \
    X(3, "name 3")

// 目标宏：提取指定序号对应的文本
#define SELECT_X_TEXT(nr) \
    ( \
        #define X(id, text) IF(EQUAL(id, nr))(text) \
        X_LIST \
        #undef X \
    )

使用示例 #

// 调用宏获取序号2对应的文本
const char* target_text = SELECT_X_TEXT(2); // 预编译后展开为 "name 2"

原理说明 #

1. EQUAL宏：通过预处理器的字符串拼接特性，判断两个序号是否相等。比如EQUAL(2,2)会逐层展开为1，EQUAL(1,2)则展开为0。
2. IF宏：根据条件值选择分支，IF(1)会保留传入的参数，IF(0)会直接丢弃参数。
3. SELECT_X_TEXT宏：临时重定义X宏，遍历X_LIST时，仅当序号匹配时保留对应的文本参数，其余项展开为空，最终只剩下目标字符串。

注意事项 #

• 必须根据X_LIST中的所有序号，补充对应的IS_SAME_*和EQUAL_*_*宏定义。如果序号范围较大或不连续，可通过批量生成脚本简化这一步骤。
• 该实现依赖C99标准的可变参数宏（__VA_ARGS__），需确保编译器支持（主流GCC、Clang、MSVC均支持）。

内容的提问来源于stack exchange，提问作者Łukasz Sojka