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