Memory Management

Use the same form in corresponding uses of new and delete

對應的new和delete要採用相同的形式

用new operator時會發生兩件事：首先，記憶體通過operator new被分配；然後，為被分配的記憶體呼叫一個或多個建構函式。

用delete operator時也會發生兩件事：首先，為將釋放的記憶體呼叫一個或多個解構函式；然後，通過operator delete釋放記憶體。

對於delete operator來說會有這樣一個重要的問題：記憶體中有多少個物件需要被刪除呢？刪除多了，程式也就崩潰了；刪除少了，就有記憶體未被正確釋放。這個問題簡單來說就是：要被刪除的指標指向是單個物件，還是物件陣列？這隻有你來告訴delete

Prefer new and delete to malloc and free

malloc和free（及其變體）會產生問題的原因在於它們太簡單：他們不知道建構函式和解構函式。（有時越簡單越好。）

假設用兩種方法給一個包含10個string物件的陣列分配空間，一個用malloc，另一個用new：

其結果是，stringarray1確實指向的是可以容納10個string物件的足夠空間，但記憶體裡並沒有建立這些物件。當釋放這些記憶體時，你一定會這麼做：

呼叫free將會釋放stringarray1指向的記憶體，但記憶體裡的string物件不會呼叫解構函式。如果string物件象一般情況那樣，自己已經分配了記憶體，那這些記憶體將會全部丟失。相反，當對stringarray2使用delete時，數組裡的每個string物件都會在記憶體釋放前呼叫解構函式。即然new和delete可以這麼有效地與建構函式和解構函式互動，選用它們是顯然的。

把new/delete與malloc/free混用也是個壞想法。對一個用new獲取來的指標呼叫free，或者對一個用malloc獲取來的指標呼叫delete，其後果是不可預測的。

示例程式：

  1: 
  2: #include <iostream>
 
  3: using namespace std;
  4: 
  5: class CTest
  6: {
  7: public:
  8:     CTest() { cout<<"Default constructor."<<endl; }
  9:     ~CTest() { cout<<"Default destrcutor."<<endl; }
 10: 
 11: };
 12: 
 13: int main(int argc, char *argv[])
 14: {
 15:     cout<<"=== Test new/delete begin ==="<<endl;
 16:     CTest* pTestNewDelete = new CTest;
 17:     delete pTestNewDelete;
 18:     cout<<"=== Test new/delete end   ==="<<endl;
 19: 
 20:     cout<<"~~~ Test malloc/free begin ~~~"<<endl;
 21:     CTest* pTestMallocFree = static_cast<CTest*> (malloc(sizeof(CTest)));
 22:     free(pTestMallocFree);
 23:     cout<<"~~~ Test malloc/free end   ~~~"<<endl;
 24:     
 25:     return 0;
 26: }
 27: 

輸出：

1. Scott Meyers Effective C++