[轉(zhuǎn)]http://m.shnenglu.com/tiandejian/archive/2007/05/14/ec_16.html
第13條： 互相聯(lián)系的 new 和 delete 要使用同樣的形式
請觀察下面的代碼有什么不妥之處：
std::string *stringArray = new std::string[100];
...
delete stringArray;
一切似乎都按部就班， new 語句與 delete 相匹配。然而，這卻是十分錯誤的。這段程序?qū)⒊霈F(xiàn)無法預(yù)知的行為。最起碼的是，由于該 stringArray 所指向的 100 個 string 對象中的 99 個沒有被析構(gòu)函數(shù)所析構(gòu)，它們將很有可能得不到銷毀。
當(dāng)你使用了一個 new 語句時（也可以說，使用 new 動態(tài)創(chuàng)建了一個對象），將會發(fā)生兩件事情。第一，分配內(nèi)存（通過一個名為 operator new 的函數(shù)，參見第 49 和第 51 條）。第二，為這段內(nèi)存調(diào)用一個或多個構(gòu)造函數(shù)。當(dāng)你使用了一個 delete 語句時，將會發(fā)生另外兩件事情：第一，為分配的內(nèi)存調(diào)用一個或多個析構(gòu)函數(shù)。第二，釋放內(nèi)存（通過 operator delete 函數(shù)實現(xiàn)，參見第 51 條）。 delete 的關(guān)鍵問題是：內(nèi)存中存在多少需要刪除的對象呢？答案取決于需要調(diào)用多少析構(gòu)函數(shù)。
實際上，答案十分簡單，那就是：指針是指向一個單獨的對象，還是一組對象？這個問題很關(guān)鍵，因為為單個對象分配的內(nèi)存與為一系列對象分配的內(nèi)存在形式上有本質(zhì)的不同。具體地說，為數(shù)組分配的內(nèi)存通常要保存數(shù)組的大小，這就使得 delete 很容易知道需要調(diào)用多少次析構(gòu)函數(shù)。為單個對象分配的內(nèi)存則不保存這一信息。你可以將這一差別想象成下邊圖中的樣子，其中 n 是數(shù)組的大小：
當(dāng)然這僅僅是一個示例，并沒有強制指標(biāo)要求編譯器以這種形式實現(xiàn)，盡管許多編譯器確實是這樣的。
當(dāng)你對一個指針使用 delete 時，如何讓 delete 知道這一指針是否存在數(shù)組信息呢？這里只有一種方法，那就是親自告訴它。如果你在 delete 與指針名之間添加一對中括號，則 delete 便認為這一指針指向一個數(shù)組。否則將以單一對象處理。
std::string *stringPtr1 = new std::string;
std::string *stringPtr2 = new std::string[100];
...
delete stringPtr1; // 刪除一個對象
delete [] stringPtr2; // 刪除一個對象數(shù)組
如果你為 stringPtr1 使用“ [] ”時將會發(fā)生什么呢？我們說，這樣做不會得到預(yù)期的效果。假設(shè)使用上面的內(nèi)存分配形式， delete 將會讀入一些內(nèi)存信息，并且將其理解為數(shù)組的長度，然后便開始調(diào)用這么多的析構(gòu)函數(shù)，此時 delete 不僅忽視了它正在操作的內(nèi)存上保存的并不是數(shù)組，同時它“辛辛苦苦”析構(gòu)的東西很有可能都不是它所能操作的類型。
如果你不為 stringPtr2 使用“ [] ”將會發(fā)生什么呢？我們也可以說，這樣做同樣的不到預(yù)期的效果。你可以看到由于它沒有調(diào)用足夠的析構(gòu)函數(shù)，于是將造成內(nèi)存泄漏。同時，對于內(nèi)建數(shù)據(jù)類型，諸如 int 等，盡管它們沒有析構(gòu)函數(shù)，但同樣也會帶來無法預(yù)期的結(jié)果（有時是有害的）。
這里的規(guī)則很簡單：如果你在一個 new 語句中使用了 [] ，那么你必須在相關(guān)的 delete 語句中也使用 [] 。反之亦然。
有時候你會編寫這樣的類：它們包含用來動態(tài)分配內(nèi)存的指針，并且提供多個構(gòu)造函數(shù)。此時你需要時刻注意遵守上面的規(guī)則。在所有的構(gòu)造函數(shù)中，當(dāng)你編寫初始化指針成員的語句時，你必須使用 new 的一致的格式。如果你不這樣做，那么你怎么能知道析構(gòu)函數(shù)中 delete 需要用什么樣的格式呢？
如果你傾向于使用 typedef ，那么這一規(guī)則同樣值得你注意，因為它意味著 typedef 的創(chuàng)建者必須清楚：當(dāng) typedef 的類型中使用了 new 來創(chuàng)建對象，那么相應(yīng)的 delete 語句中必須要使用同樣的格式。請看下邊的示例：
typedef std::string AddressLines[4];
// 每個人的地址有 4 行，
// 每行都是一個字符串
由于 AddressLines 是一個數(shù)組， 如果這樣使用了 new ：
std::string *pal = new AddressLines;
// 請注意“ new AddressLines ”
// 返回一個 string* ，
// 與“ new string[4] ”完全一樣
那么 delete 就必須使用數(shù)組的格式：
delete pal; // 將出現(xiàn)無法預(yù)知的行為！
delete [] pal; // 工作正常
為了避免此類混淆，請謹慎使用 typedef 來定義數(shù)組。這十分簡單，因為標(biāo)準(zhǔn) C++ 庫（參見第 54 條）中包含了 string 和 vector ，使用這些模板可以擺脫動態(tài)分配數(shù)組的煩惱。比如說，在這里， AddressLines 可以定義為一個字符串的向量，也就是 vector<string> 類型。
牢記在心
l 如果你在一個 new 語句中使用了 [] ，那么你必須要在相關(guān)的 delete 語句中使用 [] 。如果你在 new 語句中沒有使用 [] ，那么在相關(guān)的 delete 語句中一定不要出現(xiàn) [] 。