fonction d'ami dans la définition de modèle

Question

Ma question est un peu liée à this un.

Je veux surcharger l'opérateur < < pour une classe et j'ai trouvé deux notations différentes que les deux de travail:

template <class T> 
class A{ 
    T t; 
public: 
    A(T init) : t(init){} 
    friend ostream& operator<< <> (ostream &os, const A<T> &a); //need forward declaration 
    //template <class U> friend ostream& operator<< (ostream &os, const A<U> &a); 
}; 

-je définir des choses identiques avec différentes notations? Ou est la première version plus restrictive dans quelle instance (dans ce cas seulement l'instance avec le même T que ma classe A) de < < est ami de A?

Answer 1

La première version limite l'amitié au operator<< pour le type spécifique A<T>, tandis que le second fait une operator<< qui prend un A<SomeType> un ami.

Alors oui, la première est plus restrictive:

template<class T> 
ostream& operator<< (ostream& os, const A<T>& a) { 
    A<double> b(0.0); 
    b.t; // compile error with version 1, fine with version 2 
    return os; 
} 

int main() { 
    A<int> a(0); 
    cout << a << endl; 
} 

Answer 2

Il se trouve que la définition des fonctions d'ami ont une exception pour les modèles. Il vous permet d'écrire ceci:

template <class T> 
class A{ 
    T t; 
public: 
    A(T init) : t(init){} 
    friend ostream& operator<<(ostream &os, const A &a) 
    { // Implementation in the class 
    } 
}; 

Et il a l'avantage de créer une fonction normale automatiquement créée pour chaque instance de A<T> vous créez.

Pour la référence: http://www.parashift.com/c++-faq-lite/templates.html#faq-35.16