constexpr到底是什么？从编译期常量表达式的定义到基础用法
概念与定义
在<C++语言中，constexpr是用来标记能够在编译期求值的表达式或对象的关键字。它的核心目标是让一部分计算在编译阶段完成，从而在运行时减少开销并提升代码的可预测性。
通过把函数或变量标记为constexpr，编译器可以把某些计算结果提前得到，并在编译期间将其固化为常量。编译期常量表达式的属性决定了这些值是否可以直接用作数组大小、模板参数或其他需要常量的场景。
// 基本的编译期常量表达式示例
constexpr int add(int a, int b) { return a + b; }
constexpr int x = add(2, 3); // x 在编译期计算得到
函数与变量的 constexpr 用法
constexpr不仅可以修饰变量，也可以修饰函数。constexpr函数在满足一定规则时，其返回值可以在编译期求出，进而用于静态断言、编译期计算等场景。
需要注意的是，constexpr函数在早期的C++标准中存在限制，但在C++14及以后的版本中对控制流和变量声明的支持更完善，使得更多的表达式可以在编译期进行求值。
// constexpr 函数示例（需要 C++11/14 及以上支持）
constexpr int square(int v) { return v * v; }
constexpr int y = square(5); // 编译期求值
static_assert(y == 25, "compile-time check");
constexpr在性能优化中的实战
用 constexpr 将计算移至编译期
通过把重复且确定性的计算放到编译期完成，可以显著减小运行时的开销，避免不必要的循环和分支。编译期求值的结果通常会被直接内嵌到生成的代码中，提升缓存命中率和执行效率。
一个典型的做法是将常量表达式声明为constexpr，并借助static_assert进行编译期断言，确保在编译阶段就能捕捉到错误。
// 使用 constexpr 进行编译期计算
constexpr int pow2(int n) { return (n <= 0) ? 1 : 2 * pow2(n - 1); }
static_assert(pow2(4) == 16, "pow2 compile-time check");
模板与 constexpr 的协同
在模板场景中，constexpr可以与模板参数结合，实现在编译期生成不同的代码路径或数据结构。通过将常量信息传递给模板，可以让编译器在展开阶段完成大量静态工作，避免运行时分支。
一个实用的模式是借助模板非类型参数和constexpr类型，生成一个在编译期已知大小和内容的序列或表格，避免运行时构造。
#include
template
constexpr std::array make_seq() {std::array a{};for (std::size_t i = 0; i < N; ++i) a[i] = static_cast(i);return a;
}
constexpr auto seq = make_seq<8>(); // 编译期生成的序列
static_assert(seq[3] == 3, "");
常见误区与边界条件
constexpr 并非全能的解决方案
尽管constexpr能够在很多场景下提升性能，但它并不适用于所有计算。一些涉及运行时输入、不可确定性或高成本副作用的运算，仍需在运行时完成。适用场景往往是恒定不变的前提条件下的计算。
在设计数据结构和接口时，要避免滥用constexpr导致编译时间过长或代码膨胀。合理的做法是将确实可以在编译期求值的部分独立出来，同时保留动态计算的路径。
// 不要把所有计算都强行放到编译期
// 对于高速变化的输入，依然需要在运行时处理
不同版本对 constexpr 的支持差异
随着 C++11、C++14、C++17、C++20 等版本的发展，对constexpr的支持逐步增强。不同编译器和版本之间的差异可能影响可用的表达式、循环、以及对变量的限制。版本兼容性是设计跨平台库时需要关注的关键点。
在实际开发中，最好结合目标编译器的文档，使用static_assert和实例化测试来验证编译期表达式在目标环境中的行为。
// C++14 对 constexpr 的增强示例
constexpr bool is_even(int x) { return (x % 2) == 0; }
static_assert(is_even(4), "4 should be even");
