Co ten kod robi i dlaczego go kompiluje?

Question

Tworzę klasę Vector2 w C++ jako szablon i chcę zdefiniować operatora + jako funkcję nie będącą członkiem przyjaciela, który może po prostu dodać dwa wektory.

Jest to deklaracja przyjaciel w moim Vector2 klasy szablonu:

template <class U> 
friend Vector2<T> operator+(const Vector2<T> &lhs, const Vector2<T> &rhs); 

ten jest zawarty w pliku .hpp, ale realizacja jest w osobnym .cpp pliku:

template <class T> 
Vector2<T> operator+(const Vector2<T> &lhs, const Vector2<T> &rhs) 
{ 
    return Vector2<T>(lhs.x_ + rhs.x_, lhs.y_ + rhs.y_); 
} 

To kompiluje bez wszelkie ostrzeżenia jednak nie wydają się działać.

Vector2<int> v1(4, 3); 
Vector2<int> v2(3, 4); 

Vector2<int> v3 = v1 + v2; 

Kiedy próbuję skompilować powyższy fragment, GCC narzeka:

prog.cpp: In function ‘int main(int, char**)’: 
prog.cpp:26:28: error: no match for ‘operator+’ in ‘v1 + v2’ 

source/vector2.hpp:31:23: note: template<class U> Vector2<int> operator+(const Vector2<int>&, const Vector2<int>&) 
source/vector2.hpp:31:23: note: template argument deduction/substitution failed: 
prog.cpp:26:28: note: couldn't deduce template parameter ‘U’ 
prog.cpp:26:18: warning: unused variable ‘v3’ [-Wunused-variable] 

Co robię źle? Jak poprawnie zdefiniować operatora + dla mojej klasy szablonu?

Answer 1

Szablon dla operatora korzysta z parametru U, który nie jest używany. Podpis wykorzystuje T zamiast tego, który prawdopodobnie pochodzi z okolic klasy szablonu:

template <class U> 
friend Vector2<T> operator+(const Vector2<T> &lhs, const Vector2<T> &rhs); 

Ponieważ U nie jest używany, kompilator nie może automatycznie wywnioskować, jakiego typu powinno być i daje błąd.

Należy konsekwentnie używać parametru szablonu, umieszczać definicje dowolnych szablonów w pliku .hpp, a wszystko powinno być w porządku.

Answer 2

Kompilator wyraźnie stwierdza, na czym polega problem. Nie można wywnioskować parametru szablonu "U". Twoja deklaracja (plik .hpp) jest nieprawidłowa. Powinien być