constexpr 可在编译期求值，C++14 起支持循环、局部变量等复杂逻辑，提升编译期计算能力。

constexpr 是 C++11 引入的关键字，用于声明可以在编译期求值的常量表达式。合理使用 constexpr 不仅能提升程序性能，还能让编译器在编译阶段完成计算，减少运行时开销。从 C++14 开始，constexpr 的限制大幅放宽，支持更复杂的逻辑，使得编译期计算变得更加实用。

constexpr 基本用法

使用 constexpr 修饰变量或函数，表示其值在编译期就可确定。

• 变量：必须由常量表达式初始化。• 函数：函数体必须能在编译期执行，且返回值可用于常量表达式。

示例：

constexpr int square(int x) { return x * x;}constexpr int val = square(5); // 编译期计算，val = 25

这里 square(5) 在编译时就被计算为 25，无需运行时参与。

立即学习“C++免费学习笔记（深入）”；

constexpr 函数的规则演变

C++11 中的 constexpr 函数要求非常严格：只能包含一条 return 语句，不能有循环、局部变量等复杂结构。

C++14 起大幅放宽限制，允许：

• 多条语句• 局部变量• if/switch 分支• 循环（for、while）

例如，C++14 可以这样写一个编译期阶乘函数：

Model Switcher

根据任务复杂度自动切换不同的AI模型。支持OpenClaw设置中的所有可用模型。当检测到复杂...

下载

constexpr int factorial(int n) { int result = 1; for (int i = 2; i result *= i; } return result;}constexpr int fact5 = factorial(5); // 编译期计算为 120

只要调用参数是编译期常量，整个计算就在编译时完成。

与模板元编程对比的优势

过去常用模板递归实现编译期计算，如：

templatestruct Factorial { static constexpr int value = N * Factorial::value;};template struct Factorial { static constexpr int value = 1; };

虽然有效，但语法复杂，调试困难。constexpr 提供了更直观、易读的替代方案，逻辑清晰，接近普通函数写法，同时保持编译期求值能力。

实际应用场景

constexpr 特别适合以下场景：

• 数学常量计算（如 π 的近似值、幂运算）• 容器大小或索引的预计算• 配置参数的编译期校验• 字符串哈希值（C++17 后支持更多字符串操作）

例如，编译期计算字符串哈希：

constexpr unsigned const_hash(const char* str, int len) { unsigned hash = 0; for (int i = 0; i hash = hash * 31 + str[i]; } return hash;}constexpr auto hash_val = const_hash("hello", 5);

该哈希值在编译期生成，可用于 switch 或查找表优化。

基本上就这些。掌握 constexpr 能显著提升代码效率和安全性，尤其在嵌入式、高性能计算等对运行时敏感的领域。关键是确保传入的参数是编译期常量，否则会退化为运行时计算（仍合法，但失去优化优势）。