c++ - 运算符的 friend 特定模板实例化

Question

我有一个类模板和一个需要访问其私有(private)字段的运算符模板。我可以交一个模板 friend :

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> friend A<T>而不是制作operator==<int> A<double>的 friend ？

Answer 1

如果 friend 有问题，则在定义 A 类之前提出声明。

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

然后你就可以更清楚地加好友了。完整解决方案(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;
}