未初始化正确的数组元素会导致未定义的行为[重复]

Question

我在 VSC 中做了一些测试来检查数组的行为。我在一个测试的输出中遇到了这个问题，尽管数组元素被正确定义但没有初始化，但显然发生了未定义的行为（正确的意思是数组元素是用数组本身定义的，而不是额外的导致众所周知的未定义行为的数组边界）。

这是我的代码，下面是它的输出：

问题在于foo[4] 的输出是 8 而不是 0。

#include <stdio.h> 

int main()
{
    int foo[12];
    int i;

    foo[5] = 6; 
    foo[6] = 7;
    foo[7] = 8;
    foo[8] = 9;
    foo[9] = 10;
    foo[10] = 11;
    foo[11] = 12;

    for(i=0 ; i<=11 ; i++)
    {
        printf("foo[%d] = %d\n",i,foo[i]);
    }
}

输出：

foo[0] = 0
foo[1] = 0
foo[2] = 0
foo[3] = 0
foo[4] = 8
foo[5] = 6
foo[6] = 7
foo[7] = 8
foo[8] = 9
foo[9] = 10
foo[10] = 11
foo[11] = 12

此后我尝试了其他方法并想看看foo[5] 是否也会受到影响，如果我也没有对其进行初始化，但事实并非如此。 foo[4] 仍然有错误的值顺便说一句：

#include <stdio.h> 

int main()
{
    int foo[12];
    int i;

    // foo[5] = 6; 
    foo[6] = 7;
    foo[7] = 8;
    foo[8] = 9;
    foo[9] = 10;
    foo[10] = 11;
    foo[11] = 12;

    for(i=0 ; i<=11 ; i++)
    {
        printf("foo[%d] = %d\n",i,foo[i]);
    }
}

输出：

foo[0] = 0
foo[1] = 0
foo[2] = 0
foo[3] = 0
foo[4] = 8
foo[5] = 0
foo[6] = 7
foo[7] = 8
foo[8] = 9
foo[9] = 10
foo[10] = 11
foo[11] = 12

我的问题是：为什么在foo[4] 发生未定义的行为？该数组由 12 个元素正确定义。

Answer 1

问题是关于foo[4] 的输出。

不仅如此。

问题在于数组的每个 未初始化 元素，您稍后会访问这些元素 - 这些元素具有 indeterminate（垃圾）值。

您无需初始化数组的前 5 个元素，而是在 for 循环中访问它们，该循环调用 Undefined Behavior (UB)。

您很幸运，您数组的前四个元素今天恰好在您的机器中，此时，已初始化为您希望它们成为的值。

这是我运行你的代码online得到的输出：

foo[0] = 0
foo[1] = 0
foo[2] = 4195741
foo[3] = 0
foo[4] = 0
foo[5] = 6
foo[6] = 7
foo[7] = 8
foo[8] = 9
foo[9] = 10
foo[10] = 11
foo[11] = 12

Answer 2

为什么在 foo[4] 处发生未定义的行为？数组是 用 12 个元素正确定义

一言难尽。

也就是说，当您如下定义本地数组时。

int foo[12];

foo 的每个元素在显式初始化之前都将具有不确定的值。