初探c++11之常数表达式

在c++11里面，对于常数表达式有了更强的支持。一个是函数返回值可以是常数，另外一个是对于变量的常数表达式的支持更广。

首先，函数返回值可以是常数。这个值你可以把它用在所有可以用常数的地方，例如一个数组的大小。下面是一个例子，来自wiki.

constexpr int GetFive() {return 5;}
int some_value[GetFive() + 5];

也就是说，一个函数以constexpr来声明，那么编译器会知道这个函数返回的是常数，从而编译器会在编译期进行变量替换来求出这个常数。

（这段来自wiki，本人做了整理）将函数声明为 constexpr有非常严格的条件。首先，该函数的返回值类型不能为 void。其次，函数的内容必须是 "return expr"的形式。第三点，在变量替换后，expr 必须是个常数表示式。这些常数表示式只能够调用其他被定义为 constexpr 的函数，或是其他常数表示式的变量。 最后一点，有着constexpr声明的函数直到在该编译单元内被定义之前是不能够被调用的。因为在调用时候一定要知道它的内容是什么。

其次，变量也可以以constexpr来声明。例如，

constexpr double dVal = 3.14;
constexpr double dVal1 = dVal * 3.0;

这里与c++98不同的是，c++98中的常量只能是整数或者枚举类型。而这里并没有这样的限制。