【问题标题】：Is the use of constexpr valid with non-const membersconstexpr 的使用对非 const 成员有效吗
【发布时间】：2013-06-26 00:20:33
【问题描述】：

背景

我想要实现的目标： 我正在尝试实现类似 Java 枚举的东西（即具有一些附加功能的枚举）。我想出了一个使用两个类的解决方案，其中一个类表示一个值，另一个类作为可能值的枚举，使用静态变量来表示每个值。我希望它成为枚举的真正替代品，包括在模板实例化中使用枚举值的可能性。为此，枚举值需要是一个常量表达式 (constexpr)。但是，我不确定我是否正确使用了 constexpr。

代码

这是我想出的代码：

class EnumType {
public:
    enum Enum {val_A, val_B, val_C};

    friend class EnumTypeList;

    EnumType()
    : m_ID(val_A), m_foo(0) {}

    constexpr operator Enum() const {return m_ID;};
    constexpr unsigned int getFoo() const {return m_foo;};
protected:
    constexpr EnumType(const Enum v, const int foo)
    : m_ID(v), m_foo(foo) {}
private:
    Enum m_ID;
    int m_foo;
};

class EnumTypeList {
public:
    static constexpr EnumType A = EnumType(EnumType::val_A, 5);
    static constexpr EnumType B = EnumType(EnumType::val_B, 4);
    static constexpr EnumType C = EnumType(EnumType::val_C, 8);
};

EnumType 类保存了每个值的信息并提供了一些附加功能（这里它存储了可以使用getFoo() 函数访问的附加值 m_foo）。枚举本身由包含静态 constexpr 变量的 EnumTypeList 表示，其中每个变量表示枚举的一个可能值。此代码允许我使用来自EnumTypeList 的变量代替EnumType::Enum.，即使在模板中，如以下代码：

template <EnumType::Enum T>
class Test {
public:
    void test() {
        std::cout << "Enum is not A" << std::endl;
    }
};

template <>
class Test<EnumType::val_A> {
public:
    void test() {
        std::cout << "Enum is A" << std::endl;
    }
};

int main() {
    Test<EnumTypeList::A> a;
    a.test();

    Test<EnumTypeList::B> b;
    b.test();

    // this shouldn't compile
    /*EnumType x = EnumTypeList::C;
    Test<x> c;
    c.test();*/
}

这如我所料 - 我可以在模板实例化中使用来自EnumTypeList 的值代替EnumType::Enum，如上所示，但我不能用EnumType x = EnumTypeList::C; 做到这一点

问题

虽然代码在 gcc 和 clang 下可以正确编译而没有任何警告，但我不确定我是否正确使用了 constexpr。问题是，虽然 EnumType 构造函数和转换运算符 operator Enum() 是 constexpr，但它们都访问变量 m_ID 和 m_foo 不是常量（因为我需要赋值运算符）。

【问题讨论】：

标签： c++ c++11 enums constexpr

【解决方案1】：

这很好，字面量类型的成员可以被修改。

为了在常量表达式中使用类型，您必须使用常量参数构造它，但这没关系，因为您这样做了；

static constexpr EnumType A = EnumType(EnumType::val_A, 5);

构造的对象是一个有效的常量表达式，因此可用于初始化constexpr 变量A。您不修改对象的成员，因此它们是否可修改并不重要。

尤其是 Clang 对常量表达式非常严格，如果你做错了什么就会报错。

这个对象可以用在需要常量表达式的地方：

constexpr EnumType A5(EnumType::val_A, 5);

例如

constexpr int i = A5.getFoo();

这个对象不能：

EnumType A6(EnumType::val_A, 6);
constexpr int i = A6.getFoo();  // error

【讨论】：