- 该新关键字想要解决的问题
- const 关键字保证变量初始化之后不再允许改变，而这里说的初始化很多时候是需要等到运行期才能确定，因为涉及的语句不一定都是常量表达式。如何让 C++ 代码明确表达字面值常量的变量，达到清晰、明确以及提高性能的效果？
- 变量：使用 constexpr 修饰的变量，在编译期而非运行期就能确保其由常量表达式初始化为常量。
- constexpr int a = 1；
- constexpr int b = a + 1；
- 函数：返回类型及所有形参的类型都得是字面值类型，而且要求函数体只能有一条语句，即 return 语句。
- constexpr int new_sz() { return 1 };
- constexpr int a = new_sz();
- C++14 去除了只能有一条语句的限制，只需确保编译期能确定返回字面值。
- 注意，形参要求为字面值类型，但实际调用函数时实参可能无法编译期计算（非常量表达式），此时编译将不报错，该函数调用就等到运行期进行参数计算。
- 构造函数：一个字面值常量类必须至少提供一个 constexpr 构造函数。该构造函数的函数体为空，通过初始化列表进行数据成员初始化。一般用法是使用字面值参数调用 constexpr 构造函数实例化一个字面值对象，然后通过该对象调用相应的 constexpr 成员函数。
- constexpr Debug(bool h, bool i, bool o) : hw(h), io(i), other(o) { }
- constexpr bool any() { return hw || io || other; }
- constexpr Debug io_sub(false, true, false);
- io_sub.any();
- 参考
- 《C++ Primer（第 5 版）》
- 扩展阅读
- 《C++11/14 constexpr 用法》https://www.jianshu.com/p/34a2a79ea947