由或-ing其他枚举器产生的枚举器值

Question

我在一个代表位标志的类中有一个枚举。

class Foo
{
    enum Bar
    {    
        BAR0 = 0x1,
        BAR1 = 0x2,
        BAR2 = 0x4,    
    };
}

我还为类 Foo 之外的枚举 Bar 定义了一个 operator|。

constexpr Foo::Bar operator| (Foo::Bar lhs, Foo::Bar rhs) 
{ 
    return static_cast<Foo::Bar>(static_cast<int>(lhs) | static_cast<int>(rhs)); 
} 

我还希望有一个constexpr 变量BAR_ALL，它是Foo 类中Bar 的所有现有标志的组合。我尝试了以下但它没有编译错误error: #28: expression must have a constant value。

完整代码：

class Foo
{
    enum Bar
    {    
        BAR0 = 0x1,
        BAR1 = 0x2,
        BAR2 = 0x4,    
    };
    friend constexpr Bar operator| (Bar lhs, Bar rhs); 
    static constexpr Bar BAR_ALL = BAR0 | BAR1 | BAR2;
};

constexpr Foo::Bar operator| (Foo::Bar lhs, Foo::Bar rhs) 
{ 
    return static_cast<Foo::Bar>(static_cast<int>(lhs) | static_cast<int>(rhs)); 
} 

我想编译器不知道BAR0 | BAR1 | BAR2 是constexpr 是有道理的，因为该运算符是在代码后面定义的。我的问题是如何获得变量Foo::BAR_ALL 即constexpr 的预期效果。

提前感谢您的建议/帮助！

Answer 1

这是一个具有您想要的功能的工作版本。

class Foo
{
    enum Bar
    {
        BAR0 = 0x1,
        BAR1 = 0x2,
        BAR2 = 0x4,
        BAR_ALL_ = BAR0 | BAR1 | BAR2
    };
    friend constexpr Bar operator| (Bar lhs, Bar rhs);

public:
    static Bar constexpr BAR_ALL = Bar::BAR_ALL_;
};

constexpr Foo::Bar operator| (Foo::Bar lhs, Foo::Bar rhs)
{
    return static_cast<Foo::Bar>(static_cast<int>(lhs) | static_cast<int>(rhs));
}

template <int I>
struct test_constexpr_bar_all {};

int main()
{
    int x{ 5 };
    // test_constexpr_bar_all<x> t1; // fails to compile because x is not a constexpr
    test_constexpr_bar_all<Foo::BAR_ALL> t1; // compiles properly
}

如果你想公开你的枚举，那么你可以去掉static Bar constexpr BAR_ALL = Bar::BAR_ALL_;，直接通过Foo::Bar::BAR_ALL_访问它。

我会这样做：

class Foo
{
public:
    enum Bar
    {
        BAR0 = 0x1,
        BAR1 = 0x2,
        BAR2 = 0x4,
        BAR_ALL = BAR0 | BAR1 | BAR2
    };
private:
    friend constexpr Bar operator| (Bar lhs, Bar rhs);
};

constexpr Foo::Bar operator| (Foo::Bar lhs, Foo::Bar rhs)
{
    return static_cast<Foo::Bar>(static_cast<int>(lhs) | static_cast<int>(rhs));
}

template <Foo::Bar I>
struct test_constexpr_bar_all {};

int main()
{
    test_constexpr_bar_all<Foo::Bar::BAR_ALL> t1;
}

Answer 2

您被编译器错误误导了。实际上，您的代码有几个错误（评论者似乎错过了，因为他们没有费心尝试编译它。）

1. BAR 1和BAR 2

2. BAR_ALL 没有类型

3. 您尝试在定义之前使用operator|

修复所有这些错误会生成以下代码：

class Foo
{
    enum Bar
    {    
        BAR0 = 0x1,
        BAR1 = 0x2,
        BAR2 = 0x4,    
    };

    static constexpr int BAR_ALL = BAR0 | BAR1 | BAR2;
};

从评论看来，您正在尝试将 C++03 移植到 C++11 代码。问问自己：enum class 真的 适合吗？如果您不完全了解其中的含义，或者如果由此产生的维护成本超过收益，请不要强加功能。