вызов оператора класса-класса new

Question

Выражение operator new(sizeof(T)) выделяет T байт через ::operator new, правильно?

Есть ли способ вызвать версию класса-специфичный operator new, если она существует, именно так, как new T() выделяемой памяти (перед вызовом конструктора)?

T::operator new(sizeof(T)) дает ошибку во время компиляции, если T не определяет operator new, даже если T наследуется от базового класса, который определяет его. То, что я хотел бы назвать это:

• Foo::operator new если Foo определяет operator new
• Base::operator new если Foo происходит от Base, что определяет operator new (то, что мне делать множественное наследование?)
• ::operator new иначе

Answer 1

Стандартная библиотека решает эту проблему, используя объект, тип которого распределитель устанавливаются в качестве параметра шаблона класса, который нуждается в алгоритме настраиваемого распределения.

Я не думаю, что есть какой-либо полный способ сделать то, что вы просили, о чем уже свидетельствует ваша вторая пуля. Компилятору не удастся узнать, какой новый оператор родителя использовать, если они оба определили его.

Если вы пытаетесь реализовать, например, небольшой пул распределения объектов, который выбирает соответствующий размер/пул во время компиляции, что же касается использования автономной функции распределения шаблонов: он будет называться примерно как object_allocator<T>::allocate(), а тип шаблона будет позвольте вам выяснить размер автоматически. Вы по-прежнему не можете наследовать оператора new из-за проблемы множественного наследования, но это позволяет легко определить, как распределять память в любом классе.

Answer 2

Определите отличную статическую функцию allocate и вызовите эту функцию от T::operator new

class X { 
public: 
    static void * allocate(size_t size) { 
      //... 
    } 
    void *operator new(size_t size) { 
     return allocate(size); 
    } 
}; 

void f() { 
    void * p = X::allocate(sizeof(X)); 
    X * x = new(p) X; 
}