能否在constexpr函数中使用static局部变量？规则与编译器差异解析

问题场景 #

示例代码：

#include <string_view>
#include <utility>

enum class axis {
    x, y, z
};

constexpr std::string_view axis_name(axis a) {
    // 试图用static constexpr避免栈上分配表
    static constexpr std::string_view names[] {
        "x", "y", "z"
    };
    return names[std::to_underlying(a)];
}

constexpr auto x_name = axis_name(axis::x);

GCC 12编译时报错：

<source>:9:39: error: 'names' defined 'static' in 'constexpr' context
    9 |     static constexpr std::string_view names[] {
      |                                       ^~~~~

其他编译器（如Clang、MSVC）则允许该写法，核心疑问围绕constexpr函数中static局部变量的使用规则展开。

标准规则与版本差异 #

C11/C14 #

在这两个版本中，constexpr函数内完全禁止任何static局部变量，不管是普通static、static const还是static constexpr都不允许。这是因为早期constexpr函数的求值必须完全是编译期可计算的，static变量的生命周期特性会引入编译期无法处理的状态问题。

C++20 #

C++20放宽了限制，但仅允许特定类型的static局部变量：

• 允许使用static constexpr局部变量，这类变量必须通过常量表达式初始化，且在constexpr函数的编译期求值过程中，其值是固定的编译期常量，不会涉及运行期初始化逻辑。
• 仍然禁止普通static或static const局部变量：普通static变量的初始化可能涉及运行期逻辑，static const如果不是通过常量表达式初始化（比如运行期计算的值），也会违反constexpr函数的编译期求值要求。

编译器兼容性说明 #

GCC 12对C20该特性的支持存在滞后，直到GCC 13及以后版本才完全实现了constexpr函数中static constexpr局部变量的支持。而Clang、MSVC更早跟进了C20的这一规则，所以能正常编译示例代码。

疑问解答 #

• 能否一般地使用static？
  不行，任何版本的C++都不允许在constexpr函数中使用普通static局部变量（非const/constexpr修饰的）。
• 仅允许使用static const？
  不行，即使是static const，若初始化不是常量表达式，在C20及以后仍不允许；且C20之前完全禁止static const局部变量出现在constexpr函数中。
• 还是仅允许使用static constexpr？
  是的，只有static constexpr局部变量在C++20及以后的constexpr函数中是合法的，前提是它的初始化表达式是常量表达式。

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