为何GCC允许int foo = foo编译？是否应被编译器拦截？

int main(void) {
  int foo = foo;
  return 0;
}

为什么GCC允许这段代码编译？ #

• 符合C语言标准规则：在变量声明的初始化阶段，变量的作用域已经生效，但此时变量还未完成初始化，属于未定义状态。C标准并未禁止这种自引用初始化，只是将其归为未定义行为——这类行为不属于语法错误，编译器无需报错，标准允许编译器自行处理。
• GCC默认编译策略：默认情况下，GCC仅对违反语法规则的代码报错，未定义行为不在强制报错范围内。不过如果开启高等级警告（如-Wall或-Wuninitialized），GCC会给出明确警告，提示warning: ‘foo’ is used uninitialized in this function。

此类问题是否应当被编译器检测并拦截？ #

• 从语言设计逻辑看：C语言的核心设计思路是给予程序员最大灵活性，同时将代码正确性的主要责任交给开发者。未定义行为的存在是为了给编译器留足优化空间，因此标准并未强制要求编译器拦截这类代码。
• 从实际开发场景看：这类自引用初始化基本都是程序员的笔误，属于明显的潜在错误。因此，虽然编译器无需强制报错，但开启警告非常必要——编译器可以通过警告提醒开发者排查问题，而非直接拦截（毕竟不排除极端场景下开发者有特殊需求，尽管这种情况极少）。

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