C++11新特性

常量表达式指值不会改变并且在编译过程就能得到计算结果的表达式，显然字面值常量和使用字面值常量初始化的const对象都是常量表达式。

使用const修饰的变量不一定是常量表达式，为了确认一个变量是常量表示式，引入constexpr。

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

constexpr int mf=20;

constexpr int limit =mf+1;

constexpr int sz=size();//只有当size()是一个constexpr函数时才是一条正确的声明语句。

一般来说，如果你认定一个变量是一个 常量表达式，那就把它声明成constexpr类型。

常量表达式的值在编译时就得到计算，这些类型比较简单，称为字面值类型，算术类型、引用和指针都属于字面值类型。尽管指针和引用都能定义成constexpr，但他们的初始值受到限制，一个constexpr指针的初始值必须是nullptr或者是0，或者是存储于某个固定地址中的对象。    函数体内定义的变量一般来说并非放在固定的地址中，constexpr指针不能指向这样的对象，定义于函数体外的对象地址不变，定义函数体内的static对象的地址不变，能用来初始化constexpr指针。constexpr引用也能绑定到这样的对象上。

常量指针：指向常量的指针，即指针指向的是一个常量。指针常量：这个指针是常量，指向的地址不能修改。

constexpr修饰的指针是一个指针常量。即顶层const。