C++中const与constexpr区别解析

const定义运行时常量，值可运行时确定；constexpr要求编译时常量，必须在编译期计算，适用于数组大小等需编译期常量的场景。

在C++中，const 和 constexpr 都用于定义不可变的值，但它们的语义和使用场景有重要区别。理解这些差异有助于写出更高效、更安全的代码。

const 表示运行时常量

const 用来声明一个“只读”变量，表示该变量一旦初始化后就不能被修改。它的值可以在编译时确定，也可以在运行时确定。

例如：

const int a = 10; // 编译时常量
const int b = getTime(); // 运行时才能确定，调用函数

这里，a 的值在编译时已知，而 b 的值依赖于函数 getTime() 的返回，只能在运行时确定。因此，b 是运行时常量。

注意：即使 const 变量在编译时能确定值，编译器也不一定将其当作常量表达式使用（比如作为数组大小），除非明确支持。

constexpr 表示编译时常量

constexpr 要求变量或函数的值必须在编译时计算出来。它强调“常量表达式”，可用于需要编译期常量的上下文中。

例如：

constexpr int x = 5;
constexpr int y = x * 2; // 正确：编译时可计算
constexpr int z = getTime(); // 错误：getTime() 不是 constexpr 函数

如果尝试将运行时才能确定的值赋给 constexpr 变量，编译会失败。

此外，constexpr 也可用于函数和构造函数，表示这些函数在传入的是常量表达式时，可以在编译时求值。

关键区别总结

• 求值时机：const 值可在运行时确定；constexpr 必须在编译时确定。
• 用途限制：constexpr 可用于数组大小、模板参数等需要编译期常量的地方；const 在某些情况下不行。
• 函数支持：constexpr 可修饰函数，使其在合适输入下编译时求值；const 修饰成员函数表示不修改对象状态，语义不同。
• 兼容性：所有 constexpr 变量自动具有 const 属性，但反过来不成立。

实际建议

如果你希望一个值在编译期就确定，并能用于模板参数、数组长度等上下文，应使用 constexpr。如果只是防止修改变量，且值可能来自运行时输入，则用 const 更合适。

现代C++推荐优先考虑 constexpr，尤其是在定义数学常量、配置常量等场景，有助于提升性能和类型安全。

基本上就这些。两者不是替代关系，而是互补，根据需求选择即可。