offsetof能否搭配typeof处理含逗号新结构体？及替代方案问询

先明确背景：C23标准已经规定，在offsetof宏内部定义新类型属于未定义行为，但早期的编译器实现仅部分支持这类用法——比如offsetof(struct Foo { int a; }, a)通常能正常工作，但offsetof(struct Foo { int a, b; }, a)会因为结构体定义里的逗号被offsetof宏误识别为参数分隔符，导致编译报错。

针对你的问题逐个解答：

1. 用typeof包裹类型能否解决逗号问题？ #

可以，但这依赖GNU扩展（GCC、Clang等编译器支持）。typeof会把整个结构体类型表达式当成一个完整的参数传入offsetof，宏就不会把结构体内部的逗号解析成参数分隔符了。示例代码：

offsetof(typeof(struct Foo { int a,b; }), a);

在支持typeof的编译器中，这个写法是可行的。

2. 若typeof不可行，还有哪些替代方案？ #

你提到的通过dummy指针配合typeof的写法是可行的：

void *dummy;
offsetof(typeof(*((struct { int a; int b; }*)dummy)), a);

本质是通过强制类型转换将匿名结构体转为指针，再通过解引用+typeof拿到完整类型，规避宏的逗号解析问题。

还有更简洁的写法，用复合字面量（同样是GNU扩展）省略dummy变量：

offsetof(typeof(*(struct { int a; int b; }*){0}), a);

重要提醒 #

以上所有在offsetof内部定义结构体的写法，都是非标准的编译器扩展，不具备跨编译器的兼容性，且C23标准明确将这种行为归为未定义。如果要写符合C标准的代码，正确的做法是提前在offsetof外部定义结构体：

struct Foo { int a, b; };
offsetof(struct Foo, a);

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