前景: widget *pw = new Widget ; delete pw;
两个函数被调用:一个是用以分配内存的operator new,一个是widget 的default 构造函数。
如果第一个成功,第二个函数抛出异常,会引起内存泄露。
定义
办法是:对new 使用placement new.
placement new: operator new 接受的参数除了一定会有的那个size_t 之外还有其他。
如: void * operator new (std::size_t,void *ptr) throw ();
placement delete: operator delete 接受额外参数。 //只有placement new调用被触发的构造函数有异常时,才被调用。
如:void operator delete (void *pmemory,void *ptr ) throw();
必须提供一个正常的operator delete(用于构造期间无任何异常被抛出)和一个placement版本(用于构造期间有异常被抛出)。
使用变成:
widget *pw = new (std::cerr)Widget ;
delete pw; //这个不需要改变