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是一个指向整数的常量指针