constexpr用于声明编译期常量表达式,可修饰变量、函数和构造函数;变量必须在编译期确定值,函数在参数为常量时于编译期求值;支持编译期计算优化性能,提升类型安全,广泛应用于现代C++的模板和标准库中。

constexpr 是 C++11 引入的关键字,用于声明“常量表达式”,即在编译期就能求值的表达式。它不仅能定义编译期常量,还能修饰函数和构造函数,使它们在合适的情况下于编译时执行,从而提升程序性能并支持模板元编程等高级特性。
编译期常量表达式的基本用法
使用 constexpr 声明的变量必须在编译期就能确定其值,且该值不可修改。这与 const 不同——const 只表示运行时常量,而 constexpr 要求真正的编译期计算。
-
constexpr int size = 10;—— 合法,整数字面量可在编译期计算 -
constexpr int x = std::sqrt(4);—— C++26 前不合法(除非 sqrt 被 constexpr 修饰) -
int n = 5; constexpr int y = n;—— 非法,n 是变量,无法在编译期确定
constexpr 函数:让函数参与编译期计算
被 constexpr 修饰的函数,在传入的是编译期常量时,会尝试在编译期求值;否则退化为普通函数在运行时执行。这提供了极大的灵活性。
- 函数体通常只包含一条 return 语句(C++11),C++14 起允许更复杂的逻辑
- 参数和返回类型必须是“字面类型”(literal type),如基本类型、简单类等
- 示例:
constexpr int square(int n) { return n * n; }constexpr int val = square(5); // 编译期计算,val = 25
立即学习“C++免费学习笔记(深入)”;
constexpr 构造函数与对象
如果一个类的构造函数被声明为 constexpr,并且用于初始化的对象使用常量表达式,那么该对象也可成为编译期常量。
- 构造函数体必须为空或仅含初始化列表
- 所有成员也必须能由常量表达式初始化
- 可用于数组大小、模板非类型参数等需要编译期常量的场景
性能优化与实际应用
constexpr 的最大优势在于将计算从运行时转移到编译时,减少运行开销,尤其适用于数学计算、字符串处理、配置常量等。
- 避免重复运行时计算,如查表、单位换算
- 配合模板使用,实现类型安全的编译期断言或配置
- 现代 C++ 标准库中大量使用(如
std::array、std::chrono中的部分函数)
基本上就这些。合理使用 constexpr 能显著提升程序效率,同时增强类型安全和可读性,是现代 C++ 性能优化的重要手段之一。不复杂但容易忽略。










