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

Question

У меня есть проблема с перегрузкой и наследованием операторов на C++.

Быстрый эскиз:

class A { 
public: 
    A operator+ (const A &b) const { ... } 
}; 

class B : public A { 
    ... 
}; 

Теперь предположим, что у меня есть два экземпляра B, x и y. Если я их добавлю, я получу вещь типа A, однако я хочу, чтобы она была типа B.

Каков наилучший способ выполнения этого (кроме переопределения их в классе B)? CRTP?

Answer 1

Вы можете реализовать operator+ вне класса в качестве шаблона:

template<class type> type operator+(const type& left, const type& right) 
{ 
    type toReturn; 
    toReturn.value = left.value + right.value; 
    return toReturn; 
} 

class A { 
private: 
    int value; 

    template <class type> 
    friend type operator+<type>(const type& left, const type& right); 
}; 

class B : public A { 
}; 

int main() 
{ 
    B test1, test2; 

    B test3 = test1 + test2; 
} 

Этого подход имеет определенную понижающую сторону. Компилятор будет агрессивно пытаться создать экземпляр шаблона operator+ для типов, которые вы не хотите определять operator+, поэтому имейте это в виду.