枚举重载运算符 | constexpr 和运行时

Question

我有一个预先声明的枚举：

enum class TheEnum : std::uint32_t;

后跟运算符重载：

constexpr TheEnum operator|(TheEnum const a, TheEnum const b)
{
    return TheEnum(std::uint32_t(a) | std::uint32_t(b));
}

有定义：

enum class TheEnum : std::uint32_t
{
    A = 1 << 0,
    B = 1 << 1,
    C = 1 << 2,
    D = 1 << 3,
    Val0 = TheEnum::A | TheEnum::C,
    Val1 = TheEnum::A | TheEnum::D,
    Val2 = TheEnum::B | TheEnum::D
};

我尝试让运营商| constexpr 和非 constexpr 在同一时间。 目前，如果我添加（不是 constexpr）：

inline TheEnum operator|(TheEnum const a, TheEnum const b)
{
    return TheEnum(std::uint32_t(a) | std::uint32_t(b));
}

我的编译器说它已经定义好了。 constexpr 允许我做一些 typetrait 操作，但我需要相同的操作符来进行运行时评估。

Answer 1

constexpr 在函数上意味着函数可能在编译时被评估。这并不意味着它必须在编译时进行评估。

你想声明你的函数constexpr，这对于编译时和运行时使用来说已经足够了。

您不能声明两个仅在 constexpr 和/或 inline 上不同的函数。这些说明符不是函数签名的一部分，因此不能确定函数的单独重载。无论您是否使用它们，您都指的是同一个实体。