Перегрузка нового оператора и наследование

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; 
//... 
} 

Я хотел бы Ребенок :: нового работать как оригинал новый, так что я мог избежать использования таНоса.

Есть ли способ сделать это?

Спасибо заранее!

Answer 1

Вы всегда можете получить доступ к глобальному operator new с использованием синтаксиса

return ::operator new(sizeof Child); 

Примечания унарного оператора сферы. Этот синтаксис игнорирует любые члены класса и пространства имен и будет работать либо в Base::operator new, либо в Child::operator new.

Чтобы выделить и инициализировать объект без использования членов класса/пространства имен, используйте

::new Child 

Помимо этого ... да, член operator new обычно серьезный код запах.

Answer 2

Это не правильный дизайн. Предполагается, что функция 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(/*...*/); 
    // ... 
}; 

Затем в исходном файле: (. Обратите внимание, что частный operator new не полностью запретить клиентский код с помощью оператора new, так как всегда можно написать ::new Base)

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

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

За исключением объявления приватного operator new для запрета прямого распределения, использование только operator new членов i s для распределения экземпляров из определенного пула ; в этом случае вам также нужен член operator delete , чтобы освободить их в пул.