使用 constexpr 可实现编译期计算，如阶乘函数在编译时求值，减少运行时开销，提升性能与安全性。
在C++中，编译期计算是一种提升程序性能的重要手段。通过在编译阶段完成尽可能多的计算，可以减少运行时开销，同时让代码更高效、更安全。实现这一目标的核心机制是常量表达式（constexpr）和相关编译期优化技术。
1. 使用 constexpr 进行编译期计算
constexpr 是 C++11 引入的关键字，用于声明可以在编译期求值的变量、函数或构造函数。只要传入的参数是常量表达式，且函数体满足限制条件，constexpr 函数就可以在编译期执行。
例如，一个计算阶乘的 constexpr 函数：
constexpr int factorial(int n) {
return (n <= 1) ? 1 : n * factorial(n - 1);
}
<p>constexpr int result = factorial(5); // 编译期计算，result = 120</p><p><span>立即学习</span>“<a href="https://pan.quark.cn/s/6e7abc4abb9f" style="text-decoration: underline !important; color: blue; font-weight: bolder;" rel="nofollow" target="_blank">C++免费学习笔记（深入）</a>”；</p>这个调用在编译时就能确定结果，不会产生任何运行时代价。
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_;
};
<p>constexpr Point p(3.0, 4.0);
static_assert(p.distance() == 25.0, "Distance should be 25");</p></static>这里 p 和其方法调用都在编译期处理，配合 static_assert 可以做编译期断言验证。
3. 模板元编程与 if constexpr（C++17）
模板元编程是另一种常见的编译期计算方式。结合 C++17 的 if constexpr，可以在编译期根据条件选择分支，而无需运行时判断。
示例：根据类型决定返回值：
template<typename T>
constexpr auto process(T value) {
if constexpr (std::is_floating_point_v<T>) {
return value * 2.0;
} else if constexpr (std::is_integral_v<T>) {
return value + 1;
}
}
所有分支在实例化时就被裁剪，只保留符合条件的部分，生成的代码非常干净。
4. 编译期优化的实际好处
- 减少运行时计算，提高执行效率
- 支持数组大小、位域长度等需要常量的场景
- 增强类型安全和错误检查（如 static_assert）
- 生成更小、更高效的机器码
合理使用 constexpr 和模板技术，可以让很多原本在运行时完成的工作提前到编译期，这对性能敏感的应用（如嵌入式系统、数学库、游戏引擎）尤为重要。
基本上就这些。掌握编译期计算不仅能让代码更快，还能推动你写出更现代、更可靠的 C++ 程序。不复杂但容易忽略。
