【常量表达式】

一个这样的表达式:值不会改变 && 在编译过程中就能够得到计算结果

常见的常量表达式:字面值、用常量表达式初始化的const对象

一个对象是不是常量表达式由它的数据类型和初始值共同决定:

  const int cc = 1;  cc是一个常量表达式,因为它①是一个常量,②值在编译过程就能够得到(使用字面值初始化的)。

  int cz = 1;       cz尽管由字面值初始化,但它的数据类型是int,所以它不是常量表达式。

  const int cd = get_val();  cd不是一个常量表达式,尽管它是一个常量,但它的值直到运行时才能获取到。

运用到常量表达式的情形:数组的大小

 

【constexpr变量】

因为很难分辨一个初始值到底是不是常量表达式,所以我们推出了constexpr类型。

声明为constexpr的变量一定是一个常量,而且必须用常量表达式初始化:

  constexpr int mf = 20;

  constexpr int lm = mf + 1;

  constexpr int sz = get_val();

不能使用普通函数作为constexpr变量的初始值,所以上面的get_size()必须是constexpr函数,这种函数足够简单以至于编译时就可以计算其结果。

用处,比如你想设置一个常量表达式作为数组的大小,便可以设置如上变量。