本节书摘来自华章计算机《c++语言导学》一书中的第1章,第1.7节,[美] 本贾尼·斯特劳斯特卢普 更多章节内容可以访问云栖社区“华章计算机”公众号查看。
1.7 常量
C++支持两种不变性概念:
- const:大概的意思是“我承诺不改变这个值”。主要用于说明接口,这样在把变量传入函数时就不必担心变量会在函数内被改变了。编译器负责确认并执行const的承诺。
- constexpr:大概的意思是“在编译时求值”。主要用于说明常量,作用是允许把数据置于只读内存中(不太可能被破坏)以及提升性能。
例如:
![4553b9a84a3a10355055f3ec5bed1ea9dcfd20fa](https://i-blog.csdnimg.cn/blog_migrate/4029812dd824950f486933461f51e23f.png)
如果某个函数被用在常量表达式(constant expression)中,即该表达式在编译时求值,则这个函数必须定义成constexpr。例如:
要想定义成constexpr,函数必须非常简单:函数中仅有一条计算某个值的return语句。constexpr函数可以接受非常量实参,但此时其结果不再是一个常量表达式。当程序的上下文不需要常量表达式时,我们可以使用非常量实参来调用constexpr函数,这样我们就不用把同一个函数定义两次了:其中一个用于常量表达式,另一个用于变量。
在有的场合,常量表达式是语言规则所必需的(如数组的界(见1.8节)、case标签
(见1.9节)、某些模板参数(见5.2节)和使用constexpr声明的常量)。另一些情况下,编译时求值对程序的性能非常重要,所以需要使用常量。即使不考虑性能因素,不变性概念(对象状态不发生改变)也是程序设计中要考虑的一个重要问题。