C++中是否应该避免使用static constexpr局部变量？原因是什么？

void f() {
    static constexpr int this_variable{some_magic_int};
    do_something_with(this_variable);
}
int main() {
    // ...
    f();
    // ...
}

static关键字的作用与负面影响 #

对于你描述的仅用constexpr给字面量起别名的场景，static完全多余，且存在潜在负面影响：

• 不必要的资源占用：不加static时，constexpr局部变量属于自动存储期，编译器绝大多数场景下会直接将常量值嵌入生成的机器指令，不会占用栈或静态存储资源。加static后，变量变为静态存储期，会额外占用程序静态数据段的内存空间。
• 语义误导：你给常量命名的核心目的是提升可读性，不需要变量跨调用保持状态，static的加入会误导后续维护者认为该变量需要在多次调用之间保留内容。

static与constexpr共用的可观测影响 #

两者共同使用时存在明确的可观测差异，核心体现在地址一致性上：

• 加static时，变量的地址在程序整个生命周期内唯一，多次调用f()取到的&this_variable值完全相同。
• 不加static时，变量属于当前调用的栈帧，多次调用f()取到的地址可能不同（取决于栈帧的分配情况）。
  如果你的代码中存在对该变量取地址、绑定左值引用等依赖地址的操作，这个差异会直接影响程序运行结果。
  你提到的数组场景和标量场景的差异确实存在：数组默认使用时会退化为指针，大多数场景需要依赖地址取值，因此static对数组类型的constexpr局部变量影响更明显；而标量如果仅做右值取值使用，两种写法的运行效果看起来一致，但本质存储属性仍然不同。

编译期常量需要运行时实体的原因 #

constexpr仅表明变量的值在编译期可确定，不代表它不需要运行时实体，规则如下：

• 如果仅使用变量的值（比如赋值给其他变量、作为运算参数），编译器可以直接替换常量值，完全优化掉该变量的运行时实体，不会占用任何内存空间。
• 如果对变量做需要依赖地址的操作（比如取地址、绑定到左值引用），C++的单一定义规则要求该变量必须有唯一的内存实体，此时就会生成对应的运行时对象。

最佳实践 #

你当前的场景仅需要给字面量起可读性别名，直接去掉static即可：

constexpr int this_variable{some_magic_int};

这种写法既满足编译期常量的要求，也没有额外的存储开销和语义偏差。

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