c++中const和constexpr的区别_C++编译期常量与运行期常量区别

const变量在运行期确定,用于防止修改;constexpr变量必须在编译期确定,可用于数组大小和模板参数;constexpr隐含const,但const不一定是constexpr。

在C++中,constconstexpr 都用于定义不可变的值,但它们的核心区别在于:一个是运行期常量,另一个是编译期常量。理解它们的差异对于优化程序性能和使用模板编程非常重要。

const 是运行期常量

const 修饰的变量表示“只读”,其值在初始化后不能被修改。但它并不保证这个值在编译期就能确定。

  • const 变量可以在运行时初始化,比如通过函数返回值或用户输入。
  • 因此,const 变量不一定能用作需要编译期常量的场景,例如数组大小、模板参数等。
  • 例子:

const int a = 10;                  // 编译期常量(如果初始化值是常量表达式)
const int b = getTime(); // 运行期才确定值,只能在运行期使用

constexpr 是编译期常量

constexpr 明确要求变量或函数的值必须在编译期就能计算出来。

  • constexpr 变量必须用常量表达式初始化。
  • constexpr 函数在传入的是常量表达式时,必须在编译期求值。
  • 可用于数组长度、模板非类型参数、case 标签等需要编译期常量的地方。
  • 例子:

constexpr int size = 5;                    // 合法,编译期已知
constexpr int square(int x) { return x * x; }
constexpr int sq = square(4); // 编译期计算为 16

两者的关键区别总结

  • 时机不同:const 值可能在运行期确定;constexpr 必须在编译期确定。
  • 用途不同:constexpr 可用于模板参数、数组大小等;const 不一定可以。
  • 函数支持:constexpr 可修饰函数和构造函数,使其在合适条件下编译期求值;const 不能修饰函数实现(意义不同)。
  • 互有交集:一个 constexpr 变量隐含是 const 的,但 const 变量不一定是 constexpr。

实际使用建议

  • 如果你希望某个值在编译期就确定,并用于模板或数组大小,使用 constexpr
  • 如果只是防止修改,且值可能来自运行时数据,使用 const
  • C++11 起,尽量用 constexpr 替代简单的 const 数值定义,提升编译期优化机会。

基本上就这些。简单说:const 防修改,constexpr 保证编译期可算。该用哪个,看你要不要“编译时就知道”。