C++11新标准之五:constexpr

常量表达式必须在编译期间计算出它的值并且 它的值不可以被改变。

在C++11中,我们可以通过声明constexpr让编译器确定一个变量是不是常量表达式,声明为constexpr的变量是const类型的变量,它必须由常量表达式来初始化。例如:

constexpr int mf = 20; // 常量表达式
constexpr int limit = mf + 1; // 常量表达式
constexpr int sz = size(); // 如果size()是常量表达式则编译通过,否则报错

在C++11中,我们可以声明某些函数是常量表达式,这样的函数必须在编译期间计算出它们的值,这样的函数必须满足以下条件:

  1. 返回值和参数必须是Literal类型
  2. 函数体必须只包含一个return语句
  3. 函数提可以包含其他的语句,但是这些语句不能在运行期起作用
  4. 函数可以不返回常量,但是在调用的时候实参必须传入常量表达式

例如:

constexpr int new_size()
{
    return 42;
}

constexpr size_t scale(size_t arg)
{
    return new_size() * arg;
}
scale(2) //正确
int i = 2;
scale(i) //出错
定义为constexpr类型的函数隐式的都为内联函数(inline)

关于该关键字的更多内容可以参考以下文章:

C++ 0x 即将夭折的新关键字 constexpr 为 VS 2010 拒绝

你可能感兴趣的:(C++11)