C++中constexpr与const的核心区别与使用准则
在C++编程中，constexpr和const都围绕“只读”语义设计，但二者的设计目标、底层行为和适用场景差异显著。之前我总是混淆二者，甚至误将const等同于“编译期常量”——事实上，二者的核心差异恰恰体现在编译期/运行期的求值阶段和符号表/内存的处理逻辑上。
先澄清一个基础认知：constexpr并非单纯为替代#define而生（这只是其附加价值），其核心目标是强化编译期计算能力；而const的核心是保证运行时的只读约束。我们先从#define的问题切入，再对比二者的核心差异：
一、先看#define的痛点（作为对比基准）
#define是预处理阶段的纯文本替换，既无类型安全检查（比如#define NUM 5可以被赋值给double变量却无任何提示），也无作用域约束（宏会穿透命名空间/函数），还可能因替换优先级引发隐式错误；更关键的是，它无法参与编译期的语法分析和计算，仅能做简单的文本替换。
二、constexpr：编译期的“类型安全常量”
constexpr的核心是强制编译期求值，它解决了#define的所有痛点，同时和const形成明确的职责划分：
- 类型安全+作用域约束：
constexpr变量有明确的类型（如constexpr int num = 5），编译器会做严格的类型检查；且遵循C++的作用域规则（比如局部constexpr变量不会泄露到外部），这是#define不具备的。 - 编译期求值，无运行时开销：
constexpr变量的值必须在编译阶段就确定（编译器直接将值嵌入到指令中），运行时无需从内存读取，也没有任何计算开销。 - 符号表与内存的真相：（我之前认为constexpr不会生成符号表）
constexpr并非“不生成符号表”，而是无需在运行时通过符号表解析其值——只有当程序显式取constexpr变量的地址时，编译器才会为其分配内存、生成符号表；否则，constexpr变量仅存在于编译期，运行时无内存占用。 - 扩展能力：
constexpr还能修饰函数（编译期函数），让函数的返回值在编译期确定，这是const完全不具备的能力。
三、const：运行时的“只读变量”
const的核心语义是“运行时只读”，而非“编译期常量”：
- 只读约束，而非编译期约束：
const变量表示“程序无法修改其值”，但它的内存分配、值的确定可能在运行时（比如const int num = get_num()，get_num()是运行时函数）。 - 符号表与内存特性：
const变量默认会分配内存、生成符号表条目——即使是const int num = 5，编译器也可能为其分配内存（除非开启极致优化），运行时需通过符号表查找内存地址才能获取值。 - 有限的编译期能力：只有当
const变量是“常量表达式”（如const int num = 5）时，编译器才会优化为编译期可用的值（比如用于数组大小int arr[num]）；但这是编译器的“优化行为”，而非语言层面的“强制编译期求值”——如果const变量的值依赖运行时，就完全无法用于编译期场景。
四、constexpr与const的核心区别（直观对比）
| 特性 | constexpr | const |
|---|---|---|
| 求值阶段 | 强制编译期求值 | 默认运行时求值（常量表达式可优化） |
| 内存/符号表 | 默认无内存分配，无需运行时符号解析 | 默认分配内存，依赖符号表查找 |
| 核心语义 | 编译期常量 | 运行时只读变量 |
| 函数支持 | 可修饰编译期函数 | 不支持修饰函数 |
| 适用场景 | 编译期必须确定值的场景 | 运行时需保证只读的场景 |
五、实用使用建议
- 替代
#define常量：优先用constexpr（带类型安全+编译期求值，完全规避#define的缺陷），而非const； - 编译期必需确定值的场景：数组大小、模板参数、枚举值、编译期计算的常量（如
constexpr double PI = 3.1415926）→ 用constexpr； - 运行时需保证只读的场景：函数参数（如
void func(const int num)）、类成员变量、运行时初始化的只读值（如const int num = get_config()）→ 用const； - 避免滥用：无需编译期求值的只读变量，用
const即可（更符合语义），不必强行用constexpr。
总结
constexpr的核心是编译期求值，带类型安全，默认无运行时内存/符号表开销，适用于“编译期必须确定值”的场景；const的核心是运行时只读约束，默认分配内存/生成符号表，适用于“仅需保证运行时不被修改”的场景；- 替代
#define优先选constexpr，编译期常量用constexpr，运行时只读用const，是最贴合C++语义的选择。