switch/case语句中的死代码为何被允许？相关技术问询

先看你给出的代码：

#include <cstdlib>
#include <iostream>

int main()
{
   auto a = std::rand();
   switch (a)
   {
      case 1: std::cout << "1\n"; break;
      std::cout << "not 1\n";
   }
   std::cout << "done\n";
   return 0;
}

下面针对你的三个问题逐一解答：

一、该写法是否存在合理应用场景？ #

基本没有合理的生产场景。这段代码里的std::cout << "not 1\n";属于switch块里没被任何case/default标签覆盖的语句，它永远不会被执行——switch的控制流只会跳转到匹配的case或default标签，没有匹配项的话就直接跳过整个switch块，根本走不到这条语句。

唯一能想到的情况就是有人故意写来做编译器行为测试，或者是代码重构时的遗留垃圾（比如删掉了某个case标签但忘了删对应的语句），但这些都算不上“合理应用”。

二、语法为何允许此类代码？ #

这是从C语言继承来的语法规则：switch块本质是一个复合语句，里面可以放任意语句和case/default标签——标签只是控制流的跳转标记，语法上不强制要求所有语句都必须被某个case/default覆盖。

这种设计当初是为了保留灵活性：比如可以在switch块开头写所有case都需要的初始化代码，或者利用fallthrough特性写共享逻辑。但这种灵活性也留下了陷阱，就是像这样的死代码能通过语法检查，因为编译器只校验语法合规性，不会默认判断代码有没有实际执行路径。

三、为何开启优化后编译器也未对该死代码发出警告？ #

这和编译器的警告策略有关。比如GCC、Clang这类主流编译器，默认优化等级（比如-O2）不会主动检测这种死代码，你得手动开启更严格的警告选项，比如-Wunreachable-code（注意GCC新版本里移除了这个选项，换成了更精准的-Wmaybe-uninitialized等），或者加上-Wall -Wextra组合，才会触发对这段死代码的警告。

编译器默认不开启这类警告，是因为有些看似死代码的逻辑可能是开发者有意为之（比如依赖编译期宏来控制是否执行），过度警告会产生大量噪音，干扰正常开发。所以需要手动开启高等级警告才能捕获这类问题。

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