C++ delete和delete[]区别_C++数组内存释放与析构原理

delete用于释放单个对象,调用一次析构函数;delete[]用于释放对象数组,依次调用每个元素的析构函数,二者不可混用,否则导致未定义行为。

在C++中,deletedelete[] 都用于释放动态分配的内存,但它们的使用场景和底层行为有本质区别。理解这些差异对避免内存泄漏、程序崩溃或未定义行为至关重要。

1. delete 与 delete[] 的基本用法区别

- 使用 new 分配单个对象时,必须用 delete 释放。

- 使用 new[] 分配对象数组时,必须用 delete[] 释放。

示例:

int* p1 = new int(10);
delete p1; // 正确

int* p2 = new int[100];
delete[] p2; // 正确

如果混淆使用(如用 delete 释放 new[] 分配的内存),会导致未定义行为,常见表现包括内存泄漏、析构函数未被调用、程序崩溃等。

2. 析构函数调用机制不同

对于类类型对象,deletedelete[] 的关键区别体现在析构函数的调用方式上。

- delete:只调用单个对象的析构函数一次。

- delete[]:会依次调用数组中每一个元素的析构函数。

例如:

class MyClass {
    public:
        MyClass() { cout         ~MyClass() { cout };

MyClass* obj = new MyClass();
delete obj; // 调用一次析构函数

MyClass* arr = new MyClass[3];
delete[] arr; // 调用三次析构函数,顺序为逆序(从最后一个到第一个)

若错误地对数组使用 delete 而非 delete[],只有首元素的析构函数可能被调用,其余对象资源无法正确释放,造成资源泄漏。

3. 内存管理器如何知道要释放多少对象?

C++ 标准并未规定具体实现,但主流编译器通常采用以下方式处理:

- 当使用 new[] 分配数组时,运行时系统会在实际分配的内存块前额外存储一个“元数据头”,记录数组长度(元素个数)。

- 调用 delete[] 时,系统读取该长度信息,从而知道需要调用多少次析构函数,并正确释放整块内存。

- 若使用 delete 释放数组,系统无法获取长度信息,仅当作单个对象处理,导致后续对象未析构且内存管理出错。

注意:这个“头部”信息是编译器内部实现细节,程序员不可见也不应依赖。

4. 内置类型(如 int、char)是否也需要区分?

对于没有析构函数的内置类型或POD类型(Plain Old Data),虽然不会因析构问题出错,但依然必须匹配使用 new/delete 和 new[]/delete[]。

原因:

- C++标准明确规定:用 new[] 分配的内存必须用 delete[] 释放,否则为未定义行为。

- 即使当前平台运行正常,也不能保证可移植性。

所以即使这样写:

int* p = new int[10];
delete p; // ❌ 错误!未定义行为

也属于错误用法,应始终避免。

基本上就这些。关键是记住:配对使用 new/delete 和 new[]/delete[],尤其在涉及类对象时,错误匹配会直接导致资源管理失败。现代C++建议优先使用智能指针(如 unique_ptr)和容器(如 vector),从根本上规避这类问题。