C++中delete[]为何不等同于逐个调用delete？堆数组操作差异探究

好问题！这其实戳中了C++动态数组内存管理的核心细节，咱们把这事掰碎了说：

先搞懂new int[10]到底做了什么 #

当你用new[]创建数组时，编译器背后做的不止是分配10个int的内存空间——通常它会在数组内存块的起始位置之前，额外分配一小段空间来存储数组的元素个数（比如一个整数）。这个小细节你平时看不到，但delete[]需要它来完成正确的清理工作。

简单说，new int[10]的内存布局大概是这样的（简化版）：

[元素个数(10)] → [int元素0] → [int元素1] → ... → [int元素9]

而变量a指向的是第一个int元素的地址，不是整个内存块的起始地址。

循环delete (a + i)错在哪里？ #

当你对a + i调用delete时，问题就来了：

• delete的设计目标是释放单个new出来的对象，它会假设传入的地址是一个单独分配的内存块的起始位置（也就是带有那个隐藏计数的位置）。但a + i指向的是数组里的某个元素，根本没有这个隐藏的计数信息，所以delete会试图去读取这个地址前面的内存（找计数），这直接就触发了内存访问违规——你读了不属于你的内存区域。
• 就算运气好没立刻崩溃，你循环10次delete，相当于在试图多次释放同一块大内存的不同部分，这属于非法内存操作，是C++里的未定义行为，后续程序的任何表现都不可控（崩溃只是最常见的结果）。
• 如果数组里存的是类对象而不是int，情况会更糟：delete[]会逐个调用每个元素的析构函数，再释放整块内存；但循环delete会让每个delete都试图去调用析构+释放内存，结果就是析构函数可能被错误调用，内存释放完全混乱。

delete[] a的正确打开方式 #

delete[]是和new[]完全配对的操作：

1. 它会先找到a指向的内存块前面的隐藏计数（也就是10）；
2. 如果是类对象，就按照这个计数逐个调用每个元素的析构函数；
3. 最后告诉内存分配器释放整块内存（包括那个隐藏的计数区域）。
   整个过程完全匹配new[]的分配逻辑，所以是安全且正确的。

额外提醒：内置类型也不能这么干 #

有人可能会说：int是内置类型，没有析构函数，是不是循环delete就没事？答案是否定的——内存释放的逻辑依然不匹配，delete还是会去寻找不存在的隐藏信息，依然会触发内存访问违规或者其他未定义行为。

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