10、初识constexpr和常量表达式

常量表达式：是指值不会改变并且在编译过程就能得到计算结果的表达式。显然字面值属于常量表达式，用于表达式初始化的const对象也是常量表达式。

1、判断一个变量是不是常量表达式

一个对象（表达式）是不是常量表达由数据类型和初始值共同决定，例如：

const int max_files = 20;　　　　　　　　 // man_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本身是一个常量，但他的具体值直到运行时才能获取到，所以也不是常量表达式。

2、判断一个变量的初始值是否为一个常量表达式

在一个复杂的系统中我们很难辨别一个初始值是不是一个常量表达式。

c++11标准规定，允许将变量声明为constexpr类型，让编译器验证这个变量的初始值是不是一个常量表达式。

这里强调一点，constexpr是用来验证变量的初始值是不是一个常量表达式。例如：

constexpr int mf = 20;                      // 20是常量表达式

constexpr int limit = mf + 1;            // mf + 1是常量表达式

constexpr int sz = size();                 // 只有size()是一个constexpr函数时，才是一条正确的声明语句

尽管普通函数不能作为constexpr变量的初始值，但是新规允许一种特殊的consrexpr函数，这种函数必须足够简单使得编译器编译时就可以计算结果。这样就能用constexpr函数去初始化constexpr变量。

3、constexpr与指针

constexpr的指针初始化必须是nullptr 或0.或者是存储于某个固定地址的对象。

必须明确一点，constexpr声明中定义了一个指针，限定符constexpr仅对指针有效，与指针所指的对象无关。

const int *p = nullptr;

constexpr int *p1 = nullptr;

//////////////////////////////////////////////////////////////

constexpr  const int *p = &i;

constexpr int *p1 = &j;

这里要说明一下，i和j都必须要定义在函数外面。