我想定义自己的展示位置new和展示位置删除(采取额外的参数),我发现我可以正确调用展示位置,而我无法访问展示位置删除。谁能告诉我是否错误地定义了展示位置删除或我错误地调用了它?
class A
{
public:
A( int a ) : a(a){}
static void* operator new( std::size_t, int ); // the placement new
static void operator delete( void*, int )throw(); // the corresponding placement delete
private:
int a;
};
void* A::operator new( std::size_t size, int n )
{
std::cout << "size: " << size << " " << "n: " << n << std::endl;
return ::operator new(size);
}
void A::operator delete( void* p, int n )throw()
{
std::cout << "n: " << n << std::endl;
::operator delete(p);
}
int main( int argc, char* argv[] )
{
A* a = new(10) A(100);
std::cout << std::endl;
delete(4) a; // error???????????????????, but how?
return 0;
}
答案 0 :(得分:4)
展示位置delete
仅用于处理在评估展示位置new
表达式期间发生的异常。如果构造成功完成,则稍后将使用正常delete
。
您可以显式调用放置释放函数,但它不会与delete
运算符具有相同的行为(它不会自动调用析构函数)。
在您的情况下,相应的代码将是:
a->~A();
A::operator delete(a, 4);
呸!
对于数组,它更糟糕,因为您无法从编译器存储的位置检索元素的数量(以及要调用的析构函数的数量),以供自己使用。
设计重载的operator new
,使其与单参数operator delete
正确配对。然后,您班级的用户可以使用delete ptr;
和std::unique_ptr
等。
如果确实需要自定义重新分配,那么返回带有自定义删除器的std::shared_ptr
的分配包装器将比新的自定义放置更好。