常量表达式函数

我们可以在函数返回类型前加入关键字constexpr来使其成为常量表达式函数，但并非所有的函数都有资格成为常量表达式函数。事实上，常量表达式函数的要求非常严格，总结如下：

• 函数体只有单一的return返回语句。
• 函数必须返回值，不能是void函数。
• 在使用前必须已有定义。
• return返回语句表达式中不能使用非常量表达式的函数、全局数据，且必须是常量表达式。

由于比较好理解，这里不多做解释，分别举一个例子：

1.函数体只有单一的return返回语句

constexpr int GetConstOne()
{
	int i = 10;	 //违反第一条规则
	return 5;
}

2.函数必须返回值，不能是void函数

constexpr void GetConstTwo() 
{
	//函数必须有返回值，因为无法获得常量的常量表达式是不被认可的
}

3.在使用前必须定义

constexpr int GetConstThree();
int nValue = GetConstThree();                   //没问题，
constexpr int nConstValue = GetConstThree();    //有问题
constexpr int GetConstThree()
{
    return 1;
}

这里我们声明了一个常量表达式函数GetConstThree，在定义函数之前，我们定义了变量nValue和常量表达式nConstValue,在定义nValue时，编译器将GetConstThree()函数转化为一个函数调用，而“函数调用”是指的运行时的过程，这时对于GetConstThree这样的编译时函数已经获得了值，所有所没有问题。而nConstValue要求使用GetConstThree的值，但此值还没有进行编译时计算，所以有问题。

4.return返回语句表达式中不能使用非常量表达式的函数、全局数据，且必须是常量表达式。

constexpr int GetConstFour(int x)
{
	x = 1;
	return x;
}

这样做的意义非常明显，即如果我们要使得GetConstFour()成为一个编译时的常量，那么其return表达式语句就不能包含运行时才能确定的变量或函数，只有这样，编译器才能在编译时进行常量表达式函数的额值计算。