這一次，new[]老老實實的申請了12個字節的內存，并且申請的結果與new[] operator返回的結果也是相同的，看來，是否在前面添加4個字節，只取決于這個類有沒有析構函數，當然，這么說并不確切，正確的說法是這個類是否需 要調用構造函數，因為如下兩種情況下雖然這個類沒聲明析構函數，但還是多申請了4個字節：一是這個類中擁有需要調用析構函數的成員，二是這個類繼承自需要 調用析構函數的類。于是，我們可以遞歸的定義“需要調用析構函數的類”為以下三種情況之一：

　　1 顯式的聲明了析構函數的

　　2 擁有需要調用析構函數的類的成員的

　　3 繼承自需要調用析構函數的類的

　　類似的，動態申請簡單類型的數組時，也不會多申請4個字節。于是在這兩種情況下，釋放內存時使用delete或delete[]都可以，但為養成良好的習慣，我們還是應該注意只要是動態分配的數組，釋放時就使用delete[]。

　　釋放內存時如何知道長度

　　但這同時又帶來了新問題，既然申請無需調用析構函數的類或簡單類型的數組時并沒有記錄 個數信息，那么operator delete，或更直接的說free()是如何來回收這塊內存的呢?這就要研究malloc()返回的內存的結構了。與new[]類似的是，實際上在 malloc()申請內存時也多申請了數個字節的內容，只不過這與所申請的變量的類型沒有任何關系，我們從調用malloc時所傳入的參數也可以理解這一 點--它只接收了要申請的內存的長度，并不關系這塊內存用來保存什么類型。下面運行這樣一段代碼做個實驗：

　　char *p = 0;

　　for(int i = 0; i < 40; i += 4)

　　{

　　char* s = new char[i];

　　printf("alloc %2d bytes, address=%p distance=%dn", i, s, s - p);

　　p = s;

　　}

　　我們直接來看VC2005下Release版本的運行結果，DEBUG版因包含了較多的調試信息，這里就不分析了：

　　alloc 0 bytes, address=003A36F0 distance=3815152

　　alloc 4 bytes, address=003A3700 distance=16

　　alloc 8 bytes, address=003A3710 distance=16

　　alloc 12 bytes, address=003A3720 distance=16

　　alloc 16 bytes, address=003A3738 distance=24

　　alloc 20 bytes, address=003A84C0 distance=19848

　　alloc 24 bytes, address=003A84E0 distance=32

　　alloc 28 bytes, address=003A8500 distance=32

　　alloc 32 bytes, address=003A8528 distance=40

　　alloc 36 bytes, address=003A8550 distance=40

　　每一次分配的字節數都比上一次多4，distance值記錄著與上一次分配的差值，第 一個差值沒有實際意義，中間有一個較大的差值，可能是這塊內存已經被分配了，于是也忽略它。結果中最小的差值為16字節，直到我們申請16字節時，這個差 值變成了24，后面也有類似的規律，那么我們可以認為申請所得的內存結構是如下這樣的：

　　從圖中不難看出，當我們要分配一段內存時，所得的內存地址和上一次的尾地址至少要相距8個字節(在DEBUG版中還要更多)，那么我們可以猜想，這8個字節中應該記錄著與這段所分配的內存有關的信息。觀察這8個節內的內容，得到結果如下：

　　圖中右邊為每次分配所得的地址之前8個字節的內容的16進制表示，從圖中紅線所表示可 以看到，這8個字節中的第一個字節乘以8即得到相臨兩次分配時的距離，經過試驗一次性分配更大的長度可知，第二個字節也是這個意義，并且代表高8位，也就 說前面空的這8個字節中的前兩個字節記錄了一次分配內存的長度信息，后面的六個字節可能與空閑內存鏈表的信息有關，在翻譯內存時用來提供必要的信息。這就 解答了前面提出的問題，原來C/C++在分配內存時已經記錄了足夠充分的信息用于回收內存，只不過我們平常不關心它罷了。