constexpr 是 c++11 引入的关键字,用于声明编译期可求值的常量表达式。1. 它适用于变量或函数在编译时即可确定结果的情况,如数组大小、模板参数和小型计算;2. 与 const 不同,constexpr 强调编译时常量性,而 const 仅表示只读;3. constexpr 可用于变量、函数、构造函数、lambda(c++17)等,但函数体需足够简单;4. 使用 constexpr 能提升性能、增强类型安全并支持模板元编程;5. 不适合复杂计算或依赖运行时数据的情形。例如,constexpr int square(int x) { return x * x; } 可在编译时确定值,从而 int arr[square(4)] 合法。总之,constexpr 的核心在于实现编译期计算,提高程序效率和安全性。

constexpr是 C++11 引入的一个关键字,用于声明“常量表达式”,也就是在编译阶段就能确定结果的表达式。它的核心作用是告诉编译器:这个变量或函数可以在编译时计算,并且其值是固定的。

这听起来可能有点抽象,简单来说,就是如果你写了一段代码,里面的某个值或者某个函数逻辑足够简单、没有运行时才能知道的信息,那就可以用
constexpr来让编译器提前算出来,而不是等到程序运行的时候再去计算。

什么时候该用 constexpr?
当你希望某个值在编译期就确定下来,并且不会改变时,就可以考虑使用
constexpr。常见场景包括:
- 定义数组大小
- 模板参数中需要常量表达式的场合
- 需要优化性能的小型计算
比如下面这个例子:

constexpr int square(int x) {
return x * x;
}
int arr[square(4)]; // 编译时就知道是 16,没问题这里
square(4)在编译时就被替换成 16,不需要运行时再计算。
constexpr 和 const 有什么区别?
这是很多人容易混淆的地方。
const
表示“只读”,但不一定是编译时常量。constexpr
才是真的要求在编译时就能计算出结果。
举个例子:
const int a = 10; constexpr int b = 20; int arr1[a]; // 有些编译器允许,但不是标准保证 int arr2[b]; // 合法,因为 b 是编译时常量
关键区别在于:
const变量可以绑定到运行时才决定的值(比如函数返回值),而
constexpr必须在编译时能求值。
constexpr 能用在哪些地方?
C++ 中
constexpr的适用范围很广,主要包括:
- 变量声明
- 函数(包括成员函数)
- 构造函数
- lambda 表达式(从 C++17 开始)
不过要注意的是,不是所有函数都能加
constexpr。函数体必须足够简单,比如不能有复杂的循环、递归深度有限制等。
例如一个合法的
constexpr函数:
constexpr int max(int a, int b) {
return a > b ? a : b;
}但如果函数里用了虚函数、异常处理、全局状态等,那就不能用
constexpr了。
使用 constexpr 有什么好处?
最直接的好处就是提升性能和安全性:
- 提前计算,减少运行时负担
- 增强类型安全,避免魔法数字
- 更好的支持模板元编程
此外,在现代 C++ 中,很多 STL 组件也开始支持
constexpr,比如 C++20 的
std::string和
std::vector部分方法都可以在编译期使用。
当然,也不是所有地方都适合用
constexpr。如果计算太复杂或者依赖运行时数据,强行加上可能会导致编译失败或者效率反而下降。
基本上就这些。
理解
constexpr的关键是搞清楚它强调的是“编译期可求值”这一点。只要你的代码满足条件,用上它能让程序更高效、也更容易优化。









