c++中的[[fallthrough]]属性有什么用_c++ switch-case语句明确意图

新闻中心 NEWS CENTER

您当前位置：首页 > 新闻中心 > 网络学院

c++中的[[fallthrough]]属性有什么用_c++ switch-case语句明确意图

2025-11-29

浏览次数：次

返回列表

[[fallthrough]] 是 C++17 引入的属性，用于明确表示 switch-case 中有意让控制流落入下一 case；它消除编译器警告，提升代码可读性与安全性，必须单独成行并紧接下一 case 或 default，仅适用于 C++17 及以上版本。

c++中的[[fallthrough]]属性有什么用_c++ switch-case语句明确意图

在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]] 属性。

N世界

一分钟搭建会展元宇宙

138 查看详情 N世界

如何使用 [[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。