C++学习之路（指针3）

constexpr与常量表达式

常量表达式
是指不会发生变化，且在编译过程就能得到计算结果的表达式。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是一个指向整数的常量指针