[原創文章歡迎轉載，但請保留作者信息]
Justin 于 2010-06-15
在item16和17里大師曾經介紹過，一個new的過程大致分兩步：
?? - 申請內存
?? - 調用構造函數構造新對象
如果第一步成功而第二步失敗，一個成熟的系統應該能回撤第一步，釋放剛分配的內存空間。
如果第一步用的是普通的new函數，C++是能夠找到與之匹配的delete函數的。
//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();
而如果用的是非常規的new函數，情況就不一樣了。這里說的“非常規new”，指的是placement new。
這里說的placement new指的是除去size_t參數外，還包含了其他的參數的new函數。
?? 最原始的placement new版本在C++的new庫中：
void*?operator?new(std::size_t,?void?*pMemory)?throw();
?? 比較常見的用途是申請一大批內存放在某個vector中，到需要分配內存的時候用該placement new指定在某個地址開始申請內存。
在調用placement new的過程中，一旦第二步出錯，系統依照慣例會用一個delete來釋放內存，不過因為這次new的方式不同尋常，也就需要一個不同尋常的delete來釋放。
系統需要的是一個參數類型、個數都一致的delete，placement delete來釋放由那個placement new鼓搗出來的內存空間。
如果找不到……對不起，內存泄漏。
但是有一點需要注意的是：如果使用了placement new，除了要寫好與之對應的placement delete外，還要再寫一個“常規”的delete函數。
因為對于delete而言，placement delete是在當placement new遇見失敗異常時釋放新近分配的內存用的；“常規”的delete則是用于正常途徑的delete。如下的語句，是不會調用placement delete的。
delete?aObject;
最后要提的一點是：注意不同名字域中的名字覆蓋/隱藏。
如果在某個類中只聲明了一個placement new，那么用戶就無法使用全局范圍的默認new函數；如果子類中只聲明了一個placement new，那么父類的另外形式的new函數就會被隱藏。如何做到透明的使用所有可能的new/delete？
直接粘貼大師的代碼吧，一來是這個已經很直接沒有必要再另做消化，二來我感冒了……
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
??//..
};