被無視的伊謝爾倫

?

const ? int ?BUF? = ? 512 ?;

class ?JustTesting
{
???? private :
????????JustTesting( const ? string ? & ?s? = ? " Just?Testing " , int ?n? = ? 0 )
???????? {} ?
???????? ~ JustTesting() {}
???? public :
????
} ;

int ?main()
{
???? char ? * ?buffer? = ? new ? char ?[BUF];

????JustTesting? * pc1, * pc2, * pc3, * pc4;

????pc1? = ? new ?(buffer)?JustTesting;
????pc2? = ? new ?JustTesting(? " ?Heap1? " ?,? 20 ?);

????pc3? = ? new ?(buffer? + ? sizeof ?(JustTesting))?JustTesting( " Bad?Idea " , 6 );?? // ?此處用一個JustTesging對象大小的偏移量避免pc3與pc1占用同一塊內存，因為如果類動態的為其成員分配內存，占用同一內存將會產生問題。?
????pc4? = ? new ?JustTesting( " Heap2 " , 10 )?

????

????delete?pc2;
????delete?pc4;
????delete?[]?buffer;
???? return ? 0 ;
}

以上代碼片斷中，pc1和pc3為布局new操作符來分配內存，而pc2和pc4為常規new操作符來分配內存?。
對于常規new操作符分配的內存，可以直接使用：delete?pc2; 這樣的語句操作來釋放內存。

而對于布局new操作符分配的內存就不能這樣做：delete?pc1;

因為pc1和pc3并沒有直接收到new操作符返回的地址，而是由布局操作符指向了buffer的地址，new/delete系統知道已分配的512字節塊buffer，但對布局new操作符對該內存塊做了何種處理一無所知。
另一方面，buffer的地址是用new []初始化的，因此必須使用delete[]而不是delete。
注意：即使buffer是使用new而不是new[]初始化的，delete pc1 也將釋放buffer，而不是pc1。

以上的代碼確實釋放了buffer：delete [] buffer;
但是由此產生了新的問題，它沒有為布局new操作符在該內存塊中創建的對象調用析構函數，我們只需要在析構函數中放入一段顯示語句就可以清楚的看到，程序并沒有銷毀“JustTesting”和“Bad Idea”，也就是pc1和pc3指向的對象。
那么這里就需要我們顯式的為布局new操作符創建的對象調用析構函數。正常情況下將自動調用析構函數，這是需要顯示調用析構函數的少數幾種情況之一。
顯式調用析構函數時，必須指定要銷毀的對象。由于有指向對象的指針，因此可以這樣寫：

把這段代碼放到delete [] buffer;之前，這段程序才算完整無錯。

參考書籍：C++PrimerPlus author:Stephen Prata