多次使用malloc分配动态二维数组为何出现重复固定值？

首次运行输出随机值的本质 #

malloc从堆空间分配内存，而堆内存不会自动初始化，里面的内容是之前进程使用后留下的垃圾数据，首次运行时输出随机值是完全正常的行为。

多次运行后元素重复/固定的原因 #

这是操作系统内存复用机制导致的：

• 进程退出后，释放的内存会被操作系统回收并放入空闲内存池，当你再次运行同一程序时，malloc很可能分配到之前用过的同一块内存区域，这块区域里的旧数据没有被覆盖，就会出现重复或固定的元素值。
• 部分操作系统会对大内存块做清零处理，但小内存块通常直接复用，这就导致多次运行时部分元素值固定。

修正后最后8个元素不变的常见诱因 #

这种情况几乎都是代码逻辑错误或对malloc内存特性不了解导致的，常见场景：

1. 循环初始化不完整：比如创建8行多列的数组时，初始化循环的终止条件写错（比如j < m-1而非j < m），导致最后8个元素从未被赋值，始终保留malloc分配时的初始垃圾值，而由于内存复用，这些值每次运行都固定。
2. 内存越界导致的覆盖异常：如果代码中存在越界写入，可能破坏了数组末尾的内存结构，或者误将其他固定值写入了最后8个元素的位置，导致这些值不再变化。
3. malloc的内存对齐填充：为了满足CPU的内存对齐要求，malloc会分配比实际需求稍大的内存块，额外的填充字节由系统维护，不会被你的代码修改。如果你的数组实际大小刚好差8字节达到对齐值，这8个填充字节就会被当作数组元素，表现为固定不变的值。

举个典型错误代码片段：

// 假设要创建8行10列的数组
int **arr = malloc(8 * sizeof(int*));
for (int i=0; i<8; i++) {
    arr[i] = malloc(10 * sizeof(int));
    // 错误：循环终止条件写成j<9，少初始化最后一个元素
    for (int j=0; j<9; j++) {
        arr[i][j] = rand();
    }
}

这里每行最后1个元素，总共8个，从未被赋值，每次运行都会保留堆内存的旧数据，看起来固定不变。

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