为何将指针强制转换为未定义结构体类型未触发编译错误？

编译器如何解析拼写错误的struct Addrr #

在C语言旧标准（如C89）中存在隐式类型声明规则：当编译器遇到从未定义过的结构体类型（比如struct Addrr）时，会自动隐式声明一个不完整的结构体类型：struct Addrr;。尽管C99及之后的标准已移除该规则，但GCC、Clang等编译器为兼容旧代码，默认开启兼容模式，不会直接报错，仅在后续涉及指针类型不匹配时发出警告。

简单来说，编译器把你误写的struct Addrr当成了一个暂未定义完整的结构体类型，因此不会触发编译错误，只在指针类型赋值不匹配时给出提示。

强制转换为未定义struct Addrr的影响 #

1. 编译阶段：由于只是指针类型转换，同一平台下所有指针的大小和存储方式一致，转换本身不会导致编译失败，但会触发incompatible-pointer-types警告，提示类型不匹配。
2. 运行阶段：
   • 若只是单纯做指针转换（如你代码中那样，转完又赋值回原类型指针），实际运行大概率不会出问题，因为指针值本身未改变，但这属于未定义行为，C标准不保证操作的安全性。
   • 若后续尝试解引用(struct Addrr *)ptr->address（比如访问((struct Addrr *)ptr->address)->xxx），编译器会因struct Addrr是不完整类型（无成员定义）直接报错；即便后续补了struct Addrr的定义，若其内存布局与struct Addr不一致，解引用会导致内存访问错误，引发程序崩溃或逻辑异常。

这类拼写错误隐藏风险极高，建议开启更严格的编译选项（如-Wall -Werror），让编译器将这类警告升级为错误，提前发现问题。

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