[[fallthrough]] 是 C++17 引入的属性，用于明确表示 switch-case 中有意让控制流落入下一 case；它消除编译器警告，提升代码可读性与安全性，必须单独成行并紧接下一 case 或 default，仅适用于 C++17 及以上版本。
![c++中的[[fallthrough]]属性有什么用_c++ switch-case语句明确意图](https://img.php.cn/upload/article/001/431/639/176439588312244.png)
在C++中，[[fallthrough]] 是一个标准属性（attribute），用于在 switch-case 语句中明确表示“有意让控制流从一个 case 标签 fall through 到下一个 case”这一意图。
它的主要作用是：告诉编译器和开发者——这个没有使用 break 的情况是**故意的**，不是因为疏忽而遗漏了 break 语句。这样可以避免编译器发出警告，也提高了代码可读性和安全性。
为什么需要 [[fallthrough]]？
在 switch-case 中，如果某个 case 分支末尾没有 break、return 或 throw 等终止语句，程序会继续执行下一个 case 的代码。这被称为“fallthrough”。虽然有时这是设计所需，但多数情况下它可能是程序员的错误。
现代编译器（如 GCC、Clang）会对可能被误写的 fallthrough 发出警告。为了消除这类“误报”警告，同时表明这是**有意识的行为**，C++17 引入了 [[fallthrough]] 属性。
立即学习“C++免费学习笔记（深入）”；
如何使用 [[fallthrough]]？
[[fallthrough]] 放在一个 case 分支的末尾，单独成行，后面跟一个分号。它必须出现在空语句或不会转移控制流的语句之后，且下一个语句必须是另一个 case 或 default 标签。
示例：
switch (value) {
case 1:
do_something();
[[fallthrough]]; // 明确表示希望进入 case 2
case 2:
do_something_else();
break;
case 3:
handle_case_3();
// 没有 [[fallthrough]]，也没有 break —— 可能触发警告
case 4:
handle_common_part();
break;
}
在这个例子中，从 case 1 落到 case 2 是有意为之，[[fallthrough]] 让这一点变得清晰。而 case 3 到 case 4 如果没有写 [[fallthrough]]，编译器可能会警告你“可能的 fallthrough”，提醒你检查是否遗漏了 break。
注意事项和限制
- [[fallthrough]] 必须用在 case 或 default 标签的“作用范围内”，不能放在函数外或其他地方。
- 它只能出现在语句末尾，且其后必须紧接着下一个 case/default；否则行为未定义或引发警告。
- 只支持 C++17 及以上版本。如果你的项目使用较老的标准（如 C++14），则无法使用该属性。
- 不同编译器对格式要求略有差异，建议保持简洁写法：[[fallthrough]];
基本上就这些。合理使用 [[fallthrough]] 能让你的 switch-case 更安全、更清晰，尤其是在复杂逻辑或多路共享处理的场景下。
