c++ - 模板类中的枚举类重载operator <<

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都失败，并显示类似的错误消息。

两个注意事项:

如果我将枚举类更改为纯枚举，则代码可以正常编译。

如果我将operator<<重载专门用于T = int，则代码也可以正常编译。

我想念什么？

Answer 1

您的运算符模板无法推断出T，因为它在::之前使用(请考虑对S类型进行特化S::E可能会做什么)。使用无范围的枚举时，您将通过隐式转换为整数来获得标准重载之一。

这里常用的方法是将运算符定义为(非模板) friend 。然后，重载解析(而不是模板自变量推导)负责在它们之间进行选择。