被無(wú)視的伊謝爾倫

?

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 );?? // ?此處用一個(gè)JustTesging對(duì)象大小的偏移量避免pc3與pc1占用同一塊內(nèi)存，因?yàn)槿绻悇?dòng)態(tài)的為其成員分配內(nèi)存，占用同一內(nèi)存將會(huì)產(chǎn)生問(wèn)題。?
????pc4? = ? new ?JustTesting( " Heap2 " , 10 )?

????

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

以上代碼片斷中，pc1和pc3為布局new操作符來(lái)分配內(nèi)存，而pc2和pc4為常規(guī)new操作符來(lái)分配內(nèi)存?。
對(duì)于常規(guī)new操作符分配的內(nèi)存，可以直接使用：delete?pc2; 這樣的語(yǔ)句操作來(lái)釋放內(nèi)存。

而對(duì)于布局new操作符分配的內(nèi)存就不能這樣做：delete?pc1;

因?yàn)閜c1和pc3并沒(méi)有直接收到new操作符返回的地址，而是由布局操作符指向了buffer的地址，new/delete系統(tǒng)知道已分配的512字節(jié)塊buffer，但對(duì)布局new操作符對(duì)該內(nèi)存塊做了何種處理一無(wú)所知。
另一方面，buffer的地址是用new []初始化的，因此必須使用delete[]而不是delete。
注意：即使buffer是使用new而不是new[]初始化的，delete pc1 也將釋放buffer，而不是pc1。

以上的代碼確實(shí)釋放了buffer：delete [] buffer;
但是由此產(chǎn)生了新的問(wèn)題，它沒(méi)有為布局new操作符在該內(nèi)存塊中創(chuàng)建的對(duì)象調(diào)用析構(gòu)函數(shù)，我們只需要在析構(gòu)函數(shù)中放入一段顯示語(yǔ)句就可以清楚的看到，程序并沒(méi)有銷毀“JustTesting”和“Bad Idea”，也就是pc1和pc3指向的對(duì)象。
那么這里就需要我們顯式的為布局new操作符創(chuàng)建的對(duì)象調(diào)用析構(gòu)函數(shù)。正常情況下將自動(dòng)調(diào)用析構(gòu)函數(shù)，這是需要顯示調(diào)用析構(gòu)函數(shù)的少數(shù)幾種情況之一。
顯式調(diào)用析構(gòu)函數(shù)時(shí)，必須指定要銷毀的對(duì)象。由于有指向?qū)ο蟮闹羔槪虼丝梢赃@樣寫：

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

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