C++中动态分配数组的分析

原文链接

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

c++: 获取delete[]中的数组大小

看一个小例子：

1 #include <iostream> 2 3 using namespace std; 4 5 class A { 6 public: 7 A() { cout << "A::A()" << endl; } 8 ~A() { cout << "A::~A()" << endl; } 9 }; 10 11 int main() { 12 A* a = new A[5]; 13 delete[] a; 14 15 return 0; 16 }

编译执行输出：

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

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

接着看下面的程序段：

1 #include <iostream> 2 3 using namespace std; 4 5 class A { 6 public: 7 A() { cout << "A::A()" << endl; } 8 ~A() { cout << "A::~A()" << endl; } 9 }; 10 11 int main() { 12 A* a = new A[5]; 13 14 int addr = (int)a - 4; 15 cout << "delete[] size = " << *(int*)addr << endl; 16 17 delete[] a; 18 19 return 0; 20 }

编译执行：

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个字节中。