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

Indique que la chute depuis l'étiquette de cas précédente est intentionnelle et ne devrait pas être diagnostiquée par un compilateur qui avertit sur les chutes.

Syntaxe

Explication

Ne peut être appliqué qu'à une instruction nulle pour créer une instruction fallthrough ( [ [ fallthrough ] ] ; ).

Une instruction fallthrough ne peut être utilisée que dans une switch statement, où la prochaine instruction à exécuter est une instruction avec un label case ou default pour cette instruction switch. Si l'instruction fallthrough est à l'intérieur d'une boucle, la prochaine instruction (étiquetée) doit faire partie de la même itération de cette boucle.

Exemple

void f(int n)
{
    void g(), h(), i();
    switch (n)
    {
        case 1:
        case 2:
            g();
            [[fallthrough]];
        case 3: // aucun avertissement sur le fallthrough
            h();
        case 4: // le compilateur peut avertir sur le fallthrough
            if (n < 3)
            {
                i();
                [[fallthrough]]; // OK
            }
            else
            {
                return;
            }
        case 5:
            while (false)
            {
                [[fallthrough]]; // incorrect : l'instruction suivante ne fait pas
                                 //             partie de la même itération
            }
        case 6:
            [[fallthrough]]; // incorrect, aucun label case ou default suivant
    }
}

Rapports de défauts

Les rapports de défauts modifiant le comportement suivants ont été appliqués rétroactivement aux normes C++ précédemment publiées.

Références

Voir aussi