在c++中，[[fallthrough]]用于明确表示switch语句中case分支有意落空，以消除编译器警告并提升代码可读性与安全性。当故意省略break、return等控制转移语句时应使用[[fallthrough]]，表明后续case的执行是设计所需而非疏漏。该属性必须作为独立空语句出现在case末尾并加分号，仅限于switch结构中使用，且前一条语句不能为跳转语句。典型应用场景包括多个case共享处理逻辑的状态机或命令解析，如CMD_INIT后需执行CMD_START流程，通过[[fallthrough]]避免代码重复的同时增强可维护性。总之，[[fallthrough]]虽简单，但在团队协作和静态检查严格的项目中对保障代码质量具有重要意义。

在C++中，[[fallthrough]] 属性用于明确表示在 switch 语句中某个 case 分支有意“落空”（即没有 break 语句），并继续执行下一个 case 的代码。它的主要作用是消除编译器警告，同时提高代码的可读性和安全性。

何时使用 [[fallthrough]]

当你在 switch 语句中故意省略 break、return 或其他控制转移语句，希望程序逻辑自然进入下一个 case 时，应使用 [[fallthrough]] 来表明这是有意为之，而非遗漏。

现代编译器（如 GCC、Clang）在检测到 case 分支没有 break 且没有显式说明时，会发出“可能的 fallthrough”警告。[[fallthrough]] 就是用来告诉编译器：“我知道我在做什么”。

示例：不使用 [[fallthrough]] 的情况

下面这段代码可能会触发编译器警告：

立即学习“C++免费学习笔记（深入）”；

switch (value) {     case 1:         do_something();         // 警告：这里没有 break，可能是错误     case 2:         do_something_else();         break; } 

正确使用 [[fallthrough]] 的示例

通过添加 [[fallthrough]]，可以消除警告，并清晰表达意图：

芦笋演示

一键出成片的录屏演示软件，专为制作产品演示、教学课程和使用教程而设计。

34

查看详情

switch (value) {     case 1:         handle_case_1();         [[fallthrough]];  // 明确表示进入 case 2 是设计所需     case 2:         handle_common_for_1_and_2();         break;     case 3:         handle_case_3();         // 没有 [[fallthrough]]，也没有 break，但包含 return         return;     case 4:         handle_case_4();         break;  // 正常结束 } 

[[fallthrough]] 的语法要求

该属性必须出现在语句末尾，作为单独的一条“空语句”，后面加分号。它只能用在 switch 语句的 case 分支中，且前一个语句不能是 break、goto、return 或 throw 等跳转语句。

• ✅ 正确写法：[[fallthrough]];
• ❌ 错误写法：[[fallthrough]]（缺少分号）
• ❌ 错误位置：放在 break 后或非 switch 上下文中

实际应用场景

某些业务逻辑中，多个 case 共享部分处理流程。例如状态机处理、命令解析等场景：

switch (command) {     case CMD_INIT:         initialize();         [[fallthrough]];     case CMD_START:         start_process();  // CMD_INIT 之后也需启动         break;     case CMD_STOP:         stop_process();         break; } 

这种结构避免了代码重复，同时使用 [[fallthrough]] 提高了可维护性。

基本上就这些。使用 [[fallthrough]] 不复杂，但它让代码更安全、更清晰，特别是在团队协作和静态检查严格的项目中非常有用。