const变量不算编译期常量,除非被constexpr修饰或初始化表达式为常量表达式;它仅表示不可修改,而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。










