下面的情景有什么不妥之處呢?
std::string *stringArray = new std::string[100];
...
delete stringArray;
一切似乎都按部就班,new語句與delete相匹配。然而,這卻是大錯(cuò)特錯(cuò)的。這段程序?qū)⒊霈F(xiàn)未定義行為。最起碼的是,由于該stringArray所指向的100個(gè)string對(duì)象中的99個(gè)沒有被析構(gòu)函數(shù)所析構(gòu),它們將很有可能不會(huì)被銷毀。
當(dāng)你使用了一個(gè)new語句時(shí)(也可以說,使用new動(dòng)態(tài)創(chuàng)建了一個(gè)對(duì)象),將會(huì)發(fā)生兩件事情。第一,分配內(nèi)存(通過一個(gè)名為operator new的函數(shù),參見條目49和51)。第二,為這段內(nèi)存調(diào)用一個(gè)或多個(gè)構(gòu)造函數(shù)。當(dāng)你使用了一個(gè)delete語句時(shí),將會(huì)發(fā)生另外兩件事情:第一,為分配的內(nèi)存調(diào)用一個(gè)或多個(gè)析構(gòu)函數(shù)。第二,釋放內(nèi)存(通過operator delete函數(shù)實(shí)現(xiàn),參見條目51)。delete的關(guān)鍵問題是:內(nèi)存中存在多少需要?jiǎng)h除的對(duì)象呢?答案取決于需要調(diào)用多少析構(gòu)函數(shù)。
實(shí)際上,答案比這還要簡單:你正在刪除的指針是指向一個(gè)單獨(dú)的對(duì)象,還是一組對(duì)象?這個(gè)問題很關(guān)鍵,因?yàn)闉閱蝹€(gè)對(duì)象分配的內(nèi)存與為一系列對(duì)象分配的內(nèi)存在形式上有本質(zhì)的不同。具體地說,為數(shù)組分配的內(nèi)存通常要保存數(shù)組的大小,這就使得delete很容易知道需要調(diào)用多少次析構(gòu)函數(shù)。為單個(gè)對(duì)象分配的內(nèi)存則不保存這一信息。你可以將這一差別想象成下邊圖中的樣子,其中n是數(shù)組的大小:

當(dāng)然這僅僅是一個(gè)示例,并沒有強(qiáng)制指標(biāo)要求編譯器以這種形式實(shí)現(xiàn),盡管許多編譯器確實(shí)是這樣的。
當(dāng)你對(duì)一個(gè)指針使用delete時(shí),如何讓delete知道這一指針是否存在數(shù)組信息呢?這里只有一種方法,那就是親自告訴它。如果你在delete與指針名之間添加一對(duì)中括號(hào),則delete便認(rèn)為這一指針指向一個(gè)數(shù)組。否則將以單一對(duì)象處理。
std::string *stringPtr1 = new std::string;
std::string *stringPtr2 = new std::string[100];
...
delete stringPtr1; // 刪除一個(gè)對(duì)象
delete [] stringPtr2; // 刪除一個(gè)對(duì)象數(shù)組
如果你為stringPtr1使用“[]”時(shí)將會(huì)發(fā)生什么呢?我們說,會(huì)導(dǎo)致未定義行為。假設(shè)使用上面的內(nèi)存分配形式,delete將會(huì)讀入一些內(nèi)存信息,并且將其理解為數(shù)組的長度,然后便開始調(diào)用這么多的析構(gòu)函數(shù),此時(shí)delete不僅忽視了它正在操作的內(nèi)存上保存的并不是數(shù)組,同時(shí)它“辛辛苦苦”析構(gòu)的東西很有可能都不是它所能操作的類型。
如果你不為stringPtr2使用“[]”將會(huì)發(fā)生什么呢?同樣會(huì)導(dǎo)致未定義行為。你可以看到由于它沒有調(diào)用足夠的析構(gòu)函數(shù),將造成內(nèi)存泄漏。同時(shí),對(duì)于內(nèi)建數(shù)據(jù)類型,諸如int等,盡管它們沒有析構(gòu)函數(shù),這個(gè)做法也將帶來未定義行為(有時(shí)是有害的)。
這里的規(guī)則很簡單:如果你在一個(gè)new語句中使用了[],那么你必須在相關(guān)的delete語句中也使用[]。如果你在一個(gè)new語句中沒有使用[],那么在相關(guān)的delete語句中也不應(yīng)使用[]。
有時(shí)候你會(huì)編寫這樣的類:它們包含用來動(dòng)態(tài)分配內(nèi)存的指針,并且提供多個(gè)構(gòu)造函數(shù)。此時(shí)你需要時(shí)刻注意遵守上面的規(guī)則。在所有的構(gòu)造函數(shù)中,你必須使用一致格式的new來初始化指針成員。如果你不這樣做,你怎么能知道析構(gòu)函數(shù)中delete需要用什么樣的格式呢?
如果你傾向于使用typedef,那么這一規(guī)則同樣值得你注意,因?yàn)樗馕吨寒?dāng)你使用了new來創(chuàng)建typedef類型的對(duì)象時(shí),至于應(yīng)該使用delete語句的哪種形式,typedef的作者必須事先做出說明。請(qǐng)看下邊的示例:
typedef std::string AddressLines[4] // 每個(gè)人的地址有4行,
// 每行都是一個(gè)字符串
由于AddressLines是一個(gè)數(shù)組, 如果這樣使用了new:
std::string *pal = new AddressLines; // 請(qǐng)注意“new AddressLines”
// 返回一個(gè)string*,
// 與“new string[4]”完全一樣
那么delete就必須使用數(shù)組的格式:
delete pal; // 將出現(xiàn)未定義行為!
delete [] pal; // 工作正常
為了避免此類混淆,請(qǐng)不要使用typedef來定義數(shù)組。這十分簡單,因?yàn)镃++標(biāo)準(zhǔn)庫(參見條目54)中包含了string和vector,使用這些模板可以擺脫動(dòng)態(tài)分配數(shù)組的煩惱。比如說,在這里,AddressLines可以定義為一個(gè)字符串的向量,也就是vector<string>類型。
時(shí)刻牢記
l 如果你在一個(gè)new語句中使用了[],那么你必須要在相關(guān)的delete語句中使用[]。如果你在new語句中沒有使用[],那么在相關(guān)的delete語句中一定不要出現(xiàn)[]。