[[fallthrough]] 被忽略是因为未置于隐式贯穿警告触发位置，即必须紧接在无终止语句的case末尾、且下一行是case或default；GCC需-Wimplicit-fallthrough=2、Clang需-Wimplicit-fallthrough启用检查。
![c++17属性[[fallthrough]]怎么显式标注switch贯穿不报警](https://img.php.cn/upload/article/001/221/864/179127080699353.png)
为什么 [[fallthrough]] 会被编译器忽略？
直接写 [[fallthrough]] 却没效果，大概率是因为它没放在「本该触发警告的 case 分支末尾」——编译器只检查「有隐式贯穿（即无 break/return 等终止）且后面紧跟另一个 case 或 default」的位置。如果前面已有 break，或后面是函数结尾、throw、goto，那 [[fallthrough]] 就是冗余的，部分编译器（如 GCC）会静默忽略甚至报错 attribute ignored。
- 必须紧挨在
case语句块的最后一条可执行语句之后，且下一行是另一个case或default - 不能写在
break;后面，也不能写在空语句;单独成行的位置 - Clang 要求严格位置，GCC 8+ 支持但需开启
-Wimplicit-fallthrough=2才能触发检查
如何让 GCC/Clang 正确识别并静音警告？
光加属性不够，得配对启用对应警告级别。默认 -Wall 不包含隐式贯穿检查，必须显式打开：
- GCC：用
-Wimplicit-fallthrough=2（=1 是宽松，=3 更严格，推荐 =2） - Clang：用
-Wimplicit-fallthrough（Clang 10+ 默认启用，旧版需手动加） - CMake 中可写：
set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wimplicit-fallthrough=2") - 注意：MSVC 不支持
[[fallthrough]]，改用__fallthrough;（C++17 未标准化，属扩展）
[[fallthrough]] 的合法位置示例与常见误写
下面这段是标准写法，GCC/Clang 均认可：
switch (x) {
case 1:
do_something();
[[fallthrough]]; // ✅ 紧跟语句后，下一行是 case 2
case 2:
handle_two();
break;
default:
fallback();
}
这些写法会失败：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
-
case 1: [[fallthrough]]; break;→[[fallthrough]]后还有break，无贯穿发生 -
case 1: [[fallthrough]] // 缺少分号→ C++17 要求带分号，否则编译错误 -
case 1: if (cond) { ... } [[fallthrough]];→[[fallthrough]]必须是该case块的最后一条语句，不能被条件块包裹
替代方案：什么情况下不该用 [[fallthrough]]？
不是所有贯穿都适合加这个属性。比如：
- 多个
case共享同一段逻辑，但中间有变量声明 —— C++ 不允许跨case标签跳转到带初始化的变量，此时强行贯穿会触发jump to case label crosses initialization错误，得重构为函数提取或用if-else - 想表达「有意漏掉
break」但实际是笔误（比如复制粘贴导致两个case写反了顺序），[[fallthrough]]反而掩盖逻辑缺陷 - 嵌入式或安全关键代码（如 MISRA C++）可能禁用贯穿，这时应彻底避免，而不是靠属性绕过检查
真正需要它的场景其实很窄：明确知道控制流要落到下一个 case，且那段代码不依赖前一个 case 的局部变量生命周期。
