C23中static const与constexpr对比：为何新增constexpr？

• 兼容性优先：直接修改static const的行为会破坏大量现有代码。很多旧代码里存在static const int x = get_runtime_data();这类依赖运行时初始化的写法——static const的核心语义是静态存储期+运行时只读，而非“编译期常量”。如果强行把它改成必须支持常量表达式求值，这类合法代码会直接编译失败，这是标准制定时绝对要避免的兼容性破坏。

• 语义明确性：constexpr和static const的语义本来就不重合。static const只保证变量在运行时不能被修改，但不要求它的值在编译期确定；而constexpr的核心是编译期可计算，明确告诉编译器和其他程序员：这个值要在编译期敲定，能用来做模板参数、数组大小这类需要常量的场景。分开两个关键字，能让代码意图更清晰，避免语义混淆。

• 扩展灵活性：constexpr的设计一开始就不局限于对象——它还能修饰函数、构造函数，后续C++标准还基于它扩展出了consteval、constinit这类更细分的关键字。如果当初选择修改static const，那要把这个语义扩展到函数上会非常别扭，毕竟static是和存储期绑定的关键字，和函数的编译期计算语义完全不搭。独立的constexpr关键字给后续标准扩展留足了空间。

举个简单的例子就能看出区别：

// 合法的static const，但不能用于常量表达式场景（比如数组大小）
static const int runtime_val = get_runtime_value();

// 必须用常量表达式初始化，可直接作为数组大小、模板参数
constexpr int compile_val = 42;
int arr[compile_val]; // 完全合法

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