使用 constexpr 可实现编译期计算，如阶乘函数在编译时求值，减少运行时开销，提升性能与安全性。

在C++中，编译期计算是一种提升程序性能的重要手段。通过在编译阶段完成尽可能多的计算，可以减少运行时开销，同时让代码更高效、更安全。实现这一目标的核心机制是常量表达式（constexpr）和相关编译期优化技术。

1. 使用 constexpr 进行编译期计算

constexpr 是 C++11 引入的关键字，用于声明可以在编译期求值的变量、函数或构造函数。只要传入的参数是常量表达式，且函数体满足限制条件，constexpr 函数就可以在编译期执行。

例如，一个计算阶乘的 constexpr 函数：

constexpr int factorial(int n) {
    return (n <= 1) ? 1 : n * factorial(n - 1);
}
constexpr int result = factorial(5); // 编译期计算，result = 120

这个调用在编译时就能确定结果，不会产生任何运行时代价。

2. 字面类型与 constexpr 构造函数

自定义类型也可以参与编译期计算，前提是它们是字面类型（Literal Type），并且提供 constexpr 构造函数。

比如一个简单的二维点类：

class Point {
public:
    constexpr Point(double x, double y) : x_(x), y_(y) {}
    constexpr double distance() const {
        return x_ * x_ + y_ * y_;
    }
private:
    double x_, y_;
};
constexpr Point p(3.0, 4.0);
static_assert(p.distance() == 25.0, "Distance should be 25");

这里 p 和其方法调用都在编译期处理，配合 static_assert 可以做编译期断言验证。

3. 模板元编程与 if constexpr（C++17）

模板元编程是另一种常见的编译期计算方式。结合 C++17 的 if constexpr，可以在编译期根据条件选择分支，而无需运行时判断。

示例：根据类型决定返回值：

template
constexpr auto process(T value) {
    if constexpr (std::is_floating_point_v) {
        return value * 2.0;
    } else if constexpr (std::is_integral_v) {
        return value + 1;
    }
}

所有分支在实例化时就被裁剪，只保留符合条件的部分，生成的代码非常干净。

4. 编译期优化的实际好处

• 减少运行时计算，提高执行效率
• 支持数组大小、位域长度等需要常量的场景
• 增强类型安全和错误检查（如 static_assert）
• 生成更小、更高效的机器码

合理使用 constexpr 和模板技术，可以让很多原本在运行时完成的工作提前到编译期，这对性能敏感的应用（如嵌入式系统、数学库、游戏引擎）尤为重要。

基本上就这些。掌握编译期计算不仅能让代码更快，还能推动你写出更现代、更可靠的 C++ 程序。不复杂但容易忽略。