内部类全局重载==友元运算符无法访问，编译报错求解

问题场景 #

定义了包含内部类的模板结构体has_friend_operator，尝试为内部类全局重载==运算符，但MSVC、clang++、g++均报错，提示未定义针对has_friend_operator<int>::inner的==运算符。

原代码 #

#include <iostream>

using namespace std;

template<typename T>
struct has_friend_operator;

template<typename T>
bool operator ==( typename has_friend_operator<T>::inner const &, typename has_friend_operator<T>::inner const & ) noexcept;

template<typename T>
struct has_friend_operator
{
    struct inner
    {
        template<typename T>
        friend bool (::operator ==)( typename has_friend_operator<T>::inner const &, typename has_friend_operator<T>::inner const & ) noexcept;
    };
};

template<typename T>
bool operator ==( typename has_friend_operator<T>::inner const &, typename has_friend_operator<T>::inner const & ) noexcept
{
    return true;
}

int main()
{
    has_friend_operator<int>::inner a, b;
    a == b;
}

编译器错误信息（MSVC） #

binary '==': 'has_friend_operator::inner' does not define this operator or a conversion to a type acceptable to the predefined operator

问题核心：模板参数推导失败 #

全局operator==的参数是typename has_friend_operator<T>::inner，这属于C++中的非推导上下文——编译器无法从实参has_friend_operator<int>::inner反向推导出模板参数T。也就是说，当你写a == b时，编译器找不到匹配的operator==重载，因为它无法确定要实例化哪个版本的模板operator==。

而如果直接为has_friend_operator本身重载==，参数是has_friend_operator<T>，这个类型可以直接推导模板参数T，因此能正常匹配重载。

解决方法 #

方法1：将operator==定义为内部类的友元并直接实现 #

在inner结构体内部直接定义友元operator==，此时函数与当前T绑定，无需模板参数推导：

#include <iostream>

using namespace std;

template<typename T>
struct has_friend_operator
{
    struct inner
    {
        friend bool operator==(const inner&, const inner&) noexcept
        {
            return true;
        }
    };
};

int main()
{
    has_friend_operator<int>::inner a, b;
    a == b; // 正常编译
}

方法2：显式关联友元与模板特化 #

如果需要在外部定义operator==，可以通过operator==<>明确指定友元是对应T的模板特化，避免推导问题：

#include <iostream>

using namespace std;

template<typename T>
struct has_friend_operator;

template<typename T>
bool operator==(const typename has_friend_operator<T>::inner&, const typename has_friend_operator<T>::inner&) noexcept;

template<typename T>
struct has_friend_operator
{
    struct inner
    {
        // 声明友元为当前T对应的operator==特化版本
        friend bool operator==<>(const inner&, const inner&) noexcept;
    };
};

template<typename T>
bool operator==(const typename has_friend_operator<T>::inner&, const typename has_friend_operator<T>::inner&) noexcept
{
    return true;
}

int main()
{
    has_friend_operator<int>::inner a, b;
    a == b; // 正常编译
}

内容的提问来源于stack exchange，提问作者Edison von Myosotis