为什么已定义数组外的第一个元素默认为零？

我正在为我的C++入门课的期末考试做准备。我们的教授给了我们这样一个练习题：

解释代码产生以下输出的原因：120 200 16 0

using namespace std;
int main()
{
  int x[] = {120, 200, 16};
  for (int i = 0; i < 4; i++)
    cout << x[i] << " ";
}

该问题的示例答案是：

cout语句只是循环访问其下标由for循环的增量定义的数组元素。元素大小不是由数组初始化定义的。for循环定义数组的大小，该数组的大小恰好超过初始化元素的数量，因此最后一个元素的默认大小为零。第一个for循环打印元素0(120)，第二个循环打印元素1(200)，第三个循环打印元素2(16)，第四个循环打印默认数组值0，因为没有为元素3初始化任何元素。此时，I现在超过条件，for循环终止。

我有点困惑，为什么数组外最后一个元素总是默认为零。为了进行实验，我将问题中的代码粘贴到我的IDE中，但将for循环更改为for (int i = 0; i < 8; i++)。然后输出更改为120 200 16 0 4196320 0 547306487 32655。当尝试访问超出定义大小的数组中的元素时，为什么没有错误？程序是否只输出上次将值保存到该内存地址后剩余的数据？

---

解决方案

我有点困惑，为什么数组外最后一个元素 始终默认为零(&Q；)。

在此声明中

int x[] = {120, 200, 16};

数组x正好有三个元素。因此，在数组边界之外访问内存会调用未定义的行为。

也就是这个循环

 for (int i = 0; i < 4; i++)
 cout << x[i] << " ";

调用未定义的行为。数组最后一个元素后的内存可以包含任何内容。

另一方面，如果数组声明为

int x[4] = {120, 200, 16};

也就是说，如果有四个元素，则数组中没有显式初始值设定项的最后一个元素确实会被初始化为零。