constexpr 表示编译期可求值,const 仅表示运行期不可修改;constexpr 要求初始化表达式必须在编译期完全求值且隐含 const,而 const 变量未必是编译期常量。

constexpr 表示“编译期可求值”,而 const 仅表示“运行期不可修改”——这是最核心的区别。
const 只保证不可变,不保证编译期可知
声明为 const 的变量,只要初始化表达式不是编译期常量,它就只是运行期的只读变量。比如:
int x = 42; const int a = x; // 合法,但 a 不是编译期常量 constexpr int b = x; // 错误!x 不是编译期常量
这里 a 是 const,但无法用在需要编译期常量的上下文中(如数组大小、模板非类型参数)。
constexpr 要求编译期可计算,且隐含 const
所有 constexpr 变量自动是 const 的,但它还额外要求:初始化表达式必须能在编译期完全求值。例如:
立即学习“C++免费学习笔记(深入)”;
constexpr int c = 10 + 20; // ✅ 编译期算出 30 constexpr int d = std::sqrt(16); // C++20 起 ✅(若 sqrt 是 constexpr 版本) constexpr int e = rand(); // ❌ 运行期函数,不满足
注意:constexpr 函数或构造函数也需满足“在传入编译期常量时能返回编译期常量”这一约束。
使用场景差异明显
-
const常用于接口设计,表达“这个值我不会改”,比如函数参数、成员变量; -
constexpr专用于需要编译期确定值的地方:数组长度、模板参数、static_assert条件、case标签等; - 类的
constexpr构造函数允许创建字面类型(literal type)的对象,并在编译期初始化; - C++20 起,
constexpr支持更复杂的逻辑(如循环、动态内存分配),但前提是所有输入和路径都满足编译期求值条件。
小结:关键判断标准
- 能否用在
int arr[N];中的N?只有constexpr(或字面类型的const整型静态常量)可以; - 能否作为模板实参?如
std::array?必须是constexpr或等价的编译期常量; - 是否允许运行期初始化?
const允许,constexpr不允许(除非是 C++23 的 relaxed constexpr 某些情况); - 是否隐含
const?是的,constexpr变量一定是const的(但反过来不成立)。










