一个常量变量的值在常量表达式中可以使用或者不可以使用，这取决于变量的类型。

32 浏览
0 Comments

一个常量变量的值在常量表达式中可以使用或者不可以使用，这取决于变量的类型。

以下代码是正确的：\n

constexpr double square_cstxpr(double x) { return x * x; }
int main() {
    const int test = 5;
    constexpr double result = square_cstxpr((double)test);
}

\n然而，如果将test的类型从const int改为const double，g++将会报错，错误信息为：the value of \'test\' is not usable in a constant expression。\n在这里可以查看代码和g++的输出：http://coliru.stacked-crooked.com/a/2fe9b176c2b23798\n有人能解释一下这种行为吗？

0

2 答案

0 Comments

在C++中，常量表达式（constant expression）是指在编译时可以计算出结果的表达式，它的值在编译期间就已经确定，不会在运行时改变。根据C++的规定，常量表达式只能包含一些特定的操作和类型。

根据上述引用的文档，第10点说明了常量表达式的一条限制：除非lvalue满足以下条件之一，否则不允许进行lvalue-to-rvalue的隐式转换：

a) 具有整型或枚举类型，并且引用的是一个完整的非易失（non-volatile）的const对象，该对象由常量表达式初始化。

这意味着，对于一个const对象，只有在满足上述条件的情况下，它的值才能在常量表达式中使用。如果不满足这些条件，那么该const对象的值就不能在常量表达式中使用。

根据上述内容，我们可以看到以下两个例子：

const int test1 = 5;
constexpr double result1 = square_cstxpr((double)test1);

在这个例子中，test1是一个整型的const对象，并且满足了前面提到的条件。因此，test1可以作为常量表达式的一部分，并且可以在编译时作为square_cstxpr的参数，并将其结果赋给constexpr变量result1。

另一方面，对于第二个例子：

const double test2 = 5;
constexpr double result2 = square_cstxpr((double)test2);

test2是一个双精度浮点型的const对象，但它不是整型或枚举类型。因此，test2不满足常量表达式的要求，不能作为square_cstxpr的参数进行编译时调用。

至于为什么不允许const double或const float类型的对象作为常量表达式的一部分，除了上述引用中提到的限制外，我们无法得知具体原因。这可能是由于C++标准的设计决策或语言的实现细节所致。

总结起来，根据C++的规定，const对象的值只有在满足特定条件时才能在常量表达式中使用。对于const double或const float类型的对象，它们的值不能作为常量表达式的一部分，除非在特殊情况下满足其他条件。这是C++语言中的一种限制，开发者在编写代码时需要注意这些限制，以避免编译错误或意外行为的发生。

0
0 Comments

原因：

const变量在常量表达式中可用的原因取决于变量类型。非constexpr但const变量必须是整数或枚举类型才能在常量表达式中使用。这种限制的原因可能主要是历史原因。当涉及到常量表达式时，浮点数一直受到谨慎处理；想想非类型模板参数。这是因为浮点数在平台上的行为强烈依赖于编译时计算的数学性能较差。

解决方法：

根据C++标准，为了在常量表达式中使用const float变量，可以使用constexpr关键字来声明变量。constexpr变量是在编译时求值的常量表达式，可以在常量表达式中使用。因此，解决这个问题的方法是将const float变量声明为constexpr类型。这样，它就可以在常量表达式中使用了。

示例代码：

constexpr float constFloat = 3.14;

0