C++ constexpr

constexpr : 不仅是const，而且在编译期已知

一言以蔽之，所有constexpr对象都是const对象，而非所有const对象都是constexpr对象。

int sz；
constexpr auto arraySize1 = sz； // 错误，编译期未知
std::array<int, sz> data1; // 错误，一样的问题
constexpr arraySize2 = 10；
std::array<int, arraySize2> data2; // 没问题，编译期已知

• constexpr可以用在要求编译期常量的环境中，在这样的环境中，如果你传递一个constexpr函数的实参值在编译期已知，则在编译期计算出结果，如果任何一个实参值未知，则代码无法通过编译。

constexpr int pow(int base, int exp) noexcept {
    // 注意： C++11中要求constexpr 函数都是一行的， C++14没有这个限制
    return exp == 0 ? 1 : base * pow(base, exp -1);    
}

constexpr auto val = 10；
std::array<int, pow(3, val)> data; // ok, 编译期确定个数，3^10个
int base = readFromDB("base"); // 运行期确定
int exp = readFromDB("exp");  // 运行期确定
auto result = pow(base, exp); // ok, 运行期执行

• 在调用constexpr函数时，如果传入的参数一个或者多个在编译期未知，则函数在运行期执行，与普通函数无异，如果传入的参数都在编译期确定，在结果在编译期确定。
• C++11中constexpr函数都隐式的声明为const函数