Blog @ Blog

當華美的葉片落盡，生命的脈絡才歷歷可見。－－聶魯達

公告

留言簿(20)

隨筆分類(156)

文章分類(1)

隨筆檔案(198)

文章檔案(2)

相冊

Meet or get-together

閱讀排行榜

評論排行榜

常用鏈接

統計

隨筆 - 198
文章 - 2
評論 - 156
引用 - 0

積分與排名

積分 - 663221
排名 - 25

BBS

Sohu Club

Blog

Web

CSDN
VC KBase

[轉]c++中的delete和delete[]

《Effective C++》中正確的觀點、結論摘錄如下：
1. 當你使用new時，有兩件事會發生。第一，內存被配置（透過函數operator new）。第二，會有一個（或以上）的constructors針對此內存被調用。當你使用delete時,也有兩件事發生：一個（或以上）的destructors會針對此內存被調用，然后內存被釋放（透過函數operator delete）。
2. 如果你使用delete是未加括號，delete便假設刪除對象是單一對象。否則便假設刪除對象是個數組。
3. string *stringPtr1 = new string;
string *stringPtr2 = new string[100];
……
delete stringPtr1;
delete [] stringPtr2;
如果你對著stringPtr1使用“[]”形式，其結果未定義。如果你對著stringPtr2沒有使用“[]”形式，其結果亦未定義。猶有進者，這對內建型別如int者亦未定義，即使這類型別并沒有destructors。
4. 因此，游戲規則很簡單，如果你在調用new時使用了[]，則你在調用delete時也使用[]，如果你在調用new的時候沒有[]，那么你也不應該在調用時使用[]。

下面這段代碼有什么問題？

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

　　每件事看起來都很正常。也為 new 搭配了一個 delete。但是，仍然有某件事情徹底錯了。程序的行為是未定義的。直到最后，stringArray 指向的 100 個 string 對象中的 99 個不太可能被完全銷毀，因為它們的析構函數或許根本沒有被調用。

　　當你使用了一個 new 表達式（也就是說，通過使用 new 動態創建一個對象），有兩件事情會發生。首先，分配內存（通過一個被稱為 operator new 的函數——參見 Item 49 和 51）。第二，一個或多個構造函數在這些內存上被調用。當你使用一個 delete 表達式（也就是說，使用 delete），有另外的兩件事情會發生：一個或多個析構函數在這些內存上被調用，然后內存被回收（通過一個被稱為 operator delete 的函數——參見 Item 51）。對于 delete 來說有一個大問題：在要被刪除的內存中到底駐留有多少個對象？這個問題的答案將決定有多少個析構函數必須被調用。

　　事實上，問題很簡單：將要被刪除的指針是指向一個單一的對象還是一個對象的數組？這是一個關鍵的問題，因為單一對象的內存布局通常不同于數組的內存布局。詳細地說，一個數組的內存布局通常包含數組的大小，這樣可以使得 delete 更容易知道有多少個析構函數需要被調用。而一個單一對象的內存中缺乏這個信息。你可以認為不同的內存布局看起來如下圖，那個 n 就是數組的大小：

　　這當然只是一個例子。編譯器并不是必須這樣實現，雖然很多是這樣的。

　　當你對一個指針使用 delete，delete 知道是否有數組大小信息的唯一方法就是由你來告訴它。如果你在你使用的 delete 中加入了方括號，delete 就假設那個指針指向的是一個數組。否則，就假設指向一個單一的對象。

std::string *stringPtr1 = new std::string;
std::string *stringPtr2 = new std::string[100];
...
delete stringPtr1; // delete an object
delete [] stringPtr2; // delete an array of objects

　　如果你對 stringPtr1 使用了 [] 形式會發生什么呢？結果是未定義的，但不太可能是什么好事。假設如上圖的布局，delete 將讀入某些內存的內容并將其看作一個數組的大小，然后開始調用那么多析構函數，不僅全然不顧它在其上工作的內存不是數組，而且還可能忘掉了它正忙著析構的對象的類型。

　　如果你對 stringPtr2 沒有使用 [] 形式會發生什么呢？也是未定義的，只不過你不會看到它會引起過多的析構函數被調用。此外，對于類似 int 的內建類型其結果也是未定義的（而且有時是有害的），即使這樣的類型沒有析構函數。

　　規則很簡單。如果你在 new 表達式中使用了 []，你也必須在相應的 delete 表達式中使用 []。如果你在 new 表達式中沒有使用 []，在匹配的 delete 表達式中也不要使用 []。

　　當你寫的一個類中包含一個指向動態分配的內存的指針，而且提供了多個構造函數的時候，這條規則尤其重要，應鐫刻腦海，因為那時你必須小心地在所有的構造函數中使用相同形式的 new 初始化那個指針成員。如果你不這樣做，你怎么知道在你的析構函數中應該使用哪種形式的 delete 呢？

　　這個規則對于有 typedef 傾向的人也很值得注目，因為這意味著一個 typedef 的作者必須在文檔中記錄：當用 new 生成一個 typedef 類型的對象時，應該使用哪種形式的 delete。例如，考慮這個 typedef：

typedef std::string AddressLines[4]; // a person’s address has 4 lines,
// each of which is a string

　　因為 AddressLines 是一個數組，這里使用 new，

std::string *pal = new AddressLines; // note that "new AddressLines"
// returns a string*, just like
// "new string[4]" would

　　必須用 delete 的數組形式進行匹配：

delete pal; // undefined!
delete [] pal; // fine

　　為了避免這種混淆，要克制對數組類型使用 typedef。那很簡單，因為標準 C++ 庫（參見 Item 54）包含 string 和 vector，而且那些模板將對動態分配數組的需要減少到幾乎為零。例如，這里，AddressLines 可以被定義為一個 string 的 vector，也就是說，類型為 vector<string>。

　　Things to Remember

　　·如果你在 new 表達式中使用了 []，你必須在對應的 delete 表達式中使用 []。如果你在 new 表達式中沒有使用 []，你也不必在對應的 delete 表達式中不使用 []。

posted on 2007-09-20 22:55 isabc 閱讀(654) 評論(0) 編輯收藏引用所屬分類: C++基礎

只有注冊用戶登錄后才能發表評論。


相關文章: C/C++中Static的作用詳述變長結構體 BOOL和bool的區別數據結構復習筆記堆和棧的區別在哪里？用static聲明的函數和變量小結[轉] vc數據類型轉換大全 More Effective C++：指針與引用的區別堆、棧及靜態數據區詳解 DllMain詳解

網站導航: 博客園 IT新聞 BlogJava 博問 Chat2DB 管理

青青草原综合久久大伊人导航_色综合久久天天综合_日日噜噜夜夜狠狠久久丁香五月_热久久这里只有精品