c++ constexpr和常量表达式

常量表达式（const expression）

是指值不会改变并且在编译过程就能得到计算结果的表达式。

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

const int file = 20;  //file是常量表达式
const int limit = file + 1; //limit是常量表达式
int size = 29;  //size不是常量表达式
const int sz = get_size(); //sz不是常量表达式

其中sz本身是常量，但是它具体的值知道运行时才能获得，所以不是常量表达式。

constexpr变量

接下来，重点问题 constexpr变量
当在复杂系统中，很难分辨一个初始值是不是常量表达式。根据c++11新标准规定，允许将变量声明为constexpr类型，以便编译器来验证变量的值是否是一个常量表达式。

constexpr int mf = 20； //20是常量表达式
constexpr int limit = mf + 1; //mf + 1是常量表达式
constexpr int sz = size(); //只有当size是一个constexpr函数时，才是一条正确的声明语句

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

指针和constexpr

const int *p = nullptr;  //p是指向整数常量的指针
constexpr int *q = nullptr; //q是指向整数的常量指针

p和q相差甚远，p是指向常量的指针，q是常量指针，关键在于constexpr把它所定义的对象置为顶层const

内联函数和constexpr函数

使用函数
优点：更易理解，确保行为的统一，统一调用方便修改，增加代码重复利用性
缺点：调用较慢，需要一系列的工作

此时如果使用内联函数，即可避免调用函数的开销

//普通函数的调用
cout << shorterString(s1,s2) << endl;
//写成以下形式即可消除开销
cout << (s1.size() < s2.size()) ? s1 : s2 << endl;

转换成内联函数只需在返回类型前面加上关键字inline

inline const string& 
shorterString(const string& s1, const string& s2)
{
	return s1.size() < s2.size()) ? s1 : s2;
}

**constexpr函数（constexpr function）**是指能用于常量表达式的函数。定义constexpr函数的方法与其他函数类似，不过要遵循几项约定：函数的返回类型及所有形参的类型都得是字面值类型，而且函数体中必须有且只有一条return语句：