[轉]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 閱讀(653) 評論(0) 編輯 收藏 引用 所屬分類: C++基礎