C++怎么定义常量 C++中const和constexpr区别【深度】

2次阅读

const变量不算编译期常量,除非被constexpr修饰或初始化表达式为常量表达式;它仅表示不可修改,而constexpr才保证编译期求值与参与编译期计算。

C++怎么定义常量 C++中const和constexpr区别【深度】

const 变量到底算不算编译期常量?

不算——除非它被 constexpr 修饰,或满足极严格的初始化条件。比如 const int x = 42; 是编译期常量;但 const int y = rand();const int z = some_func(); 就不是,哪怕 some_func() 返回值固定,编译器也不认。

关键看初始化表达式是否为「常量表达式」:只能含字面量、constexpr 函数、constexpr 变量、简单运算,且不能有副作用或运行时依赖。

  • const 声明本身不保证编译期求值,只表示“不可修改”
  • 数组大小、模板非类型参数、case 标签等场景必须用真·编译期常量,此时 const 单独不够用
  • c++11 中,const 成员变量若未用 constexpr 初始化,无法用于 Static_assert 的条件中

什么时候必须用 constexpr 而不是 const?

当你需要该值参与编译期计算时,constexpr 是硬性要求。典型场景包括:作为模板实参、定义数组长度、出现在 static_assert 中、初始化其他 constexpr 变量。

注意:constexpr 不仅是修饰变量,还能修饰函数和构造函数——只要它们的实现满足编译期可执行约束(C++14 起放宽了限制,允许局部变量循环、分支等)。

立即学习C++免费学习笔记(深入)”;

  • constexpr int get_size() { return 1024; } ✅ 可用于 int buf[get_size()];
  • const int get_size() { return 1024; } ❌ 编译失败:数组大小不是常量表达式
  • constexpr 函数在运行时也能调用,但只有传入编译期已知参数时,才真正参与编译期计算

const 和 constexpr 在类成员中的行为差异

类内 const 成员变量不能直接初始化(C++11 前),而 constexpr 成员变量必须在类内用常量表达式初始化,且隐含 const

更关键的是:只有 constexpr 静态成员才能不定义就用于常量表达式;普通 const static 成员若未在类外定义,在 ODR-used(例如取地址)时会链接错误。

  • static constexpr int kMax = 100; ✅ 可直接用于 std::Array<int kmax></int>
  • static const int kMax = 100; ⚠️ 若未在 .cpp 中定义 const int MyClass::kMax;,且代码中对其取地址或传递引用,会链接失败
  • constexpr 构造函数可让整个对象成为字面量类型(literal type),支持静态初始化;const 构造函数无此能力

常见误用:把 const 当成性能优化手段

const 几乎不影响生成代码——它主要作用于接口契约和编译检查。而 constexpr 才可能触发编译期折叠、消除运行时计算,带来真实优化。

但别迷信:过度使用 constexpr 可能拖慢编译(尤其复杂逻辑),且某些标准库函数(如 std::sqrt)直到 C++26 才全面支持 constexpr 版本。

  • const auto x = expensive_calc(); —— 运行时照样算一遍,只是之后不能改
  • constexpr auto x = expensive_calc(); —— 必须在编译期算完,否则报错;如果函数不支持 constexpr,直接编译失败
  • 调试时发现 constexpr 函数没被编译期求值?先检查参数是否全为常量表达式,再确认编译器版本和语言标准(-std=c++17 或更高)

最易忽略的一点:constexpr 并不等于“绝对安全”——它允许抛出异常(C++11/14 中不允许,C++17 起允许),且一旦在编译期触发未捕获异常,就是硬性编译错误,没有 fallback。

text=ZqhQzanResources