《c++语言导学》——1.7 常量

本节书摘来自华章计算机《c++语言导学》一书中的第1章，第1.7节,［美］　本贾尼·斯特劳斯特卢普 更多章节内容可以访问云栖社区“华章计算机”公众号查看。

1.7　常量

C++支持两种不变性概念：

• const：大概的意思是“我承诺不改变这个值”。主要用于说明接口，这样在把变量传入函数时就不必担心变量会在函数内被改变了。编译器负责确认并执行const的承诺。
• constexpr：大概的意思是“在编译时求值”。主要用于说明常量，作用是允许把数据置于只读内存中（不太可能被破坏）以及提升性能。

例如：

如果某个函数被用在常量表达式（constant expression）中，即该表达式在编译时求值，则这个函数必须定义成constexpr。例如：

https://yqfile.alicdn.com/626ebf76dc6fa225e8cf4ad4361875105e86cb0f.png" >

要想定义成constexpr，函数必须非常简单：函数中仅有一条计算某个值的return语句。constexpr函数可以接受非常量实参，但此时其结果不再是一个常量表达式。当程序的上下文不需要常量表达式时，我们可以使用非常量实参来调用constexpr函数，这样我们就不用把同一个函数定义两次了：其中一个用于常量表达式，另一个用于变量。
在有的场合，常量表达式是语言规则所必需的（如数组的界（见1.8节）、case标签
（见1.9节）、某些模板参数（见5.2节）和使用constexpr声明的常量）。另一些情况下，编译时求值对程序的性能非常重要，所以需要使用常量。即使不考虑性能因素，不变性概念（对象状态不发生改变）也是程序设计中要考虑的一个重要问题。