C语言中使用##运算符拼接宏时，如何正确展开索引宏？

问题场景 #

已定义如下位域结构体、共用体及实例：

typedef struct flags
{
    unsigned char flag0:1;
    unsigned char flag1:1;
    unsigned char flag2:1;
    unsigned char flag3:1;
    unsigned char flag4:1;
    unsigned char flag5:1;
    unsigned char flag6:1;
    unsigned char flag7:1;
}BFLAG;

typedef union
{
    unsigned char byte;
    BFLAG  bitflg;
}GENFLAG;

GENFLAG status_flag, hmi_flag;

希望通过宏直接访问特定位，原始写法为：

#define EDIT_PARAM      status_flag.bitflg.flag0    // 1: 编辑锁定，0: 可编辑
#define HIDE_PARAM      status_flag.bitflg.flag1    // 1: 参数隐藏，0: 可见
#define LOCK_PARAM      hmi_flag.bitflg.flag0   // 1: 密码解锁，0: 锁定

尝试用##运算符简化宏定义时遇到问题：

#define CONCAT(x, y)    x##y
#define EDIT_INDEX 0
#define EDIT_PARAM    CONCAT(status_flag.bitflg.flag, EDIT_INDEX)

预处理后得到的是status_flag.bitflg.flagEDIT_INDEX，而非预期的status_flag.bitflg.flag0。

解决方案 #

问题核心是##运算符会直接拼接宏参数的原始文本，抑制参数的宏展开。通过两层宏嵌套可以先完成索引宏的展开，再执行拼接操作。

正确的宏定义写法

// 内层宏：直接执行文本拼接
#define CONCAT_INNER(x, y) x##y
// 外层宏：先展开参数的宏定义，再传递给内层拼接
#define CONCAT(x, y) CONCAT_INNER(x, y)

// 定义位索引宏
#define EDIT_INDEX 0
#define HIDE_INDEX 1
#define LOCK_INDEX 0

// 生成目标位访问宏
#define EDIT_PARAM    CONCAT(status_flag.bitflg.flag, EDIT_INDEX)
#define HIDE_PARAM    CONCAT(status_flag.bitflg.flag, HIDE_INDEX)
#define LOCK_PARAM    CONCAT(hmi_flag.bitflg.flag, LOCK_INDEX)

原理说明

外层CONCAT宏会先将EDIT_INDEX展开为0，再把status_flag.bitflg.flag和0传递给内层CONCAT_INNER执行拼接，最终得到预期的status_flag.bitflg.flag0。

可选优化

将共用体实例的前缀封装为宏，进一步提升代码可读性和维护性：

#define STATUS_FLAG_BIT_PREFIX status_flag.bitflg.flag
#define HMI_FLAG_BIT_PREFIX hmi_flag.bitflg.flag

#define EDIT_PARAM    CONCAT(STATUS_FLAG_BIT_PREFIX, EDIT_INDEX)
#define HIDE_PARAM    CONCAT(STATUS_FLAG_BIT_PREFIX, HIDE_INDEX)
#define LOCK_PARAM    CONCAT(HMI_FLAG_BIT_PREFIX, LOCK_INDEX)

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