C++中处理所有枚举分支的switch默认语句能否被编译器优化？

核心结论 #

编译器有权根据C++标准优化掉这个default分支，但主流编译器（GCC、Clang、MSVC）在全优化模式下通常不会这么做——这并非遗漏优化，而是出于对实际代码场景的兼容考虑。

标准层面的依据 #

C++标准对枚举的合法值范围有明确约束：

• 对于未固定底层类型的枚举，其合法值范围是「能容纳所有命名枚举值的最小位域所覆盖的区间」。比如你示例里的MyEnum，所有枚举值是0-3，最小位域是2位，合法范围就是0-3；再比如CppReference里的access_t，枚举值是1、2、4，最小位域是3位，合法范围是0-7。
• 当通过static_cast把整数转成枚举类型时，如果转换后的值超出这个合法范围，行为是未定义的（自CWG1766提案起明确）。

从标准逻辑推导：传入foo的MyEnum参数如果是合法值，必然落在0-3之间，已经被switch的case完全覆盖。所以编译器理论上可以判定default分支永远不会被执行，进而优化掉它。

为什么主流编译器不做这个优化？ #

虽然标准允许，但实际编译器默认会保留default分支，原因在于：

• 现实中存在大量非标准用法：很多项目会通过强制类型转换（甚至C风格转换）把超出枚举合法范围的整数赋值给枚举变量，这种行为虽然违反标准，但在老代码或特定场景里很常见。如果编译器优化掉default分支，这类代码会出现意外崩溃或逻辑错误。
• 对于固定底层类型的枚举（比如enum MyEnum : int { ... }或enum class），标准同样规定超出合法范围的转换行为未定义，但编译器依然保留default分支——因为开发者很容易误把底层类型的完整宽度当作枚举的合法值范围来使用。

示例代码验证 #

以你给出的代码为例：

enum MyEnum {
 ZERO = 0,
 ONE = 1,
 TWO = 2,
 THREE = 3,
};

bool foo(MyEnum e) {
 switch(e) {
 case ZERO:
 case ONE:
 case TWO:
 case THREE:
  return true;
 default:    // 编译器能否优化掉该分支？
  return false;
 }
}

在GCC、Clang、MSVC开启-O3 -std=c++20全优化时，编译器依然会保留default分支的逻辑，不会直接把函数优化成return true;——本质就是为了兼容那些可能传入非法枚举值的场景，哪怕这种行为在标准里是未定义的。

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