switch穿透是语言标准定义的确定性行为，因case仅为跳转标签而非作用域边界，漏写break会导致控制流顺序执行后续分支，可能引发变量覆盖、资源重复释放等连锁问题。

因为 switch 语句本身不自动终止分支执行，它只负责跳转到匹配的 case 标签处，然后从那里开始顺序执行——直到遇到 break、return、throw 或函数自然结束。漏写 break 不是语法错误，而是让控制流“掉下去”，直接进入下一个 case 块，哪怕那个 case 的值完全不匹配当前输入。

穿透不是偶然出错，而是确定性行为

这不是随机 bug，而是语言标准明确定义的执行逻辑：

• C/C++/Java/JavaScript 等语言中，case 和 default 都只是跳转标签（label），不是作用域边界
• 一旦命中某个 case，程序就从该行开始往下跑，不重新比对后续 case 的值
• 哪怕中间夹着 default，只要前面没 break，照样穿透进去执行

后果往往隐蔽且连锁发生

表面看只是多打印一行，实际可能引发更深层问题：

Smart Model Switcher V5

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

下载

• 变量被多次赋值或覆盖（比如状态标志被重置又设为新值）
• 资源重复释放（如文件句柄 close 两次导致崩溃）
• 状态机跳过关键中间态，直接进入错误终态
• 日志、埋点、回调被意外触发多次，干扰监控和排查

调试时极难第一时间定位

现象和原因之间没有直接提示：

• 编译器通常不报错，只在开启特定警告（如 -Wimplicit-fallthrough）时提示
• 运行结果异常（如多个日志连发），但代码看起来“每段都写了”
• 开发者容易先怀疑数据源、异步逻辑或并发问题，绕开 switch 本身

穿透在维护阶段风险陡增

原始作者可能记得“这里故意没写 break”，但后来人很难分辨：

• 没有注释说明时，无法判断是疏忽还是有意为之
• 新增 case 时，如果插在两个已有分支之间，可能无意中被前一个漏 break 的分支带入
• 重构时删掉某个 case，若它前面没 break，原本的穿透路径就变了，引入新问题