条款52：写了placement new也要写placement delete

      当你在写一个new表达式像这样:     

      Widget* new_widget = new Widget;

      共有两个函数被调用:一个是用以分配内存的operator new,一个是Widget的default构造函数.那么假设我们现在遇到的情况是:第一个函数调用成功,第二个函数却抛出异常.按照常理,在步骤一中所分配的内存必须取消,否则就会造成内存泄露.而在这个时候客户已经没有能力归还内存了,因为手上没有指向这块内存的指针,故此任务就落到了C++运行期系统身上.

      当你只使用正常形式的new和delete,运行期系统毫无问题可以找出那个'知道如何取消new所作所为并恢复旧观'的delete.当你开始声明非正常形式的operator new,即就是附加参数的operator new,问题就出来了。

1、运行期系统寻找'参数个数和类型都与operator new相同'的某个operator delete.

2、placement delete只有在'伴随placementnew调用而触发的构造函数'出现异常时才会被调用.对着一个指针施行delete绝不会导致调用placement delete.

3、如果你在class内声明任何operator news,它会遮掩上述这些标准形式.除非你的意思就是要阻止class的客户使用这些形式,否则请确保它们在你所生成的任何定制型operator new之外还可用.对于每一个可用的operator new也请确定提供对应的operator delete.

struct StandardNewDeleteForms{ //normal new/delete static void* operator new(std::size_t size)throw(std::bad_alloc) { return ::operator new( size ); } static void operator delete(void* memory) throw() { ::operator delete( memory ); } //placement new/delete static void* operator new(std::size_t size,void* pointer)throw() { return ::operator new( size, pointer );} static void operator delete(void* memory,void* pointer)throw() { return ::operator delete( memory, pointer ); } //nothrow new/delete static void* operator new(std::size_t size,const std::nothrow_t& no_throw)throw() { return ::operator new( size, no_throw ); } static void operator delete(void* memory,const std::nothrow_t&)throw() { ::operator delete( memory ); } }; //凡是想自定形式扩充标准形式的客户,可利用继承机制及using声明式(Item 33)取得标准形式: struct Widget:public StandardNewDeleteForms{ using StandardNewDeleteForms::operator new; using StandardNewDeleteForms::operator delete; static void* operator new(std::size_t size, std::ostream& log_stream) throw(std::bad_alloc); static void operator delete(void* memory,std::ostream& log_stream) throw(); ... };