常量表达式必须在编译期间计算出它的值并且 它的值不可以被改变。
常量表达式主要是允许一些计算发生在编译时,即发生在代码编译而不是运行的时候。这是很大的优化:假如有些事情可以在编译时做,它将只做一次,而不是每次程序运行时。需要计算一个编译时已知的常量。
constexpr int mf = 20; // 常量表达式
constexpr int limit = mf + 1; // 常量表达式
constexpr int sz = size(); // 如果size()是常量表达式则编译通过,否则报错
在C++11中,我们可以声明某些函数是常量表达式,这样的函数必须在编译期间计算出它们的值,这样的函数必须满足以下条件:
- 返回值和参数必须是Literal类型
- 函数体必须只包含一个return语句
- 函数体可以包含其他的语句,但是这些语句不能在运行期起作用
- 函数可以不返回常量,但是在调用的时候实参必须传入常量表达式
定义为constexpr类型的函数隐式的都为内联函数(inline)
const 和 constexpr 变量之间的主要区别在于:const 变量的初始化可以延迟到运行时,而 constexpr 变量必须在编译时进行初始化。所有 constexpr 变量均为常量,因此必须使用常量表达式初始化。