数组越界访问arr[6]返回垃圾值而非溢出错误的原因探究

• C标准不强制要求编译器或运行时环境做数组边界检查。这是因为C从设计之初就优先追求性能，把数组边界的合法性校验责任交给了开发者，避免额外的运行时检查消耗性能。
• 数组下标访问的本质是指针运算：arr[6]会被编译器转换成*(arr + 6)，也就是直接计算出数组起始地址往后偏移6个int长度的内存地址，然后读取该地址的内容。这个地址属于数组之外的内存空间，里面的内容是之前程序运行遗留的无意义数据（俗称“垃圾值”），所以你会看到随机的输出。
• 这种越界访问属于未定义行为：C++标准没有规定这种情况必须抛出错误或崩溃，程序的表现完全取决于当前的内存布局、编译器实现和操作系统。只有在开启特定调试选项时（比如GCC的-fsanitize=address，或者Visual Studio的调试模式），编译器才会帮你检测到数组越界并报错。

你的测试代码：

#include <iostream>
#include <bits/stdc++.h>
using namespace std;

int main()
{
    int arr[] = {3, 2, 1, 56, 10000, 167};
    cout << "Value: " << arr[6];
    
    return 0;
}

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