new[]和delete[]一定要配對使用嗎?
掃描二維碼
隨時隨地手機(jī)看文章
在平時資料中,我們??吹剑?/span>new和delete,new[]和delete[]一定要配對使用!
也有人說:有時候不配對使用也不會出現(xiàn)問題。也許你也是只知其然,不知其所以然,然而我也有點(diǎn)懵了_(|3」∠)_
那就研究下這個問題:
首先,看下這段配對使用代碼:
using namespace std;class inner { public: inner() { cout << "Constructing" << endl; } ~inner() { cout << "Destructing" << endl; }}; int main(int argc, char *argv[]) { inner *p = new inner(); inner *pa = new inner[2]; delete p; delete []pa; return 0;} 程序輸出:ConstructingConstructingConstructingDestructingDestructingDestructing
因?yàn)閚ew[]會創(chuàng)建一個數(shù)組,一個對象數(shù)組需要一定的空間大小,假設(shè)一個對象需要N字節(jié)大小,K個對象的數(shù)組就需要K*N個空間來構(gòu)造對象數(shù)組,但是在delete[]時候,如何知道數(shù)組的長度呢?
所以new[]會在K*N個空間的基礎(chǔ)上,頭部多申請4個字節(jié),用于存儲數(shù)組長度,這樣delete[]時候才知道對象數(shù)組的大小,才會相應(yīng)調(diào)用K次析構(gòu)函數(shù),并且釋放K*N+4大小的內(nèi)存。
這是我們平時編程中經(jīng)常配對使用的情況,如果不配對使用呢?
new[]與delete結(jié)對使用using namespace std;class inner { public: inner() { cout << "Constructing" << endl; } ~inner() { cout << "Destructing" << endl; }}; int main(int argc, char *argv[]) { inner *p = new inner[2]; delete p; return 0;} 程序輸出:ConstructingConstructingDestructingmunmap_chunk(): invalid pointerAborted (core dumped)
這里發(fā)現(xiàn):程序掛掉了。
并且,只調(diào)用了一次析構(gòu)函數(shù),為什么呢?
因?yàn)槲覀兪褂昧薲elete,delete不同于delete[],它認(rèn)為這只是一個對象占用的空間,不是對象數(shù)組,不會訪問前4個字節(jié)獲取長度,所以只調(diào)用了一次析構(gòu)函數(shù)。而且,最后釋放內(nèi)存的時候只釋放了起始地址為A的內(nèi)存。然而這不是這一整塊內(nèi)存的起始地址,整塊內(nèi)存的起始地址應(yīng)該是A-4,釋放內(nèi)存如果不從內(nèi)存起始地址操作就會出現(xiàn)斷錯誤,所以導(dǎo)致程序掛掉。
關(guān)于內(nèi)存知識可以看我以前的文章:
10張圖22段代碼,萬字長文帶你搞懂虛擬內(nèi)存模型和malloc內(nèi)部原理
new和delete[]結(jié)對使用using namespace std;class inner { public: inner() { cout << "Constructing" << endl; } ~inner() { cout << "Destructing" << endl; }}; int main(int argc, char *argv[]) { inner *p = new inner(); delete []p; return 0;}程序輸出:ConstructingDestructingDestructingDestructingDestructingDestructingDestructing...Destructingfree(): invalid pointerAborted (core dumped)
這里調(diào)用了不定次數(shù)的析構(gòu)函數(shù),并且掛掉,是因?yàn)樵趎ew時候沒有多申請4個字節(jié)存儲長度,而delete[]時候還會向前找4個字節(jié)獲取長度,這4個字節(jié)是未定義的,所以調(diào)用了不固定次數(shù)的析構(gòu)函數(shù),釋放內(nèi)存的時候也釋放了起始地址為A-4的內(nèi)存,而正常的起始地址應(yīng)該是A,所以程序掛掉。
什么時候可以不配對使用?我們再來看一段代碼:
using namespace std; int main() { int *pint = new int(5); delete[] pint; int *pinta = new int[4]; delete pinta; cout << "success" << endl; return 0;}程序輸出:success
這段代碼即使不配對使用也會正常運(yùn)行,這是為什么呢,因?yàn)閕nt是內(nèi)置類型,new[]和delete[]在配合int使用時知道int是內(nèi)置類型,不需要析構(gòu)函數(shù),所以也就不需要多4個字節(jié)來存放數(shù)組長度,只需要直接操作內(nèi)存即可。
總結(jié)
當(dāng)類型為int, float等內(nèi)置類型時,new、delete、new[]、delete[]不需要配對使用;
當(dāng)是自定義類型時,new、delete和new[]、delete[]才需要配對使用。
當(dāng)然,我們平時編程過程中,為了保證代碼的可讀性,以及養(yǎng)成良好的編程習(xí)慣,最好確保所有情況都配對使用。
其實(shí)侯捷老師的視頻里也講過這個問題,大家也可以去看看侯捷巨佬的C++視頻。





