C语言中如何用#define定义嵌套结构体的初始化值？

问题场景 #

你尝试通过#define拆分结构体初始化宏，但拆分后编译报错，原代码如下：

// #define get_x() { .y = { .z = 1, .c = "test" } };   // 此宏可正常运行

// 我希望将上述代码替换为：
#define get_y() { .z = 1, .c = "test" };
#define get_x() { .y = get_y() };                     // 此宏会报错

typedef struct { 
    int z;
    char c[10]; 
} y_t;

typedef struct { 
    y_t y;
} x_t;

int main()
{
    x_t x = get_x();
    printf("c: %s", x.y.c);
    return 0;
}

错误原因 #

宏展开后会触发语法错误：
get_x()展开后是{ .y = { .z = 1, .c = "test" }; };，这里存在两个核心问题：

1. 结构体初始化列表内部不允许出现分号，get_y()宏末尾的分号直接破坏了初始化语法；
2. 外层初始化列表末尾也多了一个不必要的分号。

C语言规定，结构体初始化必须用{}包裹初始化项，内部项仅用逗号分隔，不需要额外分号。

修正方案 #

去掉两个宏末尾的分号，让宏直接返回合法的初始化列表片段：

#define get_y() { .z = 1, .c = "test" }
#define get_x() { .y = get_y() }

typedef struct { 
    int z;
    char c[10]; 
} y_t;

typedef struct { 
    y_t y;
} x_t;

int main()
{
    x_t x = get_x();
    printf("c: %s", x.y.c);
    return 0;
}

补充说明 #

如果需要让宏在更多场景下保持语法安全（比如作为独立表达式使用），可以给宏外层添加一层括号（此写法属于GNU C扩展，若需兼容标准C，直接使用上述无括号版本即可）：

#define get_y() ({ .z = 1, .c = "test" })
#define get_x() ({ .y = get_y() })

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