const与constexpr区别

zhenghe12365

已于 2024-09-12 10:03:49 修改

阅读量355

点赞数 4

文章标签： c++

于 2024-09-12 09:58:19 首次发布

本文链接：https://blog.csdn.net/zhenghe12365/article/details/142167240

版权

constexpr 是 C++ 11 标准中新添加的关键字，有的同学经常会把 const 和 constexpr 搞混，不知道什么时候用 const，什么时候用 constexp，下面一次性讲清楚。

　　在C++ 11 之前，const 关键字在实际使用中经常会表现出两种不同的语义：“只读” 和 “常量”，导致代码中有的地方语义不清，进一步导致编译时莫名报错。因此 C++ 11 新增关键字 constexpr，用来表示 “常量” 或常量表达式，而 const 则仅仅表示 “只读”。目的是将运算尽量放在编译阶段，而不是运行阶段，另外，constexpr 还可以修饰函数、结构体。

const与constexpr区别：

一些读者在学习过程中，经常会把 const 和 constexpr 搞混，不知道什么时候用 const，什么时候用 constexpr。本节就带领大家对 const 和 constexpr 做系统地区分。

有关 constexpr 的功能和用法，您可以阅读《C++11 constexpr》一节。

我们知道，constexpr 是 C++ 11 标准新添加的关键字，在此之前（C++ 98/03标准）只有const关键字，其在实际使用中经常会表现出两种不同的语义。举个例子：

#include <iostream>

#include <array>

using namespace std;

void dis_1(const int x){

//错误，x是只读的变量

array <int,x> myarr{1,2,3,4,5};

cout << myarr[1] << endl;

}

void dis_2(){

const int x = 5;

array <int,x> myarr{1,2,3,4,5};

cout << myarr[1] << endl;

}

int main()

{

dis_1(5);

dis_2();

}

可以看到，dis_1() 和 dis_2() 函数中都包含一个 const int x，但 dis_1() 函数中的 x 无法完成初始化 array 容器的任务，而 dis_2() 函数中的 x 却可以。

这是因为，dis_1() 函数中的“const int x”只是想强调 x 是一个只读的变量，其本质仍为变量，无法用来初始化 array 容器；而 dis_2() 函数中的“const int x”，表明 x 是一个只读变量的同时，x 还是一个值为 5 的常量，所以可以用来初始化array容器。

C++ 11标准中，为了解决const关键字的双重语义问题，保留了const表示“只读”的语义，而将“常量”的语义划分给了新添加的 constexpr 关键字。因此 C++11 标准中，建议将const和 constexpr 的功能区分开，即凡是表达“只读”语义的场景都使用 const，表达“常量”语义的场景都使用 constexpr。

在上面的实例程序中，dis_2() 函数中使用 const int x 是不规范的，应使用 constexpr 关键字。

有读者可能会问，“只读”不就意味着其不能被修改吗？答案是否定的，“只读”和“不允许被修改”之间并没有必然的联系，举个例子：

#include <iostream>

using namespace std;

int main()

{

int a = 10;

const int & con_b = a;

cout << con_b << endl;

a = 20;

cout << con_b << endl;

}

程序执行结果为：

10
20

可以看到，程序中用 const 修饰了 con_b 变量，表示该变量“只读”，即无法通过变量自身去修改自己的值。但这并不意味着 con_b 的值不能借助其它变量间接改变，通过改变 a 的值就可以使con_b的值发生变化。
在大部分实际场景中，const 和 constexpr 是可以混用的，例如：