C++ attribute: noreturn (since C++11)

Gibt an, dass die Funktion nicht zurückkehrt.

Syntax

Erklärung

Gibt an, dass die Funktion nach Beendigung nicht zur aufrufenden Funktion zurückkehrt (z.B. Funktionen, die die Anwendung beenden, Ausnahmen werfen, endlos schleifen, etc.). Dieses Attribut gilt nur für den Namen der Funktion, die in Funktionsdeklarationen deklariert wird.

Wenn eine Funktion, die zuvor mit [ [ noreturn ] ] deklariert wurde, aufgerufen wird und dieser Aufruf schließlich zurückkehrt, ist das Verhalten Laufzeit-undefiniert .

Die erste Deklaration der Funktion muss dieses Attribut angeben, falls es in irgendeiner Deklaration angegeben wird. Wenn eine Funktion in einer Übersetzungseinheit mit [ [ noreturn ] ] deklariert wird und dieselbe Funktion in einer anderen Übersetzungseinheit ohne [ [ noreturn ] ] deklariert wird, ist das Programm fehlerhaft; keine Diagnose erforderlich.

Beispiel

[[noreturn]] void f()
{
    throw "error";
    // OK
}
void q [[noreturn]] (int i)
{
    // Verhalten ist undefiniert, wenn mit einem Argument <= 0 aufgerufen
    if (i > 0)
        throw "positive";
}
// void h() [[noreturn]]; // Fehler: Attribut auf Funktionstyp von h angewendet, nicht auf h selbst
int main()
{
    try { f(); } catch(...) {}
    try { q(42); } catch(...) {}
}

Standardbibliothek

Die folgenden Standardfunktionen sind mit dem noreturn -Attribut deklariert:

Fehlerberichte

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

Referenzen

Siehe auch