GCC4.8 C11下宏传复合字面量初始化器逗号冲突问题求解

GCC原生支持两项常用特性：

• Compound Literals（复合字面量）：可通过{...}初始化器为匿名结构体直接赋值
• 柔性数组结构体：符合C标准的前提下，支持最后一个成员为可变长数组的结构体定义
  本次需求为通过宏批量生成大量常量表，表内大部分数据在编译期固定，仅少数字段需要动态修改。
  因实际业务中使用的结构体复杂度较高，先给出可正常运行的简化示例代码：

#include <stdio.h>

typedef unsigned short int uint16_t;
typedef unsigned long size_t;

#define CONSTANT -20


// 存储业务数据的结构体，无需每次填充所有字段
typedef struct dt {
    uint16_t    a;
    const int   b;
} data_t;


// 匹配通用数据格式的不完整结构体定义
typedef struct ct {
    size_t      size;
    data_t      data;
    char        name[];
} complex_t;

// 类型别名简化代码书写
typedef complex_t * complex_t_ptr; 

// 生成对象实例的宏
#define CREATE(X, Y)  (complex_t_ptr)&((struct { \
    size_t size;            \
    data_t data;            \
    char name[sizeof(X)];   \
} ) {                       \
.size = sizeof(X),          \
.data = { .a = Y, .b = CONSTANT }, \
.name = X                   \
})

// 创建结构体实例数组，将实例指针存入数组
// 注意每个实例的实际长度可能不同
complex_t_ptr data_table[] = {
    CREATE("DATA1", 1),
    CREATE("DATA2_LONGER", 2),
    CREATE("D3S", 3),
};
static size_t DATA_TABLE_LEN = sizeof(data_table) / sizeof(typeof(0[data_table]));


int main(int argc, char **argv)
{
    for(uint16_t idx=0; idx<DATA_TABLE_LEN; idx++)
    {
        complex_t_ptr p = data_table[idx];
        printf("%15s = (%3u, %3d) and is %3lu long\n", p->name, p->data.a, p->data.b, p->size);
    }

    return 0;
}

编译运行命令与输出如下：

$ gcc test_macro.c -o test_macro
$ ./test_macro
          DATA1 = (  1, -20) and is   6 long
   DATA2_LONGER = (  2, -20) and is  13 long
            D3S = (  3, -20) and is   4 long

上述示例可正常编译运行，输出符合预期。尝试构造更复杂的嵌套结构体对象时出现编译问题，相关代码片段如下：

// 其余代码与上述示例一致，省略重复部分

// 复杂度更高的嵌套数据结构
typedef struct dt2 {
    struct {
        unsigned char class[10];
        unsigned long start_address;
    } xtra;
    uint16_t    a;
    const int   b;
} data2_t;

// 生成复杂对象实例的宏
#define CREATE2(X, Y, XTRA)  (complex2_t_ptr)&((struct { \
    size_t size;            \
    data2_t data;            \
    char name[sizeof(X)];   \
} ) {                       \
.size = sizeof(X),          \
.data = { .xtra = XTRA, .a = Y, .b = CONSTANT }, \
.name = X                   \
})

// 生成常量表
complex2_t_ptr bigger_data_table[] = {
    CREATE2("DATA1", 1, {"IO_TBL", 0x123456L}),
    CREATE2("DATA2_LONGER", 2, {"BASE_TBL", 0xABC123L}),
    CREATE2("D3S", 3, {"MAIN_TBL", 0x555666L << 2}),
};

// 其余业务逻辑省略

代码无法通过编译，根因是C预处理器会将传入的嵌套结构体初始化列表中成员间的逗号识别为宏参数分隔符，误判宏收到了额外的传入参数。

• 对需要保留内部逗号的参数整体加圆括号包裹，即传参时写CREATE_EXTRA("DATA1", 1, ({"IO_TBL", 0x123456L}))，宏展开后得到.xtra = ({"IO_TBL", 0x123456L})，属于非法C初始化语法。
• 仅对大括号内的字段列表加圆括号，即传参时写CREATE_EXTRA("DATA1", 1, {("IO_TBL", 0x123456L)})，宏展开后得到.xtra = {("IO_TBL", 0x123456L)}，属于非法初始化语法。
• 将大括号写入宏定义内部，传参时仅传递圆括号包裹的字段列表，展开结果与上述第二种方案一致，仍不符合C语法要求。

将XTRA的各元素拆分为独立宏参数逐个传入的方案不可行：本次示例为高度简化版本，实际业务场景中结构体复杂度极高，拆分参数会丢失原有结构信息，大幅提升代码理解与维护成本，可读性远低于直接手写完整结构体初始化，无落地价值。

开发环境固定为GCC 4.8.x 支持的C11标准，不可使用C++语法或更高版本GCC的新增特性。

使用C99标准支持的可变参数宏特性即可解决问题，该特性从GCC 3.0版本开始就已稳定支持，完全符合GCC 4.8.x的环境约束。
将宏定义中可能携带不定数量逗号的最后一个参数改为可变参数，通过__VA_ARGS__引用传入的初始化内容，预处理器会将第三个固定参数之后的所有内容（包括内部的逗号）整体作为可变参数部分替换，不会再把内部逗号识别为参数分隔符。
修改后的宏定义如下：

// 最后一个参数改为...，原XTRA位置替换为__VA_ARGS__
#define CREATE2(X, Y, ...)  (complex2_t_ptr)&((struct { \
    size_t size;            \
    data2_t data;            \
    char name[sizeof(X)];   \
} ) {                       \
.size = sizeof(X),          \
.data = { .xtra = __VA_ARGS__, .a = Y, .b = CONSTANT }, \
.name = X                   \
})

宏的调用方式完全不需要修改，直接传入原有带逗号的初始化列表即可，展开后得到标准合法的结构体初始化语法。该方案不需要修改原有初始化代码的书写格式，完全保留结构体初始化的结构信息，无额外维护成本。

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