C++ attribute: fallthrough (since C++17)

表明从前一个 case 标签的直落行为是故意的，不应被会对直落行为发出警告的编译器诊断出来。

语法

说明

仅可应用于 空语句 以创建 直落语句 （ [ [ fallthrough ] ] ; ）。

fallthrough 语句仅可用于 switch 语句中，且下一条待执行语句必须为该 switch 语句中带有 case 或 default 标签的语句。若 fallthrough 语句位于循环内部，则下一条（带标签的）语句必须属于该循环的同一轮迭代。

示例

void f(int n)
{
    void g(), h(), i();
    switch (n)
    {
        case 1:
        case 2:
            g();
            [[fallthrough]];
        case 3: // 不会对fallthrough发出警告
            h();
        case 4: // 编译器可能对fallthrough发出警告
            if (n < 3)
            {
                i();
                [[fallthrough]]; // 正确
            }
            else
            {
                return;
            }
        case 5:
            while (false)
            {
                [[fallthrough]]; // 非良构：下一条语句不属于
                                 //         同一循环迭代
            }
        case 6:
            [[fallthrough]]; // 非良构，没有后续的case或default标签
    }
}

缺陷报告

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

参考文献

参见