C库中匿名结构体改带标签是否影响ABI及旧代码兼容性？

先对比两种结构体定义：
原无标签结构体定义：

typedef struct
{
  int bar;
} foo;

修改后的带标签结构体定义：

typedef struct foo
{
  int bar;
} foo;

是否改变ABI？ #

不会。

结构体的ABI（应用二进制接口）核心由内存布局决定，包括成员的类型、顺序、对齐规则，这些在修改前后完全一致。结构体标签只是给这个结构体类型增加了一个可选名称，不会影响它在内存中的存储方式——不管有没有标签，foo对应的结构体大小、成员bar的偏移量都没有任何变化，主流平台（GCC、Clang、MSVC等）的ABI规则都不会因为这个修改产生变动。

是否会破坏旧代码的正常运行？ #

纯C用户代码 #

几乎不会有任何破坏。

原来所有使用foo声明变量、指针、函数参数或返回值的代码，都能正常编译运行——因为typedef的别名foo完全保留，功能和之前一致。唯一可能出问题的情况是旧代码里非法使用了struct foo这个标签，但原定义根本不存在这个标签，所以正常的C代码不可能出现这种写法。

C++用户代码 #

存在小概率兼容性问题：

• C对匿名结构体（原定义的无标签结构体）和具名结构体（修改后的带标签结构体）的类型处理有差异：原定义的foo在C中属于匿名类型，修改后struct foo是一个具名类型。
• 如果旧C代码有依赖匿名类型特性的写法，比如将foo作为模板参数（早期C标准不允许匿名类型作为模板参数，现代标准虽放宽但编译器实现可能有差异），或者使用typeid(foo)做类型判断，修改后可能出现编译错误或行为变化。
• 不过只要C++代码是通过extern "C"调用C库的函数，运行时不会有问题——因为内存布局没变，只是编译阶段的类型检查可能需要调整。

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