Конкретный экземпляр экземпляра оператора для конкретного оператора

Question

У меня есть шаблон шаблона и шаблон оператора, которому необходимо получить доступ к его частному полю. Я могу сделать друг шаблона:

template <typename T> 
class A { 
    int x; 
    template <typename U> 
    friend bool operator==(const A<U>& a, const A<U>& b); 
}; 

template <typename T> 
bool operator== (const A<T>& a, const A<T>& b) { 
    return a.x == b.x; 
} 

int main() { 
    A<int> x, y; 
    x == y; 
    return 0; 
} 

Но это можно сделать только operator==<T> друг для A<T> и не делает operator==<int> друга A<double>?

Answer 1

Если у вас возникли проблемы с friend, введите объявление вперед, прежде чем будет определен класс A.

template <typename T> 
bool operator== (const A<T>& a, const A<T>& b); 

Тогда вы можете friend его более четко. Полное решение (ideone):

template <typename T> 
class A; 

// declare operator== early (requires that A be introduced above) 
template <typename T> 
bool operator== (const A<T>& a, const A<T>& b); 

// define A 
template <typename T> 
class A { 
    int x; 
    // friend the <T> instantiation 
    friend bool operator==<T>(const A<T>& a, const A<T>& b); 
}; 

// define operator== 
template <typename T> 
bool operator== (const A<T>& a, const A<T>& b) { 
    return a.x == b.x; 
} 

Answer 2

Да, вы можете. Синтаксис выглядит следующим образом:

template <typename T> 
class A { 
    int x; 
    friend bool operator==<>(const A& a, const A& b); 
}; 

И поставить operator== определение (или просто заявление) до A класса.