Effective C++筆記：成對(duì)使用new和delete時(shí)要采取相同形式

? ? ? ?以下動(dòng)作有什么錯(cuò)?

std::string*?stringArray?=?new?std::string[100];??
......??
delete?stringArray;

? ? ? ?每件事看起來都井然有序。使用了new，也搭配了對(duì)應(yīng)的delete。但還是有某樣?xùn)|西完全錯(cuò)誤:你的程序行為不明確(未有定義)。最低限度，stringArray所含的100 個(gè)string 對(duì)象中的99 個(gè)不太可能被適當(dāng)刪除，因?yàn)樗鼈兊奈鰳?gòu)函數(shù)很可能沒被調(diào)用。
? ? ? ?當(dāng)你使用new (也就是通過new 動(dòng)態(tài)生成一個(gè)對(duì)象) ，有兩件事發(fā)生。第一，內(nèi)存被分配出來(通過名為operatornew 的函數(shù))。第二，針對(duì)此內(nèi)存會(huì)有一個(gè)(或更多)構(gòu)造函數(shù)被調(diào)用。當(dāng)你使用delete也有兩件事發(fā)生:針對(duì)此內(nèi)存會(huì)有一個(gè)(或更多)析構(gòu)函數(shù)被調(diào)用，然后內(nèi)存才被釋放(通過名為operatordelete 的函數(shù)) 。delete 的最大問題在于：即將被刪除的內(nèi)存之內(nèi)究竟存有多少對(duì)象?這個(gè)問題的答案決定了有多少個(gè)析構(gòu)函數(shù)必須被調(diào)用起來。
? ? ? ?實(shí)際上這個(gè)問題可以更簡(jiǎn)單些:即將被刪除的那個(gè)指針，所指的是單一對(duì)象或?qū)ο髷?shù)組?這是個(gè)必不可缺的問題，因?yàn)閱我粚?duì)象的內(nèi)存布局一般而言不同于數(shù)組的內(nèi)存布局。更明確地說，數(shù)組所用的內(nèi)存通常還包括"數(shù)組大小"的記錄，以便delete 知道需要調(diào)用多少次析構(gòu)函數(shù)。單一對(duì)象的內(nèi)存則沒有這筆記錄。你可以把兩種不同的內(nèi)存布局想象如下，其中n 是數(shù)組大小:

? ? ? ?當(dāng)然啦，這只是個(gè)例子。編譯器不需非得這么實(shí)現(xiàn)不可，雖然很多編譯器的確是這樣做的。
? ? ? ?當(dāng)你對(duì)著一個(gè)指針使用delete ，唯一能夠讓delete 知道內(nèi)存中是否存在一個(gè)"數(shù)組大小記錄"的辦法就是:由你來告訴它。如果你使用delete 時(shí)加上中括號(hào)(方括號(hào)) , delete 便認(rèn)定指針指向一個(gè)數(shù)組，否則它便認(rèn)定指針指向單一對(duì)象：

std::string*?stringPtr1?=?new?std::string;??
std::string*?stringPtr2?=?new?std::string[100];??
delete?stringPtr1;????//?刪除一個(gè)對(duì)象??
delete?[]?stringPtr2;?//?刪除一個(gè)由對(duì)象組成的數(shù)組

? ? ? ? 如果你對(duì)stringPtr1 使用"delete []"形式，會(huì)發(fā)生什么事?結(jié)果未有定義，但不太可能讓人愉快。假設(shè)內(nèi)存布局如上，delete會(huì)讀取若干內(nèi)存并將它解釋為"數(shù)組大小"，然后開始多次調(diào)用析構(gòu)函數(shù)，渾然不知它所處理的那塊內(nèi)存不但不是個(gè)數(shù)組，也或許并未持有它正忙著銷毀的那種類型的對(duì)象。
? ? ? ?如果你沒有對(duì)stringPtr2使用"delete []"形式，又會(huì)發(fā)生什么事呢?晤，其結(jié)果亦未有定義，但你可以猜想可能導(dǎo)致太少的析構(gòu)函數(shù)被調(diào)用。猶有進(jìn)者，這對(duì)內(nèi)置類型如int 者亦未有定義(甚至有害) ，即使這類類型并沒有析構(gòu)函數(shù)。
? ? ? ?游戲規(guī)則很簡(jiǎn)單:如果你調(diào)用new 時(shí)使用[]，你必須在對(duì)應(yīng)調(diào)用delete 時(shí)也使用[]。如果你調(diào)用new 時(shí)沒有使用[]，那么也不該在對(duì)應(yīng)調(diào)用delete 時(shí)使用[]。
? ? ? ?當(dāng)你撰寫的class 含有一個(gè)指針指向動(dòng)態(tài)分配內(nèi)存，并提供多個(gè)構(gòu)造函數(shù)時(shí)，上述規(guī)則尤其重要，因?yàn)檫@種情況下你必須小心地在所有構(gòu)造函數(shù)中使用相同形式的new 將指針成員初始化。如果沒這樣做，又如何知道該在析構(gòu)函數(shù)中使用什么形式的delete 呢?

? ? ? ?這個(gè)規(guī)則對(duì)于喜歡使用typedef 的人也很重要，因?yàn)樗馕秚ypedef 的作者必須說清楚，當(dāng)程序員以new 創(chuàng)建該種typedef類型對(duì)象時(shí)，該以哪一種delete形式刪除之。考慮下面這個(gè)typedef:

typedef?std::string?AddressLines[4];?//?每個(gè)人的地址有4?行，每行是一個(gè)string

? ? ? ?由于AddressLines是個(gè)數(shù)組，如果這樣使用new:

std:?:string?*pal?=?new?AddressLines;?//?注意,?"new?AddressLines"?返回一個(gè)string?*，就像"new?string[4]"?一樣。

? ? ? ?那就必須匹配"數(shù)組形式"的delete:

delete?pal;???//?行為未有定義!??
delete?[]?pal;//?很好！

? ? ? ?為避免諸如此類的錯(cuò)誤，最好盡量不要對(duì)數(shù)組形式做typedefs 動(dòng)作。這很容易達(dá)成，因?yàn)镃++標(biāo)準(zhǔn)程序庫含有string， vector 等templates。 可將數(shù)組的需求降至幾乎為零。例如你可以將本例的AddressLines定義為"由strings組成的一個(gè)vector" ，也就是其類型為vector