重载 new 运算符和继承

Question

我知道这也许不是世界上最好的设计，但我对答案很感兴趣 没有任何实际原因。

假设我有这两个具有重载新方法的类：

class Base {
public:
operator void* new(size_t);
};

class Child : public Base {
public:
operator void* new(size_t); //THIS, i would like this to be the "original" new.
};

operator void* Base::new(size_t) {
//...
return new Child;
//...
}

我希望 Child::new 像原来的 new 一样工作，所以我可以避免使用 malloc。

有办法吗？

先谢谢了！

Answer 1

这不是一个正确的设计。 operator new 函数应该是 返回原始内存，而不是构造的对象。如果您的目标是 调用new Base 实际上创建一个新的Child，它不能 用 C++ 完成；通常的解决方案是在 Base;例如：

class Base
{
    //  Ban the expression `new Base`...
    void* operator new(size_t);
protected:
    virtual ~Base();  //  Ban instances on the stack.

public:
    static Base* create(/*...*/);
    //  ...
};

然后在源文件中：

class Child : public Base
{
    //  ...
};

Base* Base::create(/*...*/)
{
    return ::new Child(/*...*/);
}

（请注意，私人operator new 并没有完全禁止客户端代码 避免使用new 运算符，因为总是可以写成::new Base。）

除了声明一个私有的operator new来禁止直接分配， operator new 成员的唯一用途是从 特定池；在这种情况下，您还需要一个成员operator delete 函数将它们释放到池中。

Answer 2

您始终可以使用语法访问 global operator new

return ::operator new( sizeof Child );

注意一元作用域运算符。此语法忽略任何类和命名空间成员，并且可以在 Base::operator new 或 Child::operator new 中使用。

要在不使用类/命名空间成员的情况下分配和初始化对象，请使用

::new Child

除此之外……是的，成员operator new 通常是一种严重的代码气味。