在平時資料中，我們常看到：new和delete，new[]和delete[]一定要配對使用！

也有人說：有時候不配對使用也不會出現問題。 也許你也是只知其然，不知其所以然，然而我也有點懵了。

那就研究下這個問題：

首先，看下這段配對使用代碼：

#include
#include
usingnamespacestd;
classinner{
public:
inner(){cout<"Constructing"<inner(){cout<"Destructing"<return0;
}
程序輸出：
Constructing
Constructing
Constructing
Destructing
Destructing
Destructing

因為new[]會創建一個數組，一個對象數組需要一定的空間大小，假設一個對象需要N字節大小，K個對象的數組就需要K*N個空間來構造對象數組，但是在delete[]時候，如何知道數組的長度呢？

所以new[]會在K*N個空間的基礎上，頭部多申請4個字節，用于存儲數組長度，這樣delete[]時候才知道對象數組的大小，才會相應調用K次析構函數，并且釋放K*N+4大小的內存。

這是我們平時編程中經常配對使用的情況，如果不配對使用呢？

new[]與delete結對使用

#include
#include
usingnamespacestd;
classinner{
public:
inner(){cout<"Constructing"<inner(){cout<"Destructing"<return0;
}

程序輸出：
Constructing
Constructing
Destructing
munmap_chunk():invalidpointer
Aborted(coredumped)

這里發現：程序掛掉了。

并且，只調用了一次析構函數，為什么呢？

因為我們使用了delete，delete不同于delete[]，它認為這只是一個對象占用的空間，不是對象數組，不會訪問前4個字節獲取長度，所以只調用了一次析構函數。而且，最后釋放內存的時候只釋放了起始地址為A的內存。然而這不是這一整塊內存的起始地址，整塊內存的起始地址應該是A-4，釋放內存如果不從內存起始地址操作就會出現斷錯誤，所以導致程序掛掉。

關于內存知識可以看我以前的文章：

10張圖22段代碼，萬字長文帶你搞懂虛擬內存模型和malloc內部原理

new和delete[]結對使用

#include
#include
usingnamespacestd;
classinner{
public:
inner(){cout<"Constructing"<inner(){cout<"Destructing"<return0;
}
程序輸出：
Constructing
Destructing
Destructing
Destructing
Destructing
Destructing
Destructing
...
Destructing
free():invalidpointer
Aborted(coredumped)

這里調用了不定次數的析構函數，并且掛掉，是因為在new時候沒有多申請4個字節存儲長度，而delete[]時候還會向前找4個字節獲取長度，這4個字節是未定義的，所以調用了不固定次數的析構函數，釋放內存的時候也釋放了起始地址為A-4的內存，而正常的起始地址應該是A，所以程序掛掉。

什么時候可以不配對使用？

我們再來看一段代碼：

#include
#include
usingnamespacestd;

intmain(){
int*pint=newint(5);
delete[]pint;
int*pinta=newint[4];
deletepinta;
cout<"success"<return0;
}
程序輸出：
success

這段代碼即使不配對使用也會正常運行，這是為什么呢，因為int是內置類型，new[]和delete[]在配合int使用時知道int是內置類型，不需要析構函數，所以也就不需要多4個字節來存放數組長度，只需要直接操作內存即可。

總結

當類型為int, float等內置類型時，new、delete、new[]、delete[]不需要配對使用；

當是自定義類型時，new、delete和new[]、delete[]才需要配對使用。

當然，我們平時編程過程中，為了保證代碼的可讀性，以及養成良好的編程習慣，最好確保所有情況都配對使用。
責任編輯：haq