C++ const、constexpr与consteval作用与区别

news2024/11/15 9:41:51

C++ const、constexpr与consteval作用与区别

在这里插入图片描述

在C++ 常量表达式和编译时优化中，我们已经提到了常量、编译时常量与运行时常量的概念。为了加深理解，我们再重新明晰一下这三者的概念。

常量：初始化之后便不可修改的量。在c++中使用const修饰的“变量”称为常量。const修饰的常量可以是编译时常量，也可以是运行时常量。现代编译器将自行推理决断。
```
#include<iostream>
int main(){
    const int x{1};
    std::cout << x << std::endl;//可以读取
    x = 5； //error，编译错误，常量不可修改
}
```
编译时常量：在编译时，编译器将常量的值计算出来，不必等到每次运行时计算。
```
#include<iostream>
int main(){
    const int x{1 + 8};
    std::cout << x << std::endl;
}
```
就像上面的代码，若不优化，则每次运行编译后的程序时都需要计算 $1 + 8$ ,如果程序执行一百万次，则 $1 + 8$ 将被计算一百万次。这完全是没有必要的。
优化后的结果类似以下代码：
```
#include<iostream>
int main(){
    const int x{9};
    std::cout << x << std::endl;
}
```

运行时常量：程序运行时才确定下来的常量。

#include<iostream>
int main(){
    int a = 9;
    const int x{a}; //由于a是一个变量，所以x只能在运行到此处的时候才能确定值。
    std::cout << x << std::endl;
}

constexpr

尽管现代编译器已经可以自主判断是否应该编译时优化，但是由于某些表达式十分复杂，仅仅依赖于编译器是十分困难的。于是c++提供了constexpr关键字，它告诉编译器其修饰的常量是编译时常量可以在编译时优化。

注意： constexpr表示该对象可以在常量表达式中使用。初始值设定项的值在编译时必须已知。constexpr对象可以在运行时或编译时进行计算。constexpr与std::string、std::vector和其他使用动态内存分配的类型不完全兼容。

#include <iostream>

double nonconstexpr_ex(double radius)
{
    constexpr double pi { 3.14159265359 };
    return 2.0 * pi * radius;
}
constexpr double constexpr_ex(double radius)
{
    constexpr double pi { 3.14159265359 };
    return 2.0 * pi * radius;
}
int main()
{
    constexpr double circumference { nonconstexpr_ex(3.0) }; // 编译错误
    constexpr double circumference { constexpr_ex(3.0) }; // 正确
    std::cout << "Our circle has circumference " << circumference << "\n";
    return 0;
}

注：