C++中动态分配数组的分析_动态数组分配实际元素个数-优快云博客

本文通过实例解析了C++中使用delete[]操作符时如何确定动态分配的数组大小。展示了系统如何在new操作时记录数组长度，并在delete[]时利用该信息正确释放内存。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

//-----------------------一下为原文

看一个小例子：

 
#include <iostream>

using namespace std;

class A {
public:
   A() { cout << "A::A()" << endl; }
   ~A() { cout << "A::~A()" << endl; }
};

int main() {
   A* a = new A[5];
   delete[] a;

   return 0;
}
   
 
    

编译执行输出：

A::A()
A::A()
A::A()
A::A()
A::A()
A::~A()
A::~A()
A::~A()
A::~A()
A::~A()

上面的输出显示程序正确释放了5个A对象。
现在的问题是：我们在delete[] a语句中并没有给出对象数组的大小，那么系统是如何做到正确释放对象个数的呢？

接着看下面的程序段：

 
#include <iostream>

using namespace std;

class A {
public:
   A() { cout << "A::A()" << endl; }
   ~A() { cout << "A::~A()" << endl; }
};

int main() {
   A* a = new A[5];

   int addr = (int)a - 4;
   cout << "delete[] size = " << *(int*)addr << endl;

   delete[] a;

   return 0;
}
   
 
    

编译执行：

A::A()
A::A()
A::A()
A::A()
A::A()
delete[] size = 5
A::~A()
A::~A()
A::~A()
A::~A()
A::~A()

结论：
系统在new一个数组对象的时候会把数组大小存放在返回的内存地址的前4个字节中。