2.4.4constexpr和常量表达式
常量表达式是指值不会改变并且在编译过程就能得到计算结果的表达式。显然,字面值属于常量表达式,用常量表达式初始化的const对象也是常量表达式。
const int max_files=20; //max_files是常量表达式
const int limit=max_files+1;//limit是常量表达式
int staff_size=27;//staff_size不是表达式
const int sz=get_size();//sz不是常量表达式
尽管staff_size的初始值是个字面值常量,但由于它的数据类型只是一个普通int而非const int,所以不属于常量表达式。另一方面,尽管sz本身是一个常量,但它的具体值直到运行时才能获取到,所以也不是常量表达式。
在复杂系统中,很难分辨一个初始值是不是常量表达式,所以C++11新标准规定,允许将变量声明为constexpr类型以便由编译器来验证变量的值是否是一个常量表达式。声明为constexpr的变量一定是一个常量,而且必须用常量表达式初始化:
一般来说,如果你认定变量是一个常量表达式,那就把它声明成constexpr类型。
constexpr int mf=20;//20是常量表达式
constexpr int limit=mf+1;//mf+1是常量表达式
constexpr int sz=size();//只有当size是一个constexpr函数时才是一条正确的声明语句
字面值类型
常量表达式的值需要在编译时就得到计算,因此对声明constexpr时用到的类型必须有所限制,把他们称为字面值类型。
算术类型、引用和指针都属于字面值类型。自定义类、IO库、string类型则不属于字面值类型,也就不能被定义成constexpr。
尽管指针和引用都能定义成constexpr,但他们的初始值却受到严格限制。一个constexpr指针的初始值必须是nullptr或者0,或者存储于某个固定地址中的对象。
184页将要提到**,函数体内定义的变量一般来说并非存放在固定地址中,因此constexpr指针不能指向这样的变量。相反的,定义于所有函数体之外的对象其地址不变,能用来初始化constexpr指针**。当然185页还将提到另一种允许函数定义一类有效范围超出函数本身的变量,这类变量和定义在函数体之外的变量一样也有固定地址。
指针和constexpr
必须明确一点,在constexpr声明中如果定义了一个指针,限定符constexpr仅对指针有效,与指针所指的对象无关。
const int *p=nullptr;//p是一个指向整型常量的指针
constexpr int *q=nullptr;//q是一个指向整数的常量指针
两者的关键在于constexpr把它定义的对象置为了顶层const
同样,constexpr指针既可以指向常量也可以指向一个非常量
constexpr int *np=nullptr;//np是一个指向整数的常量指针,其值为空
int j=0;
constexpr int i=42;//i的类型是整型常量
//i和j都必须定义在函数体之外
constexpr const int *p=&i;//p是常量指针,指向整型常量i
constexpr int *p1=&j;//p1是常量指针,指向整数j