该C语言代码的for循环会导致未定义行为吗？是否因循环内变量i未初始化？

核心结论 #

• 代码确实存在严格意义上的未定义行为，问题根源确实是for循环作用域内定义的局部变量i没有初始化就被读取，只是很多人会因为同名变量的遮蔽规则，搞不清楚这个问题的具体触发逻辑。

逐段拆解变量的作用域与合法性 #

我们按作用域从外到内逐一理清各个同名i的属性，就不会搞混：

• 全局静态变量i：属于静态存储期变量，按照C语言规则，未显式初始化的静态存储变量会被默认置为0，所以main函数里读取i做加法的操作完全合法，没有任何问题。
• foo函数的形参i：是foo函数块级的局部变量，传入的实参是4，进入函数时这个变量的值是明确的4，所以int ret = i;这行代码完全合法，ret的初始值就是4。
• for循环内定义的int i;：是for循环专属块作用域的自动局部变量，按照C语言的作用域遮蔽规则，这个变量会完全覆盖（shadow）所有外层作用域的同名变量，也就是说它和形参i、全局静态i是三个完全独立、没有任何值传递关系的变量。

未定义行为的具体触发点 #

• 这个for循环内定义的i是自动存储期的局部变量，既没有被显式初始化，也没有在任何位置被赋值，就直接在第一次循环条件判断时被读取（执行i<4的比较操作）。按照C语言标准，读取未经过初始化、没有被赋值过的自动存储期变量的值，属于明确的未定义行为，程序的执行结果完全不可预测。

常见认知误区澄清 #

• 很多人写这段代码的本意，是想让for循环从形参i的值4开始遍历，结果因为多在for的初始化部分写了个int关键字，直接在循环作用域内新建了一个全新的变量，根本不会继承外层同名变量的初始值——这也是这类bug在实际开发里高频出现的原因。
• 不要误以为for循环里声明的int i会自动承接外层变量的值：这是C语言作用域规则和其他部分语言的核心差异，只要在for的初始化段写了变量类型声明，就相当于在循环的专属作用域新建了独立变量。
• 如果把循环的写法改成for(i = 0; i < 4; i++)（去掉循环内的int关键字），此时循环里的i就会直接绑定到外层的形参i，代码就完全消除了未定义行为：最终计算逻辑为ret初始值4，循环累加0/1/2/3，foo返回值是10，加上全局i的0，最终输出10，全程没有非法操作。
• 哪怕你在本地跑代码时，发现栈上残留的i的随机值刚好小于4，循环正常跑完得到某个看似合理的输出，也不代表代码没有未定义行为——只要触发了读取未初始化自动变量的操作，编译器就有权基于C语言标准做任意优化，最终行为是完全无法保证的。

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