MSVC下constexpr switch-case编译失败问题及规则咨询

一、MSVC的编译行为是Bug还是特性？ #

这是MSVC的编译器Bug，不符合C++标准规定。

问题场景 #

给出的代码中，constexpr函数f在MSVC下：

• 当case a作为第一个分支时，即便main中并未调用f(a)，编译仍失败；
• 交换case顺序（case b在前）则编译通过；
• GCC、Clang等主流编译器无论case顺序都能正常编译。

标准依据 #

C++标准对constexpr函数的核心要求是：存在至少一组实参，使得函数调用能产生常量表达式，并不要求所有可能的执行路径都符合常量表达式的要求。

MSVC错误地检查了未被触发的case a分支路径（该路径会走到std::abort()，而std::abort不是constexpr函数），即便当前代码中没有任何常量表达式调用会触发该路径，这明显违反了标准规则。

二、C++ constexpr函数的核心规则 #

1. 合法性基础 #

constexpr函数必须保证存在至少一组输入实参，使得调用该函数能生成编译期常量表达式；其余实参对应的执行路径可以是运行时行为（只要符合普通函数规则）。

2. 常量表达式路径限制 #

当函数在常量表达式上下文中被调用时，执行路径不能包含：

• 调用非constexpr函数（C标准库中明确标记为constexpr的函数除外，比如C20后的部分标准函数）；
• 未定义行为；
• C20前禁止动态内存分配，C20后仅允许在常量表达式内分配并立即释放；
• C17前禁止try/catch块和跨函数的goto跳转，C20后放宽部分限制；
• 控制流到达函数末尾却没有返回值（除非函数返回void）。

3. 函数体与控制流演进 #

• C++11：函数体只能是单一return语句；
• C++14：允许if、switch、循环等复杂控制流；
• C++20：允许lambda表达式、constexpr虚函数调用、constexpr new/delete等更多特性。

4. 调用场景差异 #

• 编译期调用：所有实参必须是常量表达式，执行路径必须符合常量表达式规则；
• 运行期调用：实参可以是普通变量，函数行为与普通函数完全一致。

编译失败的代码 #

#include <exception>    

enum Enum {
    a,
    b        
};    

constexpr int f (Enum val) {
    switch (val){
        case a: break;
        case b: return 43;
    }
    std::abort();
}

int main() {
    //return f(a);
    return 0;
}

MSVC错误信息 #

(13): error C3615: constexpr function 'f' cannot result in a constant expression (18): note: failure was caused by call of undefined function or one not declared 'constexpr' (18): note: see usage of 'abort' (13): note: failure was caused by control reaching the end of a constexpr function

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