[[fallthrough]]必须位于case块最后一条可执行语句之后、下一case或default标签之前，不可在break后、注释中、空行或控制流终结语句后使用。
[[fallthrough]] 必须放在 case 分支末尾，且紧挨着下一行的 case 标签之前
它不是语句，也不是宏，而是一个编译器可识别的属性标记，位置错一点就无效。最常见错误是把它写在 break 后面、写在注释行里、或者缩进到代码块中间。
- ✅ 正确位置：当前
case块的最后一条可执行语句之后、下一个case或default标签之前 - ❌ 错误示例：
break;后面加[[fallthrough]];—— 编译器直接忽略，还可能报错 - ❌ 错误示例：写成
// [[fallthrough]]—— 注释不被解析，警告照旧 - ❌ 错误示例：放在
{}块内部但不在末尾（如中间某行）—— 属性作用域失效，不满足标准要求
为什么不能放在 break 之后或 default 前面
[[fallthrough]] 的语义是“我刚结束这个 case，接下来要无条件进入下一个分支”，所以它必须出现在控制流真正会“落下”的那个断点上。一旦写了 break，控制流已经确定退出 switch，再标 [[fallthrough]] 就违反逻辑；而如果前面是 default，后面已无分支可落，编译器会拒绝该用法（Clang/GCC 均报错 attribute ignored 或 fallthrough not allowed here）。
- 只允许在非终止的
case块末尾使用 - 不能用于
default分支之后（没下一分支） - 不能用于已含
return、throw、goto等流程终结语句的case后 - 多个连续穿透需每个中间
case都标一次，不能只标第一个
不同编译器对位置敏感度有差异，但标准写法只有一种
Clang 比较宽松，有时容忍空行或轻微缩进；GCC 10+ 和 MSVC 2019 起严格遵循 C++17 标准：必须是 case 块内最后一条非空、非注释、非控制流终结的语句之后，且下一行必须是另一个 case 或 default 标签。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 推荐写法（零歧义）：
case 1: do_something(); [[fallthrough]]; // 紧贴换行，无空行，无缩进 case 2: - 避免混合风格：不要和
break共存于同一case，也不要跨行写成[[fallthrough]]+ 换行 +; - 启用
-Wimplicit-fallthrough（GCC/Clang）或/wd4836（MSVC）才能真正触发检查，否则标记形同虚设
容易被忽略的边界情况：空 case 和复合语句块
当 case 下没有实际语句（比如只有注释或空行），或用了 {} 包裹但块内为空时，[[fallthrough]] 无法合法放置 —— 因为它必须跟在“可执行语句之后”。这时要么补一句 ;，要么重构逻辑。
立即学习“C++免费学习笔记（深入）”；
- 空
case不支持直接标[[fallthrough]]：编译失败 - 带花括号的
case中，若块内为空，需写成{ /* nothing */ }+[[fallthrough]];，否则属性无依附点 - 宏展开后可能意外吞掉
[[fallthrough]]行（尤其在预处理器条件编译中），建议把标记和前一条语句写在同一宏内 - 注意 IDE 自动格式化可能把
[[fallthrough]];移到下一行开头并加缩进 —— 这不影响语义，但部分老版本 GCC 会误判
