**标题：C++中的`constexpr`与`const`：何时使用哪个？**

作者

在C++程序设计中，const和constexpr都用于声明不可变的实体，但它们的语义、适用场景以及编译期与运行期的行为差异常常让初学者产生困惑。本文将从定义、使用时机、性能影响、编译期计算以及标准演进等维度，深入剖析这两个关键字的区别，并给出实际编程中的最佳实践建议。

1. 基本定义

关键字 作用 适用范围 计算时机
const 声明一个在其生命周期内不可修改的对象 变量、指针、引用、函数返回值等 运行时（可能在编译期被优化）
constexpr 声明一个可以在编译期求值的常量 变量、函数、构造函数、模板参数等 编译期（满足 constexpr 条件时）
  • const 本质是“只读”，但它并不要求在编译期就能确定其值。
  • constexpr 强制编译器在满足条件时将表达式在编译期间求值，从而把计算成本转移到编译阶段。

2. 适用场景对比

场景 const 适用 constexpr 适用
需要在运行时根据用户输入或外部文件决定的常量 ✅ ❌
用作数组下标、switch 语句标签、模板参数 ✅ ✅
用于实现函数式编程中不可变的数据结构 ❌ ✅
用于在编译期生成常量表、数学公式、字符串拼接 ❌ ✅
需要与指针/引用交互，保证指针不被修改 ✅ ✅（若指向的是 constexpr 对象）

示例 1：const 的典型用法

const int daysInWeek = 7;
int arr[daysInWeek];   // 仅在 C++11 前可行，C++14 及以后要求为 constexpr

示例 2：constexpr 的典型用法

constexpr int factorial(int n) {
    return n <= 1 ? 1 : n * factorial(n - 1);
}

constexpr int fact5 = factorial(5);  // 计算在编译期完成
int arr[fact5];  // 在 C++11 之后合法

3. 性能与优化

  • 编译期计算：constexpr 可将部分计算提前到编译期，减少运行时开销。
  • 内存占用：constexpr 对象往往是立即内联的，不会占用额外的运行时存储空间；而 const 变量可能仍保留在内存中。
  • 编译器优化：现代编译器（如 GCC、Clang、MSVC）在满足条件时会把 const 也常量折叠为编译期常量；但 constexpr 更强制，能避免编译器误判。

4. 语法细节与限制

特点 const constexpr
函数返回值 只能返回对象，不能返回临时对象（除非移动构造） 必须返回可在编译期求值的类型
递归 可递归（若返回值为 const） 递归受限，C++20 之后可递归模板实现
对象初始化 需要在声明时给出初始值，或在构造函数中初始化 必须在声明时给出可在编译期求值的初始值
作用域 受限于对象所在作用域 同上，但更易被内联到不同翻译单元

小技巧：若想在运行时决定一个“只读”对象，使用 const；若想保证在编译期就已确定，使用 constexpr。

5. 标准演进

  • C++11：首次引入 constexpr，仅支持基本类型和 constexpr 函数。
  • C++14：放宽了 constexpr 函数的限制，允许循环、if 语句等。
  • C++17：constexpr 变量可以是类类型，支持非平凡构造函数。
  • C++20：引入了 consteval（强制编译期求值）和更完善的 constexpr 模板。

6. 实战建议

  1. 常量表达式：如数学常数、配置表等，尽量使用 constexpr，以提升执行效率。
  2. 函数式编程：如果你在实现纯函数或不可变数据结构，使用 constexpr 函数可保证不产生副作用。
  3. 兼容性：在需要兼容旧编译器或旧标准时，使用 const 作为后备；若编译器支持 C++11+，尽量使用 constexpr。
  4. 命名约定：习惯使用 k 前缀或全大写来区分常量，例如 constexpr int kPi = 3.1415926535;。
  5. 调试：在调试时观察编译器生成的汇编，确认 constexpr 是否真的被内联，避免误认为是 const 的优化。

7. 小结

  • const：只读保证，运行时或编译时可折叠，适用于不可变但不一定可编译期求值的场景。
  • constexpr：强制编译期求值，可用于优化性能、实现模板元编程和函数式编程。

理解两者的区别并根据需求正确使用，是提升 C++ 代码质量与性能的关键。希望本文能帮助你在日常开发中更精准地选择 const 与 constexpr。

发表评论