C++中constexpr的优势是什么？const与constexpr修饰变量该选谁？

一、constexpr的核心优势 #

• 编译期计算，降低运行时开销：constexpr变量或函数能在编译阶段完成计算，直接将结果嵌入最终二进制文件，彻底避免运行时的计算耗时，尤其适合需要重复调用的常量逻辑。
• 强制编译期常量约束：constexpr要求变量的值必须在编译期就能确定，不像const仅保证变量不被修改——const变量甚至可以用运行时生成的值初始化（比如const int x = rand();），但constexpr完全禁止这种情况。
• 支持复杂编译期编程：从C11到C20，constexpr的能力持续扩展，现在可实现编译期执行的函数、构造函数，甚至整个类的编译期实例化，让复杂的编译期逻辑成为可能。
• 提前暴露错误：使用constexpr时，编译器会在编译阶段就验证表达式合法性，提前揪出问题，避免错误留到运行时才爆发。

二、const int与constexpr int的异同 #

针对示例中的const int x {5};和constexpr int x {5};：

相同点 #

• 两者都标记变量为只读，程序运行时无法修改x的值。
• 对于字面量初始化的场景，编译器通常都会将它们优化为编译期常量，运行时行为一致。

不同点 #

• 初始化限制不同：const变量的初始化值可以是运行时生成的（比如const int x = get_runtime_value();），但constexpr变量必须用编译期常量表达式初始化，否则直接编译失败。
• 常量场景适用性不同：constexpr变量是原生编译期常量，可无缝用于所有要求常量表达式的场景，比如模板参数、静态数组的大小（int arr[x];）；而const变量只有在初始化值是编译期常量时，才能被当作常量表达式使用——如果后续把x的初始化改成运行时值，依赖它的常量表达式代码会直接报错。

三、优先选择constexpr的原因 #

• 语义更精准：constexpr直接传递“这个变量值在编译期就确定，不会改变”的信息，比const的“只读”语义更清晰，代码可读性更强。
• 错误检查更严格：如果后续不小心把x的初始化改成运行时逻辑，constexpr会立刻编译报错，而const可能会悄悄变成运行时只读变量，导致后续依赖常量表达式的代码（比如模板、数组大小）出现难排查的问题。
• 兼容性更好：如果后续需要把x用于模板参数、编译期计算等场景，constexpr不需要修改代码，而const可能需要调整。
• 优化更可靠：虽然编译器可能会优化const变量，但constexpr强制要求编译期计算，优化的确定性更高，不会因编译器版本或优化级别不同出现差异。

内容的提问来源于stack exchange，提问作者MBagher