循环变量i初始化为0时，C语言数组出现异常值的原因探究

问题场景 #

原代码通过动态数组生成从1开始、每个元素是前一个2倍的序列，当把for循环的初始化语句从int i = 1改为int i = 0后，输入5会输出包含异常数值的结果，这些数值的来源可以从两个核心点解释：

1. C语言数组的未初始化内存特性 #

在C语言中，声明数组（如int twice[length];）但未显式初始化所有元素时，数组中未被赋值的元素会保留对应内存地址的遗留垃圾值。这些值是内存中之前存储的随机数据，可能来自其他程序的残留、系统内存的初始状态，完全没有实际意义。

2. 修改后的循环逻辑导致越界访问与值覆盖 #

当循环从i=0开始时，第一次迭代会执行：

twice[0] = 2 * twice[-1];

这里的twice[-1]属于数组越界访问，它指向了数组首元素twice[0]之前的内存区域，该区域的内容是未知的垃圾值。计算后的结果会覆盖你之前设置的twice[0] = 1。

后续循环迭代（i=1到i=4）会基于这个被污染的twice[0]持续乘以2，因此输出的都是基于垃圾值计算出的倍数，自然全是异常数值。

另外，原本循环条件i < length（length=5），当i从0开始时会执行5次循环，加上之前单独打印的twice[0]，最终输出6行内容，这也是输出行数多于正常情况的原因。

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