перегрузка new

[f.hump]

Вопрос: почему new не может быть виртуальным или даже абстрактным, так чтоб его наследовать?
В целом, конечно, я догадываюсь, что он статический, но все таки, можно ли что-то придумать?
Писать одно и тоже в каждом наследнике - лень.

[_Bers]

Сообщение от f.hump

Вопрос: почему new не может быть виртуальным или даже абстрактным, так чтоб его наследовать?
в целом, конечно, я догадываюсь, что он статический, но все таки, можно ли что-то придумать?
Писать одно и тоже в каждом наследнике лень

Переопределение operator new достаточно ответственная операция.И поэтому, есть смысл инкапсулировать её где-то в одном месте.Что бы упростить контроль за операцией выделения памяти:

struct IFace
{
   ~IFace(){}
   IFace* Clone()const=0;
   //вот здесь можно переопределить оператор new
   template<class T> T* New_Operation(const T& src){return new T(src);}
   template<class T> T* New_Operation(){ return new T(); }
};

struct Derrived1: IFase
{
   IFace* Clone()const { return New_Operation<Derrived1>(); }
};
struct Derrived2: IFase
{
   IFace* Clone()const { return New_Operation<Derrived2>(); }
};

Потомки реализуют только метод Clone, а точка контроля за памятью - в классе IFase

[Пепел Феникса]

а я вот проблемы не понял, new же наследуется помоему.

[f.hump]

держать в одном месте - это, да.

только, если я правильно понимаю, в предложенной записи New_Operation не будет вызывать new, написанный для IFace, он будет вызывать new<T>. Собственно это и есть проблема - лень писать new<T> для каждого Т.




так или иначе, прийдется просто проверить. может просто туплю по теме наследования new.

[waleri]

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

Унаследуйте все ваши T от одного родителя и переопределите new в этом родителе. Либо просто переопределите new глобальное.

В чем собственно проблема?

[still_alive]

Сообщение от f.hump

Вопрос: почему new не может быть виртуальным или даже абстрактным, так чтоб его наследовать?
В целом, конечно, я догадываюсь, что он статический, но все таки, можно ли что-то придумать?
Писать одно и тоже в каждом наследнике - лень.

А он наследуется, все норм. Кстати несмотря на то, что он статический, его поведение в принципе вполне себе виртуально, если разработчик знает, как работает виртуальный деструктор.

[f.hump]

В чем собственно проблема?

видимо туплю.
думал про new, как про некий особый метод.