constexpr 表示在编译期就求值  

#define PI 3.14;
constexpr int Inc(int i){
   return i+1;
}
int func(int i){
   return i+1;
}
constexpr int a = 10;
constexpr int a = sizeof(int);
constexpr int a = Inc(1);
constexpr int a = PI;

//上述a都是合法的，因为在编译时constexpr就会被计算和展开，所以上述a都可以获得值
constexpr int b = func(1);
constexpr int b = Inc(cin.get());
//上述b都是不合法的，因为在编译时无法获得值，其中func不是constexpr的，所以无法再编译时计算，cin.get()需要在运行时获取值，也不行

 

什么是常量表达式？

在“编译阶段”就能获得确切值，而且不会改变的表达式，叫做常量表达式。

如果某个表达式很复杂，比如包含宏，包含const数，包含static函数等等，我们很难直观判断这个表达式是不是常量表达式，但是我们现在又想知道，那么就可以使用 constexpr 来修饰，如果表达式不是常量表达式(编译阶段就能确定值)，那么编译器报错，可以理解constexpr 是一种“断言”(assert)。