未初始化int变量i的for循环为何输出012345？

#include<stdio.h> 
#include<conio.h> 

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

运行上述代码后得到输出：012345，对应以下疑问的解答：

1. 未初始化变量i，循环为何能从0开始执行？ #

在C语言中，未初始化的自动局部变量（比如这里的i）的值是未定义行为——C标准没有规定它必须是什么值。你看到从0开始执行只是一种巧合：

• 程序启动时，栈内存的某些区域可能恰好残留0值，而变量i刚好被分配到了这块内存区域。
• 这种结果完全依赖编译器、操作系统、运行环境的具体状态，换个编译器、机器或者调整代码结构，结果可能完全不同（比如出现随机垃圾值，甚至程序崩溃）。
• 你原本预期"不会有输出"是合理的，如果i初始值大于5，循环确实不会执行，但这次的巧合让它刚好从0开始了。

2. 为何多次运行输出结果都相同？ #

这是因为你的运行环境每次启动程序时，栈的初始状态保持一致：

• 很多操作系统在启动新进程时，会把栈内存初始化为固定模式（比如全0），尤其是调试环境下（比如你可能在用Turbo C这类旧编译器，其调试环境的内存布局非常固定）。
• 只要代码和运行环境没有变化，栈的初始值就会重复出现，导致每次i的初始值都是0，输出也就一致了。
• 但这不是必然的，属于环境带来的"伪确定性"，绝对不能依赖这种行为——C标准明确未初始化局部变量的行为是未定义的，任何依赖它的代码都是错误的。

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