C++关键字 constexpr 详解「建议收藏」

// 通过对斐波拉契函数的递归实现（求斐波那契数列第n个的值），来看看constexpr具体怎么修饰函数，同时比较这样使用的好处。

// 由于fib1函数被constexpr修饰的，因此每一次计算的结果都会作为一个常量保存下来，复杂度等同于迭代的方法，基本上为O(n)。
constexpr long int fib1(int n) 
{ 
　　return (n <= 1) ? n : fib1(n-1) + fib1(n-2);
} 

// 熟悉递归函数就不难证明下面这个函数的时间复杂度为O(2^n)
long int fib2(int n)
{
　　return (n <= 1) ? n : fib2(n-1) + fib2(n-2);
}

// 定义如下数组时，需要明确使用constexpr来修饰的函数
std::array<int, fib1(10)> array1;  // 编译ok
std::array<int, fib2(10)> array2;  // 编译出错

/*
题外话：相信玩过王者荣耀的小伙伴，应该知道诸葛亮“黄金分割率”这款皮肤，台词“完美的几何学者,以斐波那契数列分割战场。”

斐波那契数列：0，1，1，2，3，5，8，13，21，34，55，89，114...

这个数列从第3项开始，每一项都等于前两项之和，如果设an为该数列的第n项，n属于N，那么这句话可以写成如下形式：an = an-1 + an-2。

有趣的是，这样一个完全是自然数的数列，通项公式却是用无理数来表达的。而且当趋向于无穷大时，前一项与后一项的比值越来越逼近黄金分割0.618，所以它也被称为黄金数列！

*/

// C++ program to demonstrate uses of constexpr in constructor 
#include <iostream> 
using namespace std; 

class Rectangle 
{
int _h, _w;

public: 
    // 修饰一个类，函数体必须为空
    constexpr Rectangle (int h, int w) : _h(h), _w(w) {}

    // 修饰一个函数，_h, _w为全局，并且在实例化时就已经是初始化后的常量了
    constexpr int getArea () { return _h * _w; } 
}; 

int main() 
{ 
    // 对象在编译时就已经初始化了
    constexpr Rectangle obj(10, 20); 
    cout << obj.getArea() << endl; 
    return 0; 
}