C++中delete和delete[]为何要区分 数组内存释放原理分析

delete用于释放单个对象，delete[]用于释放数组。1. 用错会导致内存泄漏或崩溃；2. delete[]会调用每个元素的析构函数并释放全部内存，而delete仅调用单个对象析构函数；3. 编译器通过存储数组大小信息来支持delete[]正确释放内存；4. 简单类型如int可能不立即报错但仍有风险；5. 使用智能指针如std::unique_ptr可避免手动管理内存的错误。

C++中delete和delete[]的区别至关重要，用错会导致内存泄漏或者程序崩溃。简单来说，delete用于释放单个对象，而delete[]用于释放对象数组。如果用delete释放数组，只会释放数组的第一个元素，其余元素占用的内存将无法释放，造成内存泄漏。

为什么需要区分？这涉及到C++中数组内存的分配方式以及对象析构函数的调用。

解决方案

delete和delete[]的区分，核心在于编译器需要知道要析构多少个对象。

立即学习“C++免费学习笔记（深入）”；

• 单个对象: 当使用new创建一个对象时，编译器知道对象的类型，因此在使用delete释放内存时，编译器可以正确地调用该对象的析构函数。

  

  class MyClass {
  public:
      MyClass() {
          std::cout << "Constructor called\n";
      }
      ~MyClass() {
          std::cout << "Destructor called\n";
      }
  };
  
  int main() {
      MyClass* obj = new MyClass();
      delete obj; // 正确：调用一次析构函数
      return 0;
  }

• 对象数组: 当使用new[]创建一个对象数组时，编译器需要在释放内存时对数组中的每个对象都调用析构函数。为了知道数组中有多少个对象，很多编译器会在分配的内存块中保存数组的大小信息。delete[]会读取这个信息，然后循环调用每个对象的析构函数，最后释放整个内存块。如果使用delete释放数组，编译器只会认为你是指向数组第一个元素的指针，只会调用一次析构函数，导致内存泄漏和其他未定义行为。

  class MyClass {
  public:
      MyClass() {
          std::cout << "Constructor called\n";
      }
      ~MyClass() {
          std::cout << "Destructor called\n";
      }
  };
  
  int main() {
      MyClass* arr = new MyClass[3];
      delete[] arr; // 正确：调用三次析构函数
      return 0;
  }

为什么用错误的delete方式会导致问题？

1. 内存泄漏: 如果用delete释放数组，只有数组的第一个元素被析构，其余元素占用的内存不会被释放，导致内存泄漏。长时间运行的程序，内存泄漏会逐渐消耗系统资源，最终可能导致程序崩溃。

2. 未定义行为: 对于包含指针成员的类，如果析构函数没有被正确调用，指针指向的内存可能不会被释放，或者被错误地释放，导致程序出现各种难以预测的错误。更糟糕的是，某些编译器可能在debug模式下可以正常运行，但是在release模式下出现问题，增加了调试难度。

3. 数据损坏: 某些编译器会在分配的数组内存块前存储数组大小信息。如果使用delete释放数组，delete不知道数组的大小，可能会错误地释放内存，破坏程序的数据结构。

如何避免delete和delete[]使用错误？

1. 养成良好习惯: 永远记住，new和delete要配对使用，new[]和delete[]要配对使用。

   

   Moshi Chat

   法国AI实验室Kyutai推出的端到端实时多模态AI语音模型，具备听、说、看的能力，不仅可以实时收听，还能进行自然对话。

   下载

2. 使用智能指针: C++11引入了智能指针，如std::unique_ptr和std::shared_ptr，可以自动管理内存，避免手动new和delete带来的问题。对于数组，可以使用std::unique_ptr。

   #include 
   
   class MyClass {
   public:
       MyClass() {
           std::cout << "Constructor called\n";
       }
       ~MyClass() {
           std::cout << "Destructor called\n";
       }
   };
   
   int main() {
       std::unique_ptr arr(new MyClass[3]); // 使用 unique_ptr 管理数组
       // 不需要手动 delete[] arr;
       return 0;
   }

3. 代码审查: 代码审查是发现潜在错误的重要手段。通过代码审查，可以及时发现new和delete使用不匹配的问题。

数组内存释放的底层原理是什么？

数组内存释放的底层原理涉及到编译器如何管理内存分配以及如何调用对象的析构函数。

1. 内存分配: 当使用new[]分配数组内存时，编译器会分配一块额外的空间来存储数组的大小信息。这块空间通常位于数组内存块的前面。例如，如果分配了一个包含10个int类型元素的数组，编译器可能会分配40字节（10 * sizeof(int)）用于存储元素，以及额外的4或8字节用于存储数组大小信息。

2. 析构函数调用: 当使用delete[]释放数组内存时，编译器会首先读取数组大小信息，然后循环调用每个对象的析构函数。完成析构后，编译器会释放整个内存块，包括存储数组大小信息的额外空间。

3. delete的行为: 当使用delete释放数组内存时，编译器只会将指针视为指向单个对象的指针，只会调用一次析构函数，然后释放指针指向的内存块。由于编译器不知道这是一个数组，因此不会读取数组大小信息，也不会循环调用析构函数。

为什么有些简单的类型用错delete和delete[]可能不报错？

对于一些简单的类型，如int、char等，它们没有析构函数。因此，即使使用delete释放数组，程序可能不会立即崩溃，因为没有析构函数需要调用。但是，这仍然是错误的，可能会导致内存泄漏或其他潜在问题。

int main() {
    int* arr = new int[10];
    delete arr; // 错误，但可能不会立即崩溃
    return 0;
}

虽然这个例子可能不会立即崩溃，但是如果程序长时间运行，可能会导致内存泄漏。此外，如果编译器在分配的数组内存块前存储了数组大小信息，使用delete可能会错误地释放内存，破坏程序的数据结构。因此，即使对于简单的类型，也应该始终使用正确的delete方式。

总而言之，理解delete和delete[]的区别，并养成良好的编程习惯，是避免内存泄漏和程序崩溃的关键。使用智能指针可以大大简化内存管理，减少出错的可能性。