constexpr和常量表达式

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

字面值属于常量表达式，用常量表达式初始化的const对象也是常量表达式。

一个对象（或表达式）是不是常量表达式由它的数据类型和初始值共同决定：

const int max_files = ;//max_files是常量表达式
const int limit = max_files + ;//limit是常量表达式
int staff_size = ;//staff_size不是常量表达式
const int sz = get_size();//sz不是常量表达式

尽管staff_size的初始值是个字面值常量，但由于它的数据类型只是一个普通int而非const int，所以它不属于常量表达式。

sz本身是一个常量，但是它的值直到具体运行的时候才能获取到，所以也不是常量表达式。

constexpr变量

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

声明为constexpr的变量一定是一个常量，而且必须用常量表达式初始化：

constexpr int mf = ;//20是常量表达式
constexpr int limit = mf + ;//mf+1是常量表达式
constexpr int sz = size();//只有当size()是一个constexpr函数时才是一条正确的声明函数

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

字面值类型

• 算是类型、引用和指针都属于字面值类型。
• 一个constexpr指针的初始值必须是nullptr或0，或者是存储于某个固定地址中的对象。
• 函数体内定义的变量一般来说并非存放在固定地址中，因此constexpr指针不能指向这样的变量。

指针和constexpr

在constexpr声明中定义了一个指针，限定符constexpr仅对指针有效，与指针所指对象无关：

const int *p = nullptr;//p是指向一个整型常量的指针
constexpr int *q=nullptr//q是一个指向整数的常量指针

p和q的类型相差甚远，p是一个指向常量的指针，q是一个常量指针，其中constexpr把它所定义的对象置为了顶层const。

与其他指针类似，constexpr指针既可以指向常量也可以指向一个非常量：

constexpr int *np = nullptr;//np是一个指向整数的常量指针
int j = ;
constexpr int i = ;//i的类型是整数常量
//i和j都必须定义在函数体之外
constexpr const int *p = &i;//p是常量指针，指向整型常量i
constexpr int *p1 = &j;//p1是一个常量指针，指向整数j