Deklaracja przyjaciela deklaruje funkcję bez szablonu

Question

Posiadam klasę bazową zbliżoną do poniższego kodu. Próbuję przeciążać < < do użycia z cout. Jednak g ++ mówi:

base.h:24: warning: friend declaration ‘std::ostream& operator<<(std::ostream&, Base<T>*)’ declares a non-template function 
base.h:24: warning: (if this is not what you intended, make sure the function template has already been declared and add <> after the function name here) -Wno-non-template-friend disables this warning 

Próbowałem dodanie <> po < < w deklaracji klasy/prototypu. Jednak otrzymuję go does not match any template declaration. Starałem się, aby definicja operatora była w pełni szablonowana (co chcę), ale udało mi się ją uruchomić tylko z następującym kodem, z ręcznym tworzeniem operatora.

base.h

template <typename T> 
class Base { 
    public: 
    friend ostream& operator << (ostream &out, Base<T> *e); 
}; 

base.cpp

ostream& operator<< (ostream &out, Base<int> *e) { 
    out << e->data; 
return out; 
} 

Chcę po prostu mieć to lub podobne w nagłówku, base.h:

template <typename T> 
class Base { 
    public: 
    friend ostream& operator << (ostream &out, Base<T> *e); 
}; 

template <typename T> 
ostream& operator<< (ostream &out, Base<T> *e) { 
    out << e->data; 
return out; 
} 

mam przeczytaj gdzie indziej online, w którym wstawianie <> pomiędzy < < i() w prototypie powinno napraw to, ale tak nie jest. Czy mogę to zrobić w jednym szablonie funkcji?

Answer 1

Brzmi jak chcesz zmienić:

friend ostream& operator << (ostream& out, const Base<T>& e); 

Do:

template<class T> 
friend ostream& operator << (ostream& out, const Base<T>& e); 

Answer 2

zmiana

ostream& operator<< (ostream &out, Base<int> *e) { 
    out << e->data; 
    return out; 
} 

do

ostream& operator<< (ostream &out, T *e) { 
    out << e->data; 
    return out; 
} 

Answer 3

Gcc ostrzega Cię. Pomimo swoich wyglądów (wymaga to argumentu Base), nie jest szablonem funkcji.

Definicja klasy zawiera deklarację bez szablonu funkcji znajomego (bez szablonu), ale późniejsza definicja funkcji znajomego to szablon funkcji (tzn. Zaczyna się od szablonu ...).

Twój operator < < bierze podstawę *. To nie jest poprawne. Powinno być const & Baza zachować to wbudowany w semantyce

Pewnie patrzysz na coś jak poniżej:

template <typename T> 
class Base { 
    public: 
    friend ostream& operator << (ostream &out, Base<T> const &e){ 
     return out; 
    }; 
}; 

int main(){ 
    Base<int> b; 
    cout << b; 
} 

Jeśli chcesz w pełni na matrycy, to jest chyba to, co chcesz. Ale nie jestem pewien, ile jest to przydatne w porównaniu z poprzednim. Ponieważ wyszukiwanie obejmuje ADL, nigdy nie będziesz w stanie rozwiązać żadnego warunku, w którym T nie jest równe U (o ile wywołanie pochodzi z kontekstu niezwiązanego z tą klasą, np.z funkcji „main”)

template <typename T> 
class Base { 
    public: 
    template<class U> friend ostream& operator << (ostream &out, Base<U> const &e){ 
     return out; 
    }; 
}; 

int main(){ 
    Base<int> b; 
    cout << b; 
} 

Answer 4

Prawdopodobnie czego szukasz jest: tylko

template <typename T> 
class Base; 

template <typename T> 
ostream& operator<< (ostream &, const Base<T>&); 

template <typename T> 
class Base 
{ 
    public: 
    template<> 
    friend ostream& operator << <T>(ostream &, const Base<T> &); 
}; 

template <typename T> 
ostream& operator<< (ostream &out, const Base<T>& e) 
{ 
    return out << e->data; 
} 

to Przyjaciele pojedynczy instancji szablonu, ten, w którym parametr szablonu operatora dopasowuje parametr szablonu na klasę za .

AKTUALIZACJA: Niestety, jest to nielegalne. Zarówno MSVC, jak i Comeau odrzucają to. Co nasuwa pytanie, dlaczego oryginalny komunikat o błędzie sugerował DOKŁADNIE to podejście.

Answer 5

zmieniając

friend ostream& operator << (ostream& out, const Base<T>& e); 

do

friend ostream& operator << <T>(ostream& out, const Base<T>& e); 

powinny pracować, a także - po prostu rozwiązać identyczny problem w ten sposób.

Answer 6

zmieniając

friend ostream& operator << (ostream &out, Base<T> *e)` 

Aby

template<T> friend ostream& operator << (ostream &out, Base *e)