用于强类型枚举的模板化运算符

Question

我有两个基础类型为uint32_t 的枚举。我需要他们的 constexpr OR 运算符，因为一些成员应该与其他成员的 OR 结果一致。我想避免两次或多次实现运算符。

所以，我尝试使用模板来实现它。

    template <enum class E>
    constexpr uint32_t operator|(const E&   left, const E& right)
    {
        return (uint32_t)left | (uint32_t)right;
    }

    template <enum class E>
    constexpr uint32_t operator|(const uint32_t& left, const E& right)
    {
        return left | (uint32_t)right;
    }

    enum class U32Enum1 : uint32_t { 
        OtherMember1 = 0x01L,
        OtherMember2 = 0x02L,
        SomeOfMember = OtherMember1 | OtherMember2 // Not work
    }

    enum class U32Enum2 : uint32_t {
        OtherMember1 = 0x01L,
        OtherMember2 = 0x02L,
        SomeOfMember = OtherMember1 | OtherMember2 // Not work    
    }

但是，它不起作用，编译器给了我一条消息，指出运算符 | 没有匹配的操作数。我怎样才能做到这一点？

Answer 1

template <enum class E> 不是很好的语法，你可以这样做：

template <class E, std::enable_if_t<std::is_enum<E>::value, int> = 0>
constexpr E operator|(const E&   left, const E& right)
{
    return static_cast<E>((uint32_t)left | (uint32_t)right);
}

使用底层类型会更好：

template <class E, std::enable_if_t<std::is_enum<E>::value, int> = 0>
constexpr E operator|(const E&   left, const E& right)
{
    using T = typename std::underlying_type<E>::type;
    return static_cast<E>(static_cast<T>(left) | static_cast<T>(right));
}