const 表示运行时只读,constexpr 要求编译期可计算;前者用于防止修改,后者用于编译期优化和常量表达式场景。

在C++中,const 和 constexpr 都用于定义不可变的值,但它们在语义和使用场景上有本质区别。理解这些差异对编写高效、安全的代码至关重要,尤其是在涉及编译期计算和常量表达式时。
const 表示运行时常量性
const 关键字表示“只读”,即对象的值在初始化后不能被修改。但它并不保证该值在编译期就能确定。
• const 变量可以在运行时初始化,例如通过函数参数或用户输入。• 它主要用于防止意外修改数据,提供类型安全和接口约束。
• 不能用作需要编译期常量的上下文,比如数组大小或模板非类型参数(除非是字面量类型且实际在编译期已知)。
示例:
const int size = getBufferSize(); // 合法,但 size 的值在运行时才确定
上述代码中,size 是 const,但不是编译期常量,因此不能用来定义数组维度(在C++标准数组中)。
立即学习“C++免费学习笔记(深入)”;
constexpr 要求编译期可计算
constexpr 表明变量或函数的值可以在编译期求值,并且必须由常量表达式初始化。
• constexpr 变量必须在编译期就能得出结果。• constexpr 函数在传入的是常量表达式时,会在编译期执行;否则退化为普通函数在运行时执行。
• 可用于数组长度、模板参数、case 标签等需要编译期常量的场合。
示例:
constexpr int square(int x) { return x * x; }
constexpr int val = square(5); // 编译期计算,val == 25这里 square(5) 在编译期完成计算,val 是真正的编译期常量。
编译期计算的优势
使用 constexpr 实现编译期计算,带来多项性能与安全性提升:
• 性能优化:将计算从运行时移到编译时,减少程序启动和执行开销。• 更早的错误检测:如果表达式无法在编译期求值,编译器会报错,提高代码健壮性。
• 支持元编程:结合模板和 constexpr,可以实现复杂的编译期逻辑,如类型检查、数值计算等。
• 提升常量传播效率:编译器更容易进行常量折叠和内联优化。
例如,在模板编程中:
templatestruct LookupTable { static constexpr int value = N * N + 1; };
只有 constexpr 才能让 N*N+1 在实例化时作为非类型模板参数处理。
总结与建议
const 强调“不可修改”,适用于运行时确定的只读数据;constexpr 强调“编译期可求值”,是实现零成本抽象和高性能计算的关键工具。
• 如果你希望一个值在编译期就确定并参与常量表达式,使用 constexpr。• 如果只是防止修改,而初始化依赖运行时数据,使用 const。
• 尽可能将数学计算、配置常量、小型函数标记为 constexpr,以启用编译期优化。
基本上就这些。正确使用 constexpr 不仅提升性能,也增强了代码的表达力和安全性。不复杂但容易忽略。










