C++内存管理：new[]与delete的正确使用与陷阱

1. 问题现象与背景解析

第一次遇到new[]搭配delete导致的程序崩溃时，很多C++开发者都会感到困惑。明明都是用来操作堆内存的运算符，为什么组合使用就会出问题？这背后其实隐藏着C++内存管理的核心机制。

典型崩溃场景是这样的：

cpp复制int* arr = new int[10];
delete arr;  // 运行时崩溃！

表面看只是简单的内存申请释放，但实际执行时第二行很可能触发段错误（Segmentation Fault）或堆损坏（Heap Corruption）。这种问题在小型测试程序中可能偶尔"正常运行"，但在复杂系统中必然暴露，属于典型的未定义行为（Undefined Behavior）。

2. 底层机制深度剖析

2.1 内存分配器的元数据记录

现代C++运行时库实现new[]时，会在返回给用户的指针前插入额外的簿记信息（Bookkeeping Data）。以GCC的libstdc++为例：

code复制+---------+-------------------+
| 元数据  | 用户实际获得的内存 |
+---------+-------------------+
^         ^
|         |
返回的指针-4字节  用户使用的指针

这个元数据通常包含：

• 数组元素个数（用于后续调用析构函数）
• 内存块大小（用于正确释放）
• 分配器标识信息

当使用delete[]时，运行时会通过指针偏移获取这些信息，确保完整释放内存。而直接使用delete则会导致：

1. 仅释放用户可见部分内存
2. 元数据区域成为内存泄漏
3. 堆管理器结构被破坏

2.2 编译器生成的隐式代码

考虑以下类定义：

cpp复制class Widget {
public:
    ~Widget() { cout << "dtor called"; }
};

使用new[]和delete的组合：

cpp复制Widget* widgets = new Widget[5];
delete widgets;

这里会产生双重问题：

1. 只有第一个元素会调用析构函数（因为delete不知道数组长度）
2. 内存释放不完整（缺少数组长度的元数据）

而正确的delete[]会生成等效于：

cpp复制for(int i=0; i<array_size_from_metadata; ++i)
    widgets[i].~Widget();
operator delete[](original_pointer);

2.3 不同编译器的实现差异

实测各主流编译器的行为：