constexpr函数需在编译期求值，提升性能；2. 函数体仅限声明、return、空语句等简单操作；3. C++11不支持局部静态变量，C++14起允许且需常量初始化；4. 参数与返回类型须为字面类型；5. C++14起支持循环与递归，可实现编译期阶乘等计算。
在C++中，constexpr函数用于支持编译期计算，允许在编译阶段求值表达式，从而提升运行时性能并实现类型系统层面的优化。但为了保证可预测性和安全性，编译器对constexpr函数的编写有严格限制。了解这些限制是编写高效、合规的编译期计算函数的关键。
函数体必须仅包含有限的操作
constexpr函数并非所有C++语句都可使用。从C++11到C++20，标准逐步放宽了限制，但仍需遵守基本规范：
- 函数体内只能包含声明、定义、return语句以及空语句等简单控制流
- 不能包含
goto语句和try-catch异常处理块（C++23前） - 局部静态变量在C++11中不被允许，在C++14及以后版本中才支持，但要求其初始化为常量表达式
例如，以下代码在C++11中非法，但在C++14及以上合法：
constexpr int func() {static int x = 5;
return x++; // 注意：仍不可变，因非字面类型或副作用问题可能失败
}
返回值和参数需为字面类型（Literal Type）
constexpr函数的参数和返回类型必须是字面类型，即可以在编译期确定的类型。常见字面类型包括：
立即学习“C++免费学习笔记（深入）”；
- 基本数据类型（如
int、double、bool） - 指针和引用（指向字面类型的）
- 聚合类或满足特定条件的自定义类（拥有 constexpr 构造函数）
如果函数接受或返回复杂对象（如std::string或动态容器），则无法在编译期求值，除非使用C++20引入的更宽松规则（如consteval或支持动态内存的constexpr分配）。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
递归与循环的支持程度随标准演进
早期C++11只允许条件表达式（如三元运算符）进行“伪递归”，不允许传统循环。但从C++14开始，constexpr函数可以使用：
-
for、while循环 - 普通递归调用（只要递归深度在编译器限制内）
这意味着你可以编写像阶乘、斐波那契这样的编译期计算函数：
constexpr long long factorial(int n) {if (n return n * factorial(n - 1);
}
只要调用时传入的是常量表达式（如factorial(5)），结果将在编译期完成计算。
不能调用非常量表达式函数
constexpr函数内部只能调用其他constexpr函数或语言内置操作。调用普通函数或带有副作用的函数会导致编译错误：
- 禁止调用
printf、new（C++14前）、virtual函数等 - 标准库中许多函数直到C++17/20才被标记为
constexpr，使用前需确认版本支持
例如，std::sqrt直到C++26才计划成为constexpr，此前无法在constexpr上下文中使用。
基本上就这些。编写constexpr函数时，关键是保持逻辑简单、类型明确，并依赖标准演进带来的新能力。不复杂但容易忽略。
