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

前のcaseラベルからのフォールスルーが意図的であり、フォールスルーについて警告するコンパイラによる診断をすべきではないことを示します。

構文

説明

これは null statement にのみ適用でき、 fallthrough statement ( [ [ 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: // フォールスルーに関する警告なし
            h();
        case 4: // コンパイラはフォールスルーについて警告を発する可能性あり
            if (n < 3)
            {
                i();
                [[fallthrough]]; // OK
            }
            else
            {
                return;
            }
        case 5:
            while (false)
            {
                [[fallthrough]]; // 不正: 次の文は同じ反復処理の一部ではない
            }
        case 6:
            [[fallthrough]]; // 不正、後続のcaseまたはdefaultラベルがない
    }
}

不具合報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

参考文献

関連項目