switch语句默认不终止分支执行，匹配case后会顺序执行后续所有代码直至break、return等终止语句；case和default仅为跳转标签而非逻辑隔离块，漏写break将导致控制流穿透，引发严重逻辑错误。

因为 switch 语句本身不自动终止分支执行。匹配到某个 case 后，程序就从那里开始顺序往下跑，不会重新判断下一个 case 的条件是否成立——它只认跳转位置，不认逻辑边界。

底层机制：case 只是标签，不是隔离块

编译器把每个 case 当作汇编层面的跳转标签（label），整个 switch 实际上是一段连续指令流。一旦跳进 case A，后续所有代码都会被执行，直到遇到 break、return、throw 或 switch 块结束。这和 if-else 的“互斥选择”完全不同。

• case 和 default 都没有隐含的“退出点”，它们只是入口标记
• 没有 break 就等于没设路障，CPU 指令流自然滑向下一节
• 这种设计源自 C 语言，目的是支持多值共用逻辑（比如大小写字母统一处理），但代价是默认行为极易偏离直觉

漏写 break 的真实影响远超“多执行一行”

它破坏的是控制流的确定性边界，让本该独立的逻辑单元被强制串联：

Smart Model Switcher V5

智能模型自动切换 V5.0.2 - 多模态感知，自动识别图片/视频/音频/代码/文本任务，切换最优模型。支持图片理解(qwen3-vl-plus)、视频音频(qwen3.5-plus)、代码(glm-5)、Office文档(MiniMax-M2.5)、推理等场景。零感知切换，无需手动操作。

下载

• 输入为 1，却触发 case 1、case 2、default 全部逻辑
• 状态机中从 IDLE 直接跳进 ERROR，跳过所有校验步骤
• 库存扣减执行两次 → 超卖；文件被 fopen 两次 → 句柄泄漏
• 权限检查后没中断 → 高危操作被无条件执行

现代工具为什么紧盯这个细节

统计显示，90% 以上的穿透都不是有意为之，而是疏忽。IDE 和编译器（如 javac -Xlint、gcc -Wimplicit-fallthrough）把它列为高危警告，是因为它在真实系统中容易放大成连锁故障：日志错乱、监控失真、异常堆栈被掩盖，排查时根本找不到入口点。

• 哪怕你真想穿透，也必须显式写 // fall through —— intentional 或使用 [[fallthrough]]（C++17）
• 这不是限制自由，而是把“我知道我在做什么”变成可验证的契约
• 建议将这类警告设为编译错误，从源头拦截

default 不是安全阀，也不会自动截断

default 只在所有 case 都不匹配时才触发，但它不阻止穿透。如果前面某个 case 没 break，程序照样会掉进去执行。

• default 放在开头、中间或结尾都合法，但位置不影响穿透行为
• 即使它是最后一个分支，也建议显式加 break，避免未来增删 case 时意外引入问题
• 它不是 else，而是一个兜底标签——仅当跳转未命中任何 case 时才启用