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

Indica que la caída desde la etiqueta de caso anterior es intencional y no debe ser diagnosticada por un compilador que advierte sobre caídas.

Sintaxis

Explicación

Solo puede aplicarse a una sentencia nula para crear una sentencia fallthrough ( [ [ fallthrough ] ] ; ).

Una declaración fallthrough solo puede utilizarse en una switch statement, donde la siguiente declaración a ejecutar es una declaración con una etiqueta case o default para esa declaración switch. Si la declaración fallthrough está dentro de un loop, la siguiente declaración (etiquetada) debe ser parte de la misma iteración de ese loop.

Ejemplo

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
    }
}

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.

Referencias

Véase también