C语言for循环中遮蔽迭代器为何出现异常输出？

核心原因：作用域生效时机与未定义行为 #

你遇到的问题本质是两个C语言规则的叠加：

1. 变量作用域的生效点
   C语言中，块级作用域内的变量，其可见性是从声明语句的位置开始，而非块的开头。在你的代码中：

for (int i = 1; i < 5; i++) {
    printf("%d", i); // 这里的i是外层循环的i，值为1、2、3、4
    int i = i;       // 从这行的`int i`开始，内层i已经遮蔽了外层i
                     // 赋值符号右侧的i是刚声明但未初始化的内层i，而非外层i
    printf("%d ", i);
}

这行int i = i;里，右侧的i并不是你以为的外层循环变量——编译器在处理int i声明时，会立即将这个内层变量纳入当前作用域，所以赋值操作实际是用未初始化的内层i给自己赋值，这属于典型的未定义行为。

2. 未初始化局部变量的行为
   局部自动变量（非static）如果未初始化，其值是不确定的，取决于栈帧的残留数据。你的测试环境中，每次循环的内层i复用了栈上的同一地址，所以第一次未初始化的值是0（栈默认残留值），赋值后i为0，输出10；第二次循环时，该地址残留的是上次的0，后续修改后的值会被保留，导致你看到的规律化输出，但这完全是环境依赖的巧合，换编译器、优化等级或运行环境，结果可能完全不同。

第二个例子的行为解释 #

当你把代码改成int i = i + 2时：

• 第一次循环：外层i=1，内层i引用未初始化的自身（值为0），计算0+2=2，输出12
• 第二次循环：内层i复用栈地址，残留值是2，计算2+2=4，输出24
• 后续循环以此类推，形成36、48的输出
  这依然是栈帧复用导致的未定义行为，不是C语言标准规定的行为。

如何正确预测与避免此类问题 #

• 明确作用域生效时机：块内声明的变量，从声明行开始遮蔽外层同名变量，不要在声明语句中直接引用自身或同名变量。
• 避免依赖未初始化变量：局部变量必须先初始化再使用，未初始化的自动变量值无任何标准保证。
• 如果要复用外层变量值：先将外层变量的值存入临时变量，再用临时变量初始化内层变量，比如：

for (int i = 1; i < 5; i++) {
    printf("%d", i);
    int temp = i;
    int i = temp;
    printf("%d ", i);
}

这段代码会输出预期的11 22 33 44。

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