? ? ? ?以下動作有什么錯?

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

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

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

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

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

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

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

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

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

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

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

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