为何栈上数组会触发错误而堆上数组却不会？

首先明确：两种数组越界的行为都是C++标准定义的未定义行为，区别只在于栈有专门的运行时保护机制，能立刻检测到越界，而堆的保护机制不会即时触发报错。

栈内存的保护机制 #

栈是程序运行时存放函数栈帧（局部变量、返回地址、栈守护者等）的连续内存区域。现代编译器（比如GCC）默认会开启**栈守护者（Stack Canary）**机制：

• 在函数的局部变量和返回地址之间，插入一个随机生成的canary值
• 当函数执行完毕准备返回时，会检查这个canary值是否被篡改
• 第一个例子里，numbers[10]到numbers[100]的写操作，会直接覆盖栈帧里的canary值，函数返回时检测到异常，就抛出stack smashing detected错误。

栈上越界本质也是写入了不属于自己的内存，只是刚好触发了编译器的保护机制，让错误立刻暴露出来。

堆内存的特点与检测限制 #

堆是动态分配的内存区域，内存布局相对松散，相邻分配的块之间不一定有即时检测的保护：

• 第二个例子里，new int[10]分配的堆数组后面，可能是未被使用的空闲堆内存，或者其他堆分配块
• 越界写入这些区域时，没有类似栈canary的即时检查机制，所以程序不会立刻报错
• 但这并不代表没有问题：后续的堆分配/释放操作可能因为被篡改的内存而崩溃，或者出现数据错乱、程序行为异常等问题，这些都是未定义行为的表现。

对比两个示例代码 #

栈上数组示例 #

int main() {
    int numbers[10];
    for (int i = 0; i <= 100; i++)
        numbers[i] = i;

    return 0;
}

这段代码的越界写入直接破坏了栈帧的canary，函数返回时触发保护机制报错。

堆上数组示例 #

int main() {
    int* numbers = new int[10];
    for (int i = 0; i <= 100; i++)
        numbers[i] = i;

    return 0;
}

这段代码的越界写入破坏了堆内存，但因为没有即时检测，程序会“看似正常”结束，但实际上已经造成了堆内存损坏，后续操作可能出问题。

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