C++ 属性： fallthrough (自 C++17 起)

 

C++

编译器支持

独立和宿主

语言

标准库

标准库头文件

命名要求

功能测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

C++ 语言

一般主题
预处理器 注释	关键字 转义序列
流控制
条件执行语句
if	switch
迭代语句（循环）
for range-for (C++11)	while do-while
跳转语句
continue - break	goto - return
函数
函数声明
Lambda 函数表达式
inline 说明符
动态异常规范 (直到 C++17*)
noexcept 说明符 (C++11)
异常
throw-表达式 try 块	处理程序
命名空间
命名空间声明	命名空间别名
类型
基本类型 枚举类型 函数类型	类/结构类型 联合类型
说明符
const/volatile decltype (C++11) auto (C++11)	constexpr (C++11) consteval (C++20) constinit (C++20)
存储持续时间说明符
初始化
默认初始化 值初始化 零初始化 复制初始化 直接初始化	聚合初始化 列表初始化 (C++11)   常量初始化 引用初始化

表达式
值类别 求值顺序	运算符 运算符优先级
替代表示
文字
布尔 - 整数 - 浮点
字符 - 字符串 - nullptr (C++11)
用户定义的 (C++11)
实用程序
属性 (C++11)
类型
typedef 声明
类型别名声明 (C++11)
强制转换
隐式转换 static_cast const_cast	显式转换 dynamic_cast reinterpret_cast
内存分配
new 表达式	delete 表达式
类
类声明 构造函数 this 指针	访问说明符 friend 说明符
特定于类的函数属性
虚函数 override 说明符 (C++11)   final 说明符 (C++11)	explicit (C++11) static
特殊成员函数
默认构造函数 复制构造函数 移动构造函数 (C++11)	复制赋值 移动赋值 (C++11) 析构函数
模板
类模板 函数模板	模板特化 参数包 (C++11)
其他
内联汇编	C++ 历史

 

声明

概述 声明语法 decl-specifier-seq 声明符 冲突声明 说明符 typedef inline virtual 函数说明符 explicit 函数说明符 friend constexpr (C++11) consteval (C++20) constinit (C++20) 存储类说明符 翻译单元本地 (C++20) class/struct union enum decltype (C++11) auto (C++11) alignas (C++11) constvolatile 包索引说明符 (C++26)     详细类型说明符 属性 (C++11)

声明符 引用 指针 数组 块声明 简单声明 →结构化绑定声明 (C++17) 别名声明 (C++11) 命名空间别名定义 using 声明 using 指令 static_assert 声明 (C++11) asm 声明 不透明枚举声明 (C++11) 其他声明 命名空间定义 函数声明 类模板声明 函数模板声明 显式模板实例化 (C++11) 显式模板特化 链接规范 属性声明 (C++11) 空声明

 

属性

assume (C++23)

carries_dependency (C++11)

deprecated (C++14)

fallthrough (C++17)

indeterminate (C++26)

likely (C++20)

maybe_unused (C++17)

nodiscard (C++17)

noreturn (C++11)

no_unique_address (C++20)

optimize_for_synchronized (TM TS)

unlikely (C++20)

 

指示从上一个 case 标签处发生的穿透是故意的，并且编译器不应对此发出关于穿透的警告。

语法

[[fallthrough]]

解释

只能应用于 空语句 以创建穿透语句 ([[fallthrough]];).

穿透语句只能在 switch 语句中使用，其中要执行的下一个语句是具有该 switch 语句的 case 或 default 标签的语句。如果穿透语句位于循环内，则下一个（带标签的）语句必须是该循环的相同迭代的一部分。

示例

运行此代码

void f(int n)
{
    void g(), h(), i();
 
    switch (n)
    {
        case 1:
        case 2:
            g();
            [[fallthrough]];
        case 3: // no warning on fallthrough
            h();
        case 4: // compiler may warn on fallthrough
            if (n < 3)
            {
                i();
                [[fallthrough]]; // OK
            }
            else
            {
                return;
            }
        case 5:
            while (false)
            {
                [[fallthrough]]; // ill-formed: next statement is not
                                 //             part of the same iteration
            }
        case 6:
            [[fallthrough]]; // ill-formed, no subsequent case or default label
    }
}

缺陷报告

以下行为更改缺陷报告被追溯应用于先前发布的 C++ 标准。

DR	应用于	发布的行为	正确的行为
CWG 2406	C++17	[[fallthrough]] 可能会出现在循环中 嵌套在目标 switch 语句中	禁止

参考资料

• C++23 标准 (ISO/IEC 14882:2024)

• 9.12.6 穿透属性 [dcl.attr.fallthrough]

• C++20 标准 (ISO/IEC 14882:2020)

• 9.12.5 穿透属性 [dcl.attr.fallthrough]

• C++17 标准 (ISO/IEC 14882:2017)

• 10.6.5 穿透属性 [dcl.attr.fallthrough]

另请参见

C 文档 for fallthrough