C++知识整理系列（三）—— constexpr常量表达式

• const修饰常量，但是const并未区分编译时常量和运行时常量，而constexpr则只能是编译时常量，在C++11中提出。
• 这篇文章，将详细讲解constexpr。

一、常量表达式

常量表达式（const expression）：指值不会改变并且在编译阶段过程就能得到计算结果的表达式。

以下两种是常量表达式：

const int maxSize = 10;
const int limit = maxSize + 1;

以下两种不是常量表达式：

int staff_size = 27;
const int sz = get_size();

• staff_size的初始值虽然是个字面值常量，但它的数据类型只是普通的int而非const int，还是可以被重新赋值的，所以不是常量表达式。
• sz本身是一个常量，但它的具体值直到运行时才能获取到，所以也不是常量表达式。

二、constexpr变量

在一个复杂系统中，很难分辨一个初始值到底是不是常量表达式。从前面的例子可以发现，即使变量加上const，但是赋值是在运行时确定的也不是常量表达式。

C++11新标准规定，允许将变量声明为constexpr类型以便由编译器来验证变量的值是否是一个常量表达式。

• 声明为constexpr的变量一定是一个常量。
• 必须用常量表达式初始化。

constexpr int mf = 20;					//20是常量表达式
constexpr