constexpr 函数包含一个 const - 它会在编译时进行评估吗？

Question

请有人澄清一下（我使用的是 Visual Studio 15.9.2）：

在下面的代码中，假设 Pi_cnst 在运行时评估（因为以这种方式定义 Pi 需要运行时计算），RAD2DEG_cnst 是否会在编译时评估，或者使用“constexpr”总是恢复为“const “？

编辑 - 添加：如果它总是恢复为 const 那么我应该期待一个警告，还是以其他方式不好，即能够如此轻松地声明一个 constexpr 以使主体被接受但总是如此似乎很奇怪使其永远不是真正的 constexpr。我错过了什么？

constexpr double Pi_error = std::acos(-1.0); //error function call must have a constant value in a constant expression (does not compile)
const double Pi_cnst = std::acos(-1.0); //ok evaluated at run time

constexpr double Pi_expr = 3.1415926; //ok valid constexpr

constexpr double RAD2DEG_cnst(double rad) { return rad * 180.0 / Pi_cnst; } //no error or warning BUT is this ever evaluated at compile time?
constexpr double RAD2DEG_expr(double rad) { return rad * 180.0 / Pi_expr; } //ok can be evaluated at compile time

const double result1 = RAD2DEG_cnst(0.1); //evaluated at run time?
const double result2 = RAD2DEG_expr(0.2); //evaluated at compile time?

double myVariable = 0.3;
const double result3 = RAD2DEG_expr(myVariable); //ok - but can only be evaluated at run time

const double myOtherVariable = 0.4;
const double result4 = RAD2DEG_expr(myOtherVariable); //ok - evaluated at compile time because parameter is CONST?

我还发现了constexpr function and its parameter 和constexpr vs const vs constexpr const。

Answer 1

您的代码格式错误，无需诊断。在

constexpr double RAD2DEG_cnst(double rad) { return rad * 180.0 / Pi_cnst; }

没有任何输入可以使函数成为core constant expression 指定的[dcl.constexpr]/5

对于既不是默认值也不是模板的 constexpr 函数或 constexpr 构造函数，如果不存在参数值，则函数或构造函数的调用可以是核心常量表达式的求值子表达式，或者，对于构造函数，某些对象（[basic.start.static]）的常量初始化程序，程序格式错误，不需要诊断。