看一个小例子：
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个字节中。
