#include <new>
#include <cstdlib>
#include <iostream>
#include <stdexcept>
struct foo {};
inline void* operator new(size_t size, foo*) throw (std::bad_alloc)
{
std::cout << "my new " << size << std::endl;
return malloc(size);
}
inline void operator delete(void* p, foo*) throw()
{
std::cout << "my delete" << std::endl;
free(p);
}
int main()
{
delete new((foo*)NULL) foo;
}
输出(通过 ideone):
my new 1
我的想法是,C++会释放一个带有附加参数的新对象,并匹配删除相同的参数,但我显然是不正确的。
获取上述代码以调用重载删除的正确方法是什么?
当你使用任何形式的放置新时,除了std::nothrow_t
版本,你需要显式销毁对象,并以你认为合适的任何方式释放它的内存。但是,operator delete()
的重载版本仍然需要存在,因为如果对象的构造引发异常,则会使用它!在这种情况下,不会返回任何指针,因为会引发异常。因此,在这个分配过程中必须摆脱内存。
也就是说,您main()
应该看起来像这样:
int main()
{
foo* p = new (static_cast<foo*>(0)) foo;
p->~foo();
operator delete(p, static_cast<foo*>(0));
}