функция друга в определении шаблона

Question

Мой вопрос связан немного с this один.

Я хочу, чтобы перегрузить оператор < < для некоторого класса, и я нашел две разные обозначения, что и работа:

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); 
}; 

ли я определить одинаковые вещи с разными обозначениями? Или первая версия более ограничительная, в каком экземпляре (в данном случае только экземпляр с тем же T, что и мой класс A) < < является другом A?

Answer 1

Первая версия ограничивает дружбу к operator<< для конкретного типа A<T>, в то время как второй делает любой operator<<, который принимает A<SomeType> друга.

Так да, первый из них является более ограничительным:

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

Так получилось, что определение другу функций есть исключение для шаблонов. Это позволяет писать так:

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 
    } 
}; 

И он имеет преимущество создания нормальной функции автоматически создается для каждого экземпляра A<T> вы создаете.

Справочно: http://www.parashift.com/c++-faq-lite/templates.html#faq-35.16