如何不使用可变参数宏实现C结构体成员初始化宏？

错误原因 #

你遇到的编译错误，本质是C预处理器的参数解析规则导致的：预处理器会把大括号里的逗号当成宏参数的分隔符，所以调用MY_STRUCT({...})时，大括号内的多个逗号会把传入的内容拆成多个参数，超出了宏定义只接受1个参数的限制，因此触发报错。

不用可变参数的实现方案 #

完全可以通过类型转换配合预处理器参数传递技巧实现，核心是让预处理器把整个初始化器当作单个参数处理，以下是两种可行方式：

方式一：小括号包裹初始化器+类型转换宏 #

修改宏定义为类型转换形式，确保传入的内容被当作单个表达式：

#define MY_STRUCT(init) ((struct MyStruct)init)

调用时，把整个结构体初始化器用小括号括起来（让预处理器把内部逗号视为表达式的一部分，而非参数分隔符）：

struct MyStruct myStruct = MY_STRUCT(({
    .member1 = 10,
    .member2 = 3.14,
    .union_member.option2 = { 'A', 2.718 }
}));

注：({ ... })是GNU C的语句表达式扩展，若需要标准C兼容，可改用直接包裹复合字面量的写法：

struct MyStruct myStruct = MY_STRUCT((struct MyStruct){
    .member1 = 10,
    .member2 = 3.14,
    .union_member.option2 = { 'A', 2.718 }
});

对应的宏可简化为#define MY_STRUCT(init) (init)，本质是直接传递类型匹配的复合字面量。

方式二：标准C兼容的宏写法 #

如果你需要严格遵循标准C，可调整宏定义为：

#define MY_STRUCT(init) ((struct MyStruct){ init })

调用时同样用小括号包裹初始化器，避免参数被拆分：

struct MyStruct myStruct = MY_STRUCT(({
    .member1 = 10,
    .member2 = 3.14,
    .union_member.option2 = { 'A', 2.718 }
}));

外层小括号确保预处理器不会拆分参数，宏内部展开为复合字面量的初始化形式。

完整修正代码 #

#include <stdio.h>

struct InnerStruct1 {
    int inner_member1;
    float inner_member2;
};

struct InnerStruct2 {
    char inner_member3;
    double inner_member4;
};

#define DECLARE_MY_STRUCT struct MyStruct {
    int member1;
    float member2;
    union {
        struct InnerStruct1 option1;
        struct InnerStruct2 option2;
    } union_member;
};

#define MY_STRUCT(init) ((struct MyStruct)init)

DECLARE_MY_STRUCT

int main() {
    struct MyStruct myStruct = MY_STRUCT(({
        .member1 = 10,
        .member2 = 3.14,
        .union_member.option2 = { 'A', 2.718 }
    }));

    printf("Initialized values: %d, %.2f, %c, %.3lf\n",
           myStruct.member1, myStruct.member2,
           myStruct.union_member.option2.inner_member3,
           myStruct.union_member.option2.inner_member4);

    return 0;
}

注意：printf中double类型需用%lf格式符，原代码中的%.3f已修正为%.3lf。

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