Виртуальные функции-операции и friend'ы

[megachuhancer]

Такая проблема. Попробую изобразить схематично.
Есть базовый абстрактный класс и куча производных. В базовом классе есть перегруженные операции. Типа такого:

сlass T {
public:
   virtual T& operator+=(const T&) = 0;
   virtual T& operator-=(const T&) = 0;
   ...
}

Есть также производные классы T1, T2...(например)
Для каждого из них определены friend'ы типа такого. Причём все они работают по одинаковой схеме.

T1 operator+(const T& a, const T& b) { 
   T1 tmp(a);
   tmp += b;
   return tmp;
}

И так для каждого производного класса. Код по сути отличается только возвращаемым типом. Хотелось бы не повторять этот код каждый раз для каждого нового класса. Возвращать ссылку на временный объект нельзя. Экземпляры абстрактного класса вернуть тоже нельзя(впрочем, так и задумывалось). В то же время если возвращать объекты конкретных типов всё хорошо работает потому что в функцию мы можем их передать в параметр типа const T&. Но получается много повторяющегося кода.

Подскажите пожалуйста, как решить такую проблему.

[onewho]

T1 operator+(const T& a, const T& b)
вы не описались в этой строчке?
экземпляров Т нельзя же создать.

по сабжу: возникают мысли создать класс шаблон, содержащий арифм операции, и пусть этот класс буду наследовать ваши классы Т1..Тn с нужны аргументом в <>, попробывал реализовать -но неуспешно.

если решите - отпишитесь - интересно.

[alex_x_x]

Сообщение от onewho

T1 operator+(const T& a, const T& b)
вы не описались в этой строчке?
экземпляров Т нельзя же создать.

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

по поводу шаблона позже отпишусь

[alex_x_x]

можно объявить

template<class _T>
_T operator+(const T& a, const T& b) { 
   _T tmp(a);
   tmp += b;
   return tmp;
}

и

friend T1 operator+<T1>(const T& a, const T& b);

будет комппилябельно, но на месте расползется
специализировать шаблон как и функцию по выходному значению - сомнительная идея

ну самое тупое - написать макрос ;d

[n@sok]

Сообщение от onewho

T1 operator+(const T& a, const T& b)
вы не описались в этой строчке?
экземпляров Т нельзя же создать.

а кто и где их тут создает?

Сообщение от alex_x_x

friend T1 operator+<T1>(const T& a, const T& b);

будет комппилябельно

Разве компилятор не будет против, ведь функции с одинаковыми передаваемыми параметрами, различающие только типом возвращаемого значения перегружать нельзя, иначе компилятор не сможет определить какую из них нужно вызывать в данном месте.

[alex_x_x]

Сообщение от n@sok

Разве компилятор не будет против, ведь функции с одинаковыми передаваемыми параметрами, различающие только типом возвращаемого значения перегружать нельзя, иначе компилятор не сможет определить какую из них нужно вызывать в данном месте.

так в принципе на этом дело и остановилось