c++ - 如果我将类声明为 const...而不是 constexpr，程序将无法运行？

Question

这是我的程序:

#include <iostream>

class Debug {
public:
    constexpr Debug(bool h): hw(h){}
    constexpr bool any() { return hw; }
private:
    bool hw;
};

int main(){

    const Debug x(true);

    constexpr bool f = x.any();

}

这会引发错误“‘x’的值在常量表达式中不可用”。如果我更换

const Debug x(true);

与

constexpr Debug x(true);

然后一切正常。我的印象是将 constexpr 放在对象定义之前与“隐式使该变量成为常量，同时验证它是常量表达式变量”同义。这对我来说表明，在这个程序的情况下，使用“const”而不是“constexpr”应该没有什么不同。事实上，如果有什么地方出错了，它应该将其声明为“constexpr”，而不是“const”。

尽管如此。我不明白 x 为什么不是常量表达式变量。类 Debug 满足文字类类型的标准，x 被声明为 const 并且它使用一个 constexpr 构造函数和一个作为常量表达式的初始化器。

编辑:这个程序引发了同样的错误(诚然，这应该是我原来的程序)。

using namespace std;

class Debug {
public:
    constexpr Debug(bool h): hw(h){}
private:
    bool hw;
};

int main(){
    const Debug x(true);
    constexpr Debug f = x;
}

Answer 1

应用于函数的

constexpr 意味着当且仅当函数的所有输入都是常量表达式时，函数的结果是常量表达式。在成员函数的情况下，输入是参数，以及调用它的对象。

所以只有当x 是constexpr 时，x.any() 才是常量表达式。如果它只是 const，则 x.any() 不是常量表达式。