本文参考C++Primer5
C++11中允许将变量声明为constexpr类型来保证变量的值是一个常量表达式。常量表达式是指值不会改变并且在编译过程就能得到计算结果的表达式。声明为constexpr的变量一定是常量,并且必须用常量表达式初始化:
constexpr int a = 100;
constexpr int b = a + 100;
constexpr int c = fun(); //只有当fun是一个constexpr函数时才是正确的声明。
上面是针对变量,constexpr也可以用来声明函数,这种函数必须足够简单以使得在编译时就能计算其结果。
指针和引用也都可以定义为constexpr,但它们的初始值受到严格限制。一个constexpr指针初始值必须是nullptr、0或者存储于某个固定地址中的对象(全局变量和局部static变量)。引用则要绑定到有固定地址的对象上。
必须指明一点,当用constexpr修饰指针时,限定符constexpr仅对指针有效,与指针所指对象无关。则下面两行代码很有意思:
const int *p = nullptr; //p是一个指向整型常量的指针
constexpr int *q = nullptr; //q是一个指向整型的常量指针
则constexpr指针可以指向常量也可以指向非常量,但所指向的量必须有固定地址。