答案是constexpr用于编译期计算，提升性能与安全性。它使变量和函数在编译期求值，如square(5)直接生成25；结合模板可实现is_prime等编译期判断，增强类型系统能力。
在C++中，constexpr 是一个强大的特性，允许将函数或变量的计算过程提前到编译期，从而提升运行时性能并支持在需要常量表达式的上下文中使用。合理使用 constexpr 能让代码更高效、更安全。
理解 constexpr 的基本用法
constexpr 用于声明值或函数可以在编译期求值。它修饰的变量必须在编译期就能确定其值，而 constexpr 函数在传入的参数是常量表达式时，也会在编译期执行。
例如：
constexpr int square(int x) {
return x * x;
}
constexpr int val = square(5); // 编译期计算，val = 25
立即学习“C++免费学习笔记（深入）”；
这里 square(5) 在编译期完成计算，结果直接嵌入目标代码，不占用运行时资源。
在模板和类型系统中使用 constexpr
constexpr 常与模板结合，实现编译期逻辑判断和元编程。比如判断一个数是否为质数：
constexpr bool is_prime(int n) {
if (n <= 1) return false;
for (int i = 2; i * i <= n; ++i)
if (n % i == 0) return false;
return true;
}
static_assert(is_prime(17), "17 should be prime");
该函数在编译期评估，配合 static_assert 可用于验证编译期条件，增强类型安全。
constexpr 与用户自定义类型
C++11 起支持在类中定义 constexpr 构造函数和成员函数。只要对象的状态可在编译期确定，就可以用于常量表达式上下文。
示例：定义一个二维点结构：
struct Point {
constexpr Point(double x, double y) : x(x), y(y) {}
constexpr double distance() const {
return x * x + y * y;
}
double x, y;
};
constexpr Point p(3.0, 4.0);
constexpr double dist_sq = p.distance(); // 编译期计算距离平方
注意构造函数和成员函数都需标记为 constexpr，且逻辑必须满足编译期可执行的限制（如不能包含异常、动态内存等）。
优化技巧与注意事项
使用 constexpr 提升性能的同时，也需注意以下几点：
- 确保函数体简洁，只包含字面量类型操作，避免复杂控制流或不可预测调用
- 在 C++14 后，constexpr 函数允许更多运行时语句（如局部变量、循环），但仍需保证在常量表达式上下文中能求值
- 可用 if constexpr（C++17）实现编译期分支，消除无效代码路径
- 不要过度使用 constexpr，对非关键路径的简单计算可能增加编译时间
例如，使用 if constexpr 进行编译期配置选择：
templateconstexpr auto process(T value) { if constexpr (std::is_floating_point_v ) return value * 2.0; else return value + 1; }
该函数根据类型在编译期决定执行路径，无运行时开销。
基本上就这些。掌握 constexpr 的核心在于理解“何时可求值”和“如何写出合规函数”。用得好，能让程序更快更稳。
