C语言宏定义报错：expected specifier-qualifier-list before ‘,’ token 求解

问题背景 #

我尝试编写宏来自动生成带函数指针的多态结构体类型，定义了以下宏：

#define INSTANCE(ret, name, ...) ret (*name)(__VA_ARGS__);
#define TYPE(name, ...) typedef struct { Object base; __VA_ARGS__ } name

使用方式如下：

TYPE(A,
     INSTANCE(void, print_name, void),
     INSTANCE(void, set_id, char *, id)
);

期望生成的结构体代码：

typedef struct {
    Object base;
    void (*print_name)(void);
    void (*set_id)(char *);
} A;

但编译器返回错误：

main.c:14:38: error: expected specifier-qualifier-list before ‘,’ token
   14 |      INSTANCE(void, print_name, void),
      |                                      ^

错误原因 #

问题出在宏展开后的语法冲突：
INSTANCE宏末尾自带分号，而你在TYPE调用时给每个INSTANCE加了逗号。宏展开后，第一个成员会变成：
void (*print_name)(void);,
C语言的结构体成员声明中，分号是成员声明的结束符，成员之间只能用逗号分隔，不能在分号后再加逗号，这直接违反语法规则，导致编译器报错。

修正方案 #

有两种可行的修正方式：

方案一：移除INSTANCE宏末尾的分号 #

修改宏定义：

#define INSTANCE(ret, name, ...) ret (*name)(__VA_ARGS__)
#define TYPE(name, ...) typedef struct { Object base; __VA_ARGS__ } name

使用方式保持不变，宏展开后会自动用逗号分隔结构体成员，最终生成的代码符合预期，且书写习惯更自然。

方案二：保留INSTANCE的分号，移除调用时的逗号 #

修改调用代码：

TYPE(A,
     INSTANCE(void, print_name, void)
     INSTANCE(void, set_id, char *, id)
);

宏展开后会生成合法的结构体声明：

typedef struct { Object base; void (*print_name)(void); void (*set_id)(char *); } A;

两种方案都能解决问题，推荐方案一，因为调用时的逗号能让代码结构更清晰易读。

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