c++ - 内部类模板的非成员运算符重载

Question

我更喜欢在单独的文件中编写类和函数模板的定义，该文件自动包含在“public” header 之后。但是，我遇到了一个有趣的案例，我似乎无法做到这一点。

template <typename T>
class Outer
{
public:
    template <typename U>
    class Inner
    {
        friend bool operator ==(const Inner& lhs, const Inner& rhs);
    };
};

using Type = Outer<int>::Inner<short>;

int main()
{
    Type a;
    Type b;
    a == b;
}

是否可以单独编写适用于任何 T 和 U 的 operator== 的定义？

Answer 1

对于特定的特化，是的:

template <typename T>
class Outer
{
public:
    template <typename U>
    class Inner
    {
        int x = 42;
        friend bool operator ==(const Inner& lhs, const Inner& rhs);
    };
};

using Type = Outer<int>::Inner<short>;

bool operator ==(const Type& lhs, const Type& rhs) {
    return lhs.x == rhs.x;
}

int main()
{
    Type a;
    Type b;
    a == b;
}

在您的示例中，模板的每个特化都与一个非模板函数成为 friend ，该函数将特定特化作为参数。您可以在类里面定义这个函数(然后每次实例化模板时它都会被淘汰)，或者您可以在类外定义它 - 但是您必须为您使用的每个特化定义一个。