c++ - 使用参数覆盖删除

Question

我可以用不同的参数覆盖全局 operator new，例如我可以:

void* operator new (std::size_t size) throw (std::bad_alloc);
void* operator new (std::size_t size, int num) throw (std::bad_alloc);

可以单独调用为

int* p1 = new int; // calls new(size_t)
int* p2 = new(5) int; // calls new(size_t, int)

因为它们中的每一个都可能使用一些不同的分配方案，所以我需要为每个单独的 delete() 函数。但是，delete(void*) 不能用同样的方式重载! delete(void*) 是唯一有效的签名。那么如何处理上述情况呢？

附言我并不是说这是个好主意。这种事情发生在我身上，所以我在 c++ 中发现了这个“缺陷”(至少在我看来)。如果语言允许 new 覆盖，它必须允许 delete 覆盖，否则它将变得无用。所以我想知道是否有办法解决这个问题，而不是这是否是个好主意。

Answer 1

I can override global operator new with different parameters

这些被称为布局分配函数。

delete(void*) is the only valid signature.

没有。

首先，一些术语:delete 表达式，例如 delete p 不仅仅是一个函数调用，它会调用析构函数，然后调用一个释放函数，这是由重载决议选择的 operator delete 的一些重载。

您可以使用签名覆盖operator delete以匹配您的放置分配函数，但是只有在调用的构造函数时才会使用重载placement new 表达式抛出异常，例如

struct E {
    E() { throw 1; }
};

void* operator new(std::size_t n, int) throw(std::bad_alloc) { return new char[n]; }
void operator delete(void* p, int)  { std::puts("hello!"); delete[] (char*)p; }

int main()
{
    try {
        new (1) E;
    } catch (...) {
        puts("caught");
    }
}

放置释放函数匹配使用的放置新表达式的形式(在本例中它有一个int参数)被重载解析找到并被调用以释放贮存。

因此您可以提供“放置删除”功能，只是不能显式调用它们。您需要记住如何分配对象并确保使用相应的释放。