C++中case标签能否跳过static constexpr常量的初始化？

问题背景 #

以下代码在switch的某个case分支中声明了static constexpr常量：

void foo( int& v ) {
    switch( v ) {
    case 0:
        static constexpr int c{ 0 };
        break; 
    case 1:
        v = c;
        break;
    }
}

该代码在GCC、Clang和EDG编译器中均可正常编译，但在Visual Studio中会报错：

error C2360: initialization of 'c' is skipped by 'case' label

核心疑问：static constexpr常量的初始化被case标签跳过是否合规？该程序是格式错误还是必须被编译器接受？

问题解答 #

根据C++标准，这段代码是合规的，编译器必须接受，原因如下：

• C++标准对switch语句的“初始化不能被case标签跳过”的限制，仅针对**自动存储期（局部非static）**的变量。这类变量的初始化在运行时执行，如果程序可能进入某个case分支却跳过了它的初始化，才属于格式错误。
• 而static constexpr变量属于静态存储期，且这里的初始化是常量初始化——它会在程序启动阶段就完成初始化，完全不依赖于运行时的代码执行路径。无论程序是否走到case 0分支，c都已经完成了初始化，不存在“跳过初始化”的实际问题。
• 即使是普通的static变量（非constexpr），其初始化也只会在第一次执行到初始化语句时完成，后续不会重复执行；标准同样允许这类变量的初始化被case标签跳过，因为不存在未初始化就使用的风险。

综上，Visual Studio的报错属于不符合标准的误判，GCC、Clang等编译器的行为是正确的。

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