Есть шаблонный класс вектора:
template< int size, typename Type >
class Vector;
Есть шаблонный оператор для сложения двух векторов:
template< int size, typename LeftType, typename RightType >
Vector<size, ?> operator+( const Vector<size, LeftType>& left, const Vector<size, RightType>& right )
{...}
Который, по задумке, должен работать с любыми типами векторов, лишь бы они были одного размера. Чтобы можно было сложить Vector<3, int> и Vector<3, double>. Но встает вопрос - как определить результирующий тип вектора, чтобы точность не терялась?
Например для int и double логично было бы выбрать double, для int и float - float, для float и double - double. Как этого можно добиться, не прописывая шаблон для каждого случая?