constexpr是C++中用于声明编译期常量表达式的关键字，可修饰变量和函数，确保其值在编译时计算。与const仅表示不可修改不同，constexpr强调编译期可计算性，支持数组大小、模板参数等场景。例如constexpr int square(int n) { return n n; }可在编译期求值，constexpr int val = square(5)合法且val为25，可定义数组int arr[val]。C++11中constexpr函数限制严格，仅允许一条return语句及非执行语句；C++14起放宽限制，允许局部变量、循环和条件分支，如constexpr int factorial(int n) { int result = 1; for (int i = 2; i
在C++中，constexpr 是一个关键字，用于声明可以在编译期求值的常量表达式。它让开发者能够将计算提前到编译阶段，从而提升运行时性能，并支持需要编译期常量的场景，比如数组大小、模板参数等。
什么是 constexpr？
constexpr 修饰的变量或函数表示其值在编译期就已知。与 const 不同，const 只表示不可修改，而 constexpr 强调“可在编译期计算”。
例如：
constexpr int square(int n) {
return n * n;
}
<p>constexpr int val = square(5); // 编译期计算，val = 25
int arr[val]; // 合法：val 是编译期常量
constexpr 函数的使用规则
从 C++11 开始，constexpr 函数有严格限制：函数体必须足够简单，通常只包含一条 return 语句（C++14 起放宽了限制）。
立即学习“C++免费学习笔记（深入）”；
- C++11 中，constexpr 函数体内只能有 return、typedef、static_assert 等非执行语句
- C++14 起允许使用局部变量、循环、条件分支等更复杂的逻辑
- 函数必须接受和返回字面类型（literal type），如基本类型、某些类类型
示例（C++14 风格）：
constexpr int factorial(int n) {
int result = 1;
for (int i = 2; i <= n; ++i)
result *= i;
return result;
}
<p>constexpr int f5 = factorial(5); // 编译期计算为 120
在模板和元编程中的应用
constexpr 常用于模板编程中替代复杂的模板元编程技术（如递归结构体），使代码更直观。
比如实现编译期斐波那契数列：
constexpr int fib(int n) {
return (n <= 1) ? n : fib(n - 1) + fib(n - 2);
}
<p>constexpr int f10 = fib(10); // 编译期得到结果 55
相比传统模板特化方式，constexpr 写法简洁，可读性高。
与 constinit 和 consteval 的区别（C++20）
C++20 引入了两个新关键字来进一步明确常量初始化语义：
- consteval：要求函数**必须**在编译期求值，否则报错
- constinit：确保变量在编译期完成初始化（用于静态存储期变量）
举例：
consteval int add(int a, int b) {
return a + b;
}
<p>// add(2,3) 必须在编译期调用，不能传运行时变量
int x;
// add(x, 3); // 错误：x 不是编译期常量
这使得编译期计算更加可控和安全。
基本上就这些。合理使用 constexpr，可以写出高效、安全、清晰的 C++ 代码，充分利用编译期计算能力。不复杂但容易忽略细节，比如确保输入是常量表达式才能触发编译期求值。
