[原創(chuàng)文章歡迎轉(zhuǎn)載，但請(qǐng)保留作者信息]
Justin 于 2010-06-15
在item16和17里大師曾經(jīng)介紹過，一個(gè)new的過程大致分兩步：
?? - 申請(qǐng)內(nèi)存
?? - 調(diào)用構(gòu)造函數(shù)構(gòu)造新對(duì)象
如果第一步成功而第二步失敗，一個(gè)成熟的系統(tǒng)應(yīng)該能回撤第一步，釋放剛分配的內(nèi)存空間。
如果第一步用的是普通的new函數(shù)，C++是能夠找到與之匹配的delete函數(shù)的。
//normal?form?of?new?operator
void*?operator?new(std::size_t)?throw(std::bad_alloc);
//is?matched?with?the?global?one
void?operator?delete(void?*rawMemory)?throw();
//or?the?class-scope?one
void?operator?delete(void*?rawMemory,?std::size_t?size)?throw();
而如果用的是非常規(guī)的new函數(shù)，情況就不一樣了。這里說的“非常規(guī)new”，指的是placement new。
這里說的placement new指的是除去size_t參數(shù)外，還包含了其他的參數(shù)的new函數(shù)。
?? 最原始的placement new版本在C++的new庫中：
void*?operator?new(std::size_t,?void?*pMemory)?throw();
?? 比較常見的用途是申請(qǐng)一大批內(nèi)存放在某個(gè)vector中，到需要分配內(nèi)存的時(shí)候用該placement new指定在某個(gè)地址開始申請(qǐng)內(nèi)存。
在調(diào)用placement new的過程中，一旦第二步出錯(cuò)，系統(tǒng)依照慣例會(huì)用一個(gè)delete來釋放內(nèi)存，不過因?yàn)檫@次new的方式不同尋常，也就需要一個(gè)不同尋常的delete來釋放。
系統(tǒng)需要的是一個(gè)參數(shù)類型、個(gè)數(shù)都一致的delete，placement delete來釋放由那個(gè)placement new鼓搗出來的內(nèi)存空間。
如果找不到……對(duì)不起，內(nèi)存泄漏。
但是有一點(diǎn)需要注意的是：如果使用了placement new，除了要寫好與之對(duì)應(yīng)的placement delete外，還要再寫一個(gè)“常規(guī)”的delete函數(shù)。
因?yàn)閷?duì)于delete而言，placement delete是在當(dāng)placement new遇見失敗異常時(shí)釋放新近分配的內(nèi)存用的；“常規(guī)”的delete則是用于正常途徑的delete。如下的語句，是不會(huì)調(diào)用placement delete的。
delete?aObject;
最后要提的一點(diǎn)是：注意不同名字域中的名字覆蓋/隱藏。
如果在某個(gè)類中只聲明了一個(gè)placement new，那么用戶就無法使用全局范圍的默認(rèn)new函數(shù)；如果子類中只聲明了一個(gè)placement new，那么父類的另外形式的new函數(shù)就會(huì)被隱藏。如何做到透明的使用所有可能的new/delete？
直接粘貼大師的代碼吧，一來是這個(gè)已經(jīng)很直接沒有必要再另做消化，二來我感冒了……
class?StandardNewDeleteForms?{
public:
??//?normal?new/delete
??static?void*?operator?new(std::size_t?size)?throw(std::bad_alloc)
??{?return?::operator?new(size);?}
??static?void?operator?delete(void?*pMemory)?throw()
??{?::operator?delete(pMemory);?}
??//?placement?new/delete
??static?void*?operator?new(std::size_t?size,?void?*ptr)?throw()
??{?return?::operator?new(size,?ptr);?}
??static?void?operator?delete(void?*pMemory,?void?*ptr)?throw()
??{?return?::operator?delete(pMemory,?ptr);?}
??//?nothrow?new/delete
??static?void*?operator?new(std::size_t?size,?const?std::nothrow_t&?nt)?throw()
??{?return?::operator?new(size,?nt);?}
??static?void?operator?delete(void?*pMemory,?const?std::nothrow_t&)?throw()
??{?::operator?delete(pMemory);?}
};
class?Widget:?public?StandardNewDeleteForms?{???????????//?inherit?std?forms
public:
???using?StandardNewDeleteForms::operator?new;??????????//?make?those
???using?StandardNewDeleteForms::operator?delete;???????//?forms?visible
???static?void*?operator?new(std::size_t?size,??????????//?add?a?custom
?????????????????????????????std::ostream&?logStream)???//?placement?new
?????throw(std::bad_alloc);
???static?void?operator?delete(void?*pMemory,???????????//?add?the?corres-
???????????????????????????????std::ostream&?logStream)?//?ponding?place-
????throw();????????????????????????????????????????????//?ment?delete
??//..
};