C语言：为何前置声明后定义未完成枚举变量仅clang支持？

• 首先明确ISO C的基础规则：不带extern修饰、需要分配实际存储的变量定义，在声明该变量的语法位置，对应的类型必须是已知存储大小的完整类型。你测试的两段struct代码能编译通过，本质是GCC和Clang共同实现的宽松扩展，并非标准要求必须支持的行为。
• 两款编译器针对struct、union类型都实现了跨声明点的延迟完整性检查：只要在当前翻译单元的任意位置，能找到对应struct/union的完整定义，哪怕这个定义出现在变量声明的后面，编译器也会在解析完整个翻译单元后，回溯为该变量计算正确的存储大小，跳过变量声明位置的不完整类型报错。这就是为什么struct版本的代码可以无警告通过两款编译器的编译。

• 和struct、union从C89时代就被允许作为不完整类型前置声明不同，enum类型直到C11标准才正式支持前置声明（即仅写出enum my_enum;，不附带具体枚举常量列表）。
• 虽然C11把enum纳入了可前置声明的不完整类型范畴，但两款编译器对枚举的延迟检查实现没有对齐：
  • Clang直接将struct/union的那套跨声明点回溯补全大小的逻辑套用到了枚举类型上，所以在扫描到后续的enum my_enum {CONST}完整定义时，会为之前声明的variable补全存储大小，正常通过编译。
  • GCC从早期版本开始，就没有给枚举类型实现这套跨声明点的延迟检查：在GCC的实现逻辑中，枚举是绑定固定底层整型的类型，只要在变量声明位置无法直接拿到类型的存储大小，就会立刻抛出storage size of 'variable' isn't known的错误，哪怕后续翻译单元里存在完整的枚举定义，也不会回溯补全。
• 严格来说，你写的enum测试代码本身也不是符合ISO C标准的可移植写法：标准明确规定，不完整类型不能用来定义需要分配存储的普通变量；只有extern修饰的变量声明、指针、typedef这类不需要即时知道存储大小的场景，才允许用不完整的enum类型声明。

如果需要写跨编译器兼容的代码，应该把需要分配存储的变量定义，放在对应类型的完整定义之后；如果是跨文件引用的变量，直接给变量加上extern修饰，这种写法哪怕前置声明的类型不完整，也是所有符合C11标准的编译器都支持的合法语法。

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