常量表达式 是指不会发生变化，且在编译过程就能得到计算结果的表达式。constexpr值可用于enum、switch、数组长度等场合。
const int max_files=20; const int limit=max_files+1; int staff_size=27;//不是，等号左边没有const const int sz=get_size();//不是，get_size()返回的对象是int而非const int。constexpr变量 允许将变量申明为constexpr类型以便由编译器来验证变量的值是否是一个常量表达式。声明为constexpr的变量一定是常量，而且必须用常量表达式初始化：
constexpr int mf=20;//20是常量表达式 constexpr int limit=mf+1;//mf+1是常量表达式 constexpr int sz=size();//只有当size是一个constexpr函数时，才是一条正确声明语句一般来说，如果你认定变量是一个变量表达式，那就把它申明为constexpr类型。
字面值类型
常量表达式的值需要在编译时就得到计算，因此对声明constexpr时用到的类型必须有所限制。因为这些类型一般比较简单，值也显而易见，容易得到，就把他们称为：“字面值类型”。 到目前为止接触过的数据类型中，算术类型，引用和指针都属于字面值类型。自定义，io，string,不属于字面值类型。不能被定义为constexpr。 constexpr指针的初始值必须为nullptr或者0，或者是存储于某个固定地址对象。 指针与constexpr constexpr定义指针仅对指针有效，对指针指向的对象无关。
const int *p= nullptr;//P是一个指向整形常量的指针 constexpr int *q=nullptr;//q是一个指向整数的常量指针