模板类中枚举类的重载运算符<<

Question

我似乎无法为模板类中的枚举类重载operator<< ：

#include <iostream>

template <typename T>
struct S
{
    enum class E { A, B };

    E e;
};

template <typename T>
std::ostream& operator<<(std::ostream& s, const typename S<T>::E e)
{
    return s << static_cast<int>(e);
}

int main()
{
    const S<int> s {};
    std::cerr << s.e;    // error
}

Visual Studio 2015 产生的确切错误消息是：

error C2679: binary '<<': no operator found which takes a right-hand operand of type 'const S<int>::E' (or there is no acceptable conversion)

gcc 和 clang 都失败并显示类似的错误消息。

两个注意事项：

• 如果我将枚举类更改为普通枚举，则代码编译正常。
• 如果我专门为T = int使用operator<<重载，则代码也可以很好地编译。

我错过了什么？

Answer 1

您的运算符模板无法推导出T因为它在::之前使用（考虑特化S可能对类型S::E做什么）。 使用无作用域枚举时，您将通过隐式转换为整数获得标准重载之一。

这里通常的方法是将操作符定义为（非模板）朋友。 然后重载决议，而不是模板参数推导，负责在其中进行选择。