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

Gibt an, dass das Fallthrough vom vorherigen Case-Label beabsichtigt ist und nicht von einem Compiler diagnostiziert werden sollte, der vor Fallthrough warnt.

Syntax

Erklärung

Darf nur auf eine null statement angewendet werden, um eine fallthrough statement zu erstellen ( [ [ fallthrough ] ] ; ).

Eine Fallthrough-Anweisung darf nur in einer switch -Anweisung verwendet werden, wobei die nächste auszuführende Anweisung eine Anweisung mit einem case- oder default-Label für diese switch-Anweisung ist. Wenn sich die fallthrough-Anweisung innerhalb einer Schleife befindet, muss die nächste (gelabelte) Anweisung Teil derselben Iteration dieser Schleife sein.

Beispiel

void f(int n)
{
    void g(), h(), i();
    switch (n)
    {
        case 1:
        case 2:
            g();
            [[fallthrough]];
        case 3: // keine Warnung bei Fallthrough
            h();
        case 4: // Compiler kann bei Fallthrough warnen
            if (n < 3)
            {
                i();
                [[fallthrough]]; // OK
            }
            else
            {
                return;
            }
        case 5:
            while (false)
            {
                [[fallthrough]]; // ungültig: nächste Anweisung ist nicht
                                 //          Teil derselben Iteration
            }
        case 6:
            [[fallthrough]]; // ungültig, kein nachfolgender Case- oder Default-Label
    }
}

Fehlerberichte

Die folgenden verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

Referenzen

Siehe auch