オペレータのフレンド固有のテンプレートのインスタンス

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

をしかし、それはA<T>のみoperator==<T>友人を作り、A<double>のoperator==<int>友人をしていないすることは可能でしょうか？

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

そしてAクラスの前に、あなたのoperator==定義（または単に宣言）を置きます。