C++ Attribut: fallthrough (seit C++17)

 

C++

Compiler-Unterstützung

Freestanding und gehostet

Sprache

Standardbibliothek

Header der Standardbibliothek

Benannte Anforderungen

Feature-Test-Makros (C++20)

Bibliothek für Sprachunterstützung

Konzepte-Bibliothek (C++20)

Diagnostik-Bibliothek

Speicherverwaltungsbibliothek

Metaprogrammierungsbibliothek (C++11)

Allgemeine Dienstprogramme-Bibliothek

Container-Bibliothek

Iterator-Bibliothek

Ranges-Bibliothek (C++20)

Algorithmen-Bibliothek

Bibliothek für Zeichenketten

Textverarbeitungsbibliothek

Numerik-Bibliothek

Datums- und Zeitbibliothek

Ein-/Ausgabe-Bibliothek

Dateisystembibliothek (C++17)

Unterstützung für nebenläufige Programmierung (C++11)

Ausführungssteuerungsbibliothek (C++26)

Technische Spezifikationen

Symbolverzeichnis

Externe Bibliotheken

 

C++ Sprache

Allgemeine Themen
Präprozessor Kommentare	Schlüsselwörter Escape-Sequenzen
Kontrollfluss
Bedingte Ausführungsaussagen
if	switch
Iterationsanweisungen (Schleifen)
for Bereichs-for (C++11)	while do-while
Sprunganweisungen
continue - break	goto - return
Funktionen
Funktionsdeklaration
Lambda-Funktionsausdruck
inline-Spezifizierer
Dynamische Ausnahmespezifikationen (bis C++17*)
noexcept-Spezifizierer (C++11)
Ausnahmen
throw-Ausdruck try-Block	catch-Handler
Namensräume
Namensdeklaration	Namensaliase
Typen
Fundamentale Typen Aufzählungstypen Funktionstypen	Klassen-/Strukturtypen Union-Typen
Spezifizierer
const/volatile decltype (C++11) auto (C++11)	constexpr (C++11) consteval (C++20) constinit (C++20)
Speicherdauer-Spezifizierer
Initialisierung
Standardinitialisierung Wertinitialisierung Nullinitialisierung Kopierinitialisierung Direkte Initialisierung	Aggregatinitialisierung Listeninitialisierung (C++11)   Konstante Initialisierung Referenzinitialisierung

Ausdrücke
Wertkategorien Reihenfolge der Auswertung	Operatoren Operatorrangfolge
Alternative Darstellungen
Literale
Boolesch - Ganzzahl - Gleitkommazahl
Zeichen - String - nullptr (C++11)
Benutzerdefinierte (C++11)
Dienstprogramme
Attribute (C++11)
Typen
typedef-Deklaration
Typalias-Deklaration (C++11)
Umwandlungen
Implizite Konvertierungen static_cast const_cast	Explizite Konvertierungen dynamic_cast reinterpret_cast
Speicherzuweisung
new-Ausdruck	delete-Ausdruck
Klassen
Klassendeklaration Konstruktoren this-Zeiger	Zugriffsspezifizierer friend-Spezifizierer
Klassenspezifische Funktionseigenschaften
Virtuelle Funktion override-Spezifizierer (C++11)   final-Spezifizierer (C++11)	explicit (C++11) static
Spezielle Member-Funktionen
Standardkonstruktor Kopierkonstruktor Move-Konstruktor (C++11)	Kopierzuweisung Move-Zuweisung (C++11) Destruktor
Templates
Klassenschablone Funktionsschablone	Schablonenspezialisierung Parameter-Pakete (C++11)
Sonstiges
Inline-Assembler	Geschichte von C++

 

Deklarationen

Übersicht Deklarationssyntax decl-specifier-seq Deklarator Konfligierende Deklarationen Spezifizierer typedef inline virtual Funktionsspezifizierer explicit Funktionsspezifizierer friend constexpr (C++11) consteval (C++20) constinit (C++20) Speicherklassen-Spezifizierer Übersetzungseinheits-lokal (C++20) class/struct union enum decltype (C++11) auto (C++11) alignas (C++11) constvolatile Pack-Indizierungs-Spezifizierer (C++26)     Elaborierter Typ-Spezifizierer Attribute (C++11)

Deklaratoren Referenz Zeiger Array Blockdeklarationen Einfache Deklaration   →Strukturierte Bindungsdeklaration (C++17) Alias-Deklaration (C++11) Namespace-Alias-Definition using Deklaration using-Direktive static_assert-Deklaration (C++11) asm-Deklaration Opaque Enum-Deklaration (C++11) Andere Deklarationen Namespace-Definition Funktionsdeklaration Klassentemplatedeklaration Funktionstemplatedeklaration Explizite Template-Instanziierung (C++11) Explizite Templatespezialisierung Linkage-Spezifikation Attributdeklaration (seit C++11) Leere Deklaration

 

Attribute

assume (C++23)

carries_dependency (C++11)(bis C++26)

deprecated (C++14)

fallthrough (C++17)

indeterminate (C++26)

likely (C++20)

maybe_unused (C++17)

nodiscard (C++17)

noreturn (C++11)

no_unique_address (C++20)

optimize_for_synchronized (TM TS)

unlikely (C++20)

 

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

Syntax

[[fallthrough]]

Erklärung

Darf nur auf eine Null-Anweisung angewendet werden, um eine Fallthrough-Anweisung 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

Führen Sie diesen Code aus

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

Fehlerberichte

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

DR	angewendet auf	Verhalten wie veröffentlicht	Korrigiertes Verhalten
CWG 2406	C++17	[[fallthrough]] konnte in einer Schleife erscheinen verschachtelt innerhalb der Ziel-Switch-Anweisung	verboten

Referenzen

• C++23 Standard (ISO/IEC 14882:2024)

• 9.12.6 Fallthrough-Attribut [dcl.attr.fallthrough]

• C++20 Standard (ISO/IEC 14882:2020)

• 9.12.5 Fallthrough-Attribut [dcl.attr.fallthrough]

• C++17 Standard (ISO/IEC 14882:2017)

• 10.6.5 Fallthrough-Attribut [dcl.attr.fallthrough]

Siehe auch

C-Dokumentation für fallthrough