1 常量表达式
常量表达式是指值不会改变并且在编译过程就能得到计算结果的表达式。
一个对象或表达式是不是常量表达式,由它的数据类型和初始值共同决定。
const int max_files = 20; //max_files是常量表达式
const int limit = max_files + 1; //limit是常量表达式
int staff_size = 27; //staff_sizeb不是常量表达式
const int sz = get_size(); //sz不是常量表达式。
2 constexpr变量
在一个复杂系统中,很难(几乎肯定不能)分辨一个初始值是不是常量表达式。尽管可以定义一个const变量,把初始值设置成我们认为的常量表达式,但实际使用时,常常会出现此变量不是常量表达式的情况。
在C++ 11新标准中,可以将变量声明为constexpr,使编译器验证变量是否为常量表达式。声明为constexpr的变量一定是一个常量表达式,且必须使用常量表达式初始化。
3 字面值类型
常量表达式的值需要在编译时得到计算,因此,这些类型一般比较简单,值也容易得到,这些类型一般被称为“字面值类型”。
算术类型、指针和引用都是字面值类型,类、IO库类型、string类型等不是字面值类型。constexpr变量必须是字面值类型。
指针和引用定义为constexpr时,它们的初始值收到严格限制。对于指针,只能赋值为0或者固定地址,对于函数体的变量,一般都并非固定地址,其地址不能用来做初始值;函数体外的变量,一般存在固定地址中,其地址可以用来做初始值。
当定义一个constexpr指针时,constexpr只对指针有效,对指针指向的对象无效。