为何不同翻译单元中结构体类型声明需同名标签才兼容？

C99规范《6.2.7 兼容类型和复合类型》明确要求：不同翻译单元（TU）中声明的结构体、联合体或枚举类型，只要其中一方带有标签，另一方必须使用完全相同的标签才能被视为兼容类型。比如分别在两个TU中定义的：

struct coord {int x; int y;};

和

struct point {int x; int y;};

即便成员布局完全一致，也不属于兼容类型。背后的原因主要有三点：

1. 类型标识的核心依据：标签+成员的组合 #

C语言中，带标签的结构体类型的唯一标识是「标签名 + 成员列表」的绑定，而非单独的成员布局。编译器在处理跨TU的类型时，标签是最直接的一致性校验标记——成员布局相同可能是巧合，但标签相同则明确指向开发者有意定义的同一类型。如果允许标签不同的结构体兼容，编译器无法区分“故意复用布局的同一类型”和“碰巧布局一致的不同类型”，会破坏类型系统的确定性。

2. 链接阶段的类型安全保障 #

C的链接机制依赖标签来关联跨TU的同一类型。如果放松标签匹配要求，会埋下严重的类型安全隐患：

• 假设开发者在两个TU中分别定义struct coord和struct point，本意是两个独立类型，但因布局相同被视为兼容；
• 后续若其中一个TU修改结构体成员（比如给struct coord添加int z），另一个TU未同步修改，跨TU传递该类型变量时，会出现内存访问越界、成员值错乱等未定义行为，而编译器/链接器无法提前识别这类问题。

3. C99的设计取舍：强化类型一致性 #

这一规则是C99的“静默变更”，本质是对C语言类型系统的补全。C作为一门兼顾高效与灵活的系统级语言，既需要支持结构体的自定义扩展，又要避免模糊的隐式兼容带来的潜在bug。强制标签一致，相当于给跨TU的类型共享加了一道明确的校验门槛，让开发者的意图更清晰，也让编译器能更可靠地保障类型安全。

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