c++ - 如何使枚举类与“位或”功能一起使用？

Question

我通常使用enum'位或'或|一起来允许一个对象有一些选项。如何使枚举类与“位或”功能一起使用？

Answer 1

您需要重载枚举类的运算符并通过转换为基础类型来实现它们：

enum class foo : unsigned {
    bar = 1,
    baz = 2
};

foo operator |(foo a, foo b) {
    return static_cast<foo>(static_cast<unsigned>(a) | static_cast<unsigned>(b));
}

……当然这可以概括（使用 SFINAE 和std::underlying_type）。在我看来，C++ 没有提供开箱即用的功能是一种疏忽。

以下是一般实现的样子：

// Intentionally undefined for non-enum types.
template <typename T, bool = std::is_enum<T>::value>
struct is_flag;

template <typename T>
struct is_flag<T, true> : std::false_type { };

template <typename T, typename std::enable_if<is_flag<T>::value>::type* = nullptr>
T operator |(T lhs, T rhs) {
    using u_t = typename std::underlying_type<T>::type;
    return static_cast<T>(static_cast<u_t>(lhs) | static_cast<u_t>(rhs));
}

// … same for `&`, `~`. And maybe functions like `isset`, `set` and `unset`.

此实现确保仅在实际充当标志的枚举中找到重载。要将枚举标记为标志，您需要专门化is_flag：

enum class a_flag : unsigned {
    foo = 0,
    bar = 1,
    baz = 2
};

template <> struct is_flag<a_flag> : std::true_type { };