常量表达式必须在编译期间计算出它的值并且 它的值不可以被改变。
在C++11中,我们可以通过声明constexpr让编译器确定一个变量是不是常量表达式,声明为constexpr的变量是const类型的变量,它必须由常量表达式来初始化。例如:
- constexpr int mf = 20; // 常量表达式
- constexpr int limit = mf + 1; // 常量表达式
- constexpr int sz = size(); // 如果size()是常量表达式则编译通过,否则报错
在C++11中,我们可以声明某些函数是常量表达式,这样的函数必须在编译期间计算出它们的值,这样的函数必须满足以下条件:
- 返回值和参数必须是Literal类型
- 函数体必须只包含一个return语句
- 函数提可以包含其他的语句,但是这些语句不能在运行期起作用
- 函数可以不返回常量,但是在调用的时候实参必须传入常量表达式
例如:
- constexpr int new_size()
- {
- return 42;
- }
- constexpr size_t scale(size_t arg)
- {
- return new_size() * arg;
- }
- scale(2) //正确
- int i = 2;
- scale(i) //出错