constexpr 是一种在编译时进行计算的机制，旨在提升运行时性能。1. constexpr 函数需足够简单，通常仅含单一 return 语句，确保编译器可在编译期求值；2. constexpr 变量必须用常量表达式初始化，其值在编译时确定；3. constexpr 可与模板结合，实现编译时递归计算，如阶乘；4. 使用 static_assert 可验证 constexpr 函数是否真正在编译时执行；5. constexpr 构造函数允许在编译时创建对象，但对构造函数体有严格限制；6. constexpr 有使用限制，不能包含副作用，且过度使用可能影响代码可读性；7. 在嵌入式系统中，constexpr 可减少运行时开销，提升效率；8. 结合模板和 static_assert，constexpr 还可用于元编程，实现复杂编译时逻辑。
constexpr 允许我们在编译时进行计算，从而提高运行时的性能。本质上，它告诉编译器：“嘿，伙计，这个值在编译的时候我就能算出来，你别等到运行的时候再磨蹭了！”
constexpr 编程技巧，直接上干货：
constexpr 函数的正确打开方式
constexpr 函数必须足够简单，以便编译器在编译时进行求值。这意味着它只能包含单一的 return 语句（或者在 c++14 之后，一些更复杂的操作）。举个栗子：
立即学习“C++免费学习笔记（深入）”；
constexpr int square(int x) { return x * x; } int main() { constexpr int result = square(5); // 编译时计算 int arr[result]; // 合法，result 是编译期常量 return 0; }
如果 square 函数太复杂，编译器就没法在编译时计算出结果，就会报错。记住，constexpr 函数的参数和返回值类型都必须是字面值类型（literal type），比如 int, Float, char 等，不能是自定义的类（除非这个类也很简单，满足 constexpr 的要求）。
constexpr 变量：编译时常量的基石
constexpr 变量必须用常量表达式初始化。这保证了变量的值在编译时就已经确定。
constexpr double pi = 3.14159265358979323846; constexpr int array_size = 10; int myArray[array_size]; // OK
如果试图用一个运行时才能确定的值去初始化 constexpr 变量，编译器会毫不留情地报错。
constexpr 和模板：编译时计算的强大组合
constexpr 和模板结合使用，可以实现更强大的编译时计算。例如，可以编写一个 constexpr 模板函数来计算任意类型的阶乘：
template <typename T, T n> constexpr T factorial() { return (n == 0) ? 1 : n * factorial<T, n - 1>(); } int main() { constexpr int result = factorial<int, 5>(); // 编译时计算 5 的阶乘 return 0; }
这个例子展示了 constexpr 如何与模板结合，实现编译时递归计算。注意，递归深度有限制，太深的递归会导致编译失败。
如何判断 constexpr 函数是否真的在编译时执行了？
一个简单的办法是使用 static_assert。如果 constexpr 函数没有在编译时执行，static_assert 就会报错。
constexpr int add(int a, int b) { return a + b; } int main() { static_assert(add(2, 3) == 5, "add 函数没有在编译时执行！"); return 0; }
如果编译通过，说明 add(2, 3) 在编译时被计算出来了。如果编译失败，说明 constexpr 函数没有按预期工作。
constexpr 对象：让你的类也能在编译时使用
C++11 引入了 constexpr 构造函数，允许创建 constexpr 对象。这意味着可以在编译时创建和操作对象。
class Point { public: constexpr Point(int x, int y) : x_(x), y_(y) {} constexpr int get_x() const { return x_; } constexpr int get_y() const { return y_; } private: int x_; int y_; }; int main() { constexpr Point p(10, 20); constexpr int x = p.get_x(); // 编译时获取 x 坐标 return 0; }
constexpr 构造函数的要求比较严格，比如函数体必须为空，或者只包含一个 return 语句。但是，它允许我们在编译时创建复杂的数据结构，这在某些场景下非常有用。
constexpr 的限制与陷阱：并非万能灵药
constexpr 并非没有限制。constexpr 函数必须足够简单，constexpr 变量必须用常量表达式初始化。如果违反这些规则，编译器会报错。此外，constexpr 函数不能包含副作用，比如修改全局变量或执行 I/O 操作。constexpr 是一种优化手段，而不是解决所有问题的银弹。过度使用 constexpr 可能会导致代码可读性下降，增加维护成本。
constexpr 在嵌入式系统中的应用：提升性能的关键
在资源受限的嵌入式系统中，constexpr 的作用尤为重要。通过在编译时进行计算，可以减少运行时的计算量，从而提高系统的性能和效率。例如，可以使用 constexpr 来计算查找表、生成预计算的数据等。
constexpr 与元编程：编译时计算的艺术
constexpr 是元编程的重要组成部分。元编程是一种在编译时生成代码的技术。通过结合 constexpr、模板和 static_assert，可以实现复杂的编译时计算和代码生成。例如，可以编写一个元程序来计算矩阵的逆、优化算法等。元编程是一种高级技术，需要深入理解 C++ 的模板和 constexpr 机制。
