Was ist der Sinn von Noreturn?

[dcl.attr.noreturn] bietet das folgende Beispiel:

[[ noreturn ]] void f() {
    throw "error";
    // OK
}

aber ich verstehe nicht, worum es geht [[noreturn]], weil der Rückgabetyp der Funktion bereits ist void.

Was ist der Sinn des noreturnAttributs? Wie soll es verwendet werden?

Das noreturn-Attribut soll für Funktionen verwendet werden, die nicht zum Aufrufer zurückkehren. Das bedeutet nicht, dass Funktionen ungültig sind (die zum Aufrufer zurückkehren - sie geben nur keinen Wert zurück), sondern Funktionen, bei denen der Kontrollfluss nach Beendigung der Funktion nicht zur aufrufenden Funktion zurückkehrt (z. B. Funktionen, die die Anwendung beenden, Schleife für immer oder Ausnahmen auslösen wie in Ihrem Beispiel).

Dies kann von Compilern verwendet werden, um einige Optimierungen vorzunehmen und bessere Warnungen zu generieren. Wenn beispielsweise fdas Attribut noreturn vorhanden ist, kann der Compiler Sie g()beim Schreiben davor warnen, dass der Code tot ist f(); g();. Ebenso kann der Compiler Sie nicht vor fehlenden return-Anweisungen nach Aufrufen von warnen f().

noreturnteilt dem Compiler nicht mit, dass die Funktion keinen Wert zurückgibt. Es teilt dem Compiler mit, dass der Kontrollfluss nicht zum Aufrufer zurückkehrt . Dies ermöglicht es dem Compiler, eine Vielzahl von Optimierungen vorzunehmen - er muss keinen flüchtigen Zustand um den Aufruf herum speichern und wiederherstellen, er kann jeglichen Code, der sonst dem Aufruf folgen würde, durch Deadcode eliminieren usw.

Dies bedeutet, dass die Funktion nicht abgeschlossen wird. Der Kontrollfluss wird die Anweisung nach dem Aufruf von f():

void g() {
   f();
   // unreachable:
   std::cout << "No! That's impossible" << std::endl;
}

Die Informationen können vom Compiler / Optimierer auf verschiedene Arten verwendet werden. Der Compiler kann eine Warnung hinzufügen, dass der obige Code nicht erreichbar ist, und er kann den tatsächlichen Code g()auf verschiedene Arten ändern, um beispielsweise Fortsetzungen zu unterstützen.

Frühere Antworten haben richtig erklärt, was Noreturn ist, aber nicht, warum es existiert. Ich denke nicht, dass die "Optimierungs" -Kommentare der Hauptzweck sind: Funktionen, die nicht zurückkehren, sind selten und müssen normalerweise nicht optimiert werden. Ich denke eher, dass die Hauptaufgabe von noreturn darin besteht, falsch positive Warnungen zu vermeiden. Betrachten Sie beispielsweise diesen Code:

int f(bool b){
    if (b) {
        return 7;
    } else {
        abort();
    }
 }

Wäre abort () nicht als "noreturn" markiert worden, hätte der Compiler möglicherweise davor gewarnt, dass dieser Code einen Pfad hat, in dem f nicht wie erwartet eine Ganzzahl zurückgibt. Da abort () als no return markiert ist, weiß es, dass der Code korrekt ist.

Typ theoretisch gesprochen, voidheißt das in anderen Sprachen unitoder top. Sein logisches Äquivalent ist Wahr . Jeder Wert kann legitimiert umgewandelt werden void(jeder Typ ist ein Subtyp von void). Betrachten Sie es als "Universum" -Set; Es gibt keine gemeinsamen Operationen für alle Werte auf der Welt, daher gibt es keine gültigen Operationen für einen Wert vom Typ void. Anders ausgedrückt: Wenn Sie sagen, dass etwas zum Universum gehört, erhalten Sie keinerlei Informationen - Sie wissen es bereits. Das Folgende ist also Ton:

(void)5;
(void)foo(17); // whatever foo(17) does

Die folgende Zuordnung lautet jedoch nicht:

void raise();
void f(int y) {
    int x = y!=0 ? 100/y : raise(); // raise() returns void, so what should x be?
    cout << x << endl;
}

[[noreturn]], Auf der anderen Seite, manchmal genannt wird empty, Nothing, Bottomoder Botund ist die logische Äquivalent Falsch . Es hat überhaupt keine Werte, und ein Ausdruck dieses Typs kann in einen beliebigen Typ umgewandelt werden (dh ist ein Subtyp eines beliebigen Typs). Dies ist die leere Menge. Beachten Sie, dass jemand, der Ihnen sagt, dass "der Wert des Ausdrucks foo () zur leeren Menge gehört", sehr informativ ist - er sagt Ihnen, dass dieser Ausdruck niemals seine normale Ausführung abschließen wird. es wird abbrechen, werfen oder hängen. Es ist das genaue Gegenteil von void.

Das Folgende macht also keinen Sinn (Pseudo-C ++, da noreturnes sich nicht um einen erstklassigen C ++ - Typ handelt)

void foo();
(noreturn)5; // obviously a lie; the expression 5 does "return"
(noreturn)foo(); // foo() returns void, and therefore returns

Die folgende Zuordnung ist jedoch absolut legitim, da throwder Compiler versteht, dass er nicht zurückgibt:

void f(int y) {
    int x = y!=0 ? 100/y : throw exception();
    cout << x << endl;
}

In einer perfekten Welt können Sie noreturnals Rückgabewert für die raise()obige Funktion Folgendes verwenden:

noreturn raise() { throw exception(); }
...
int x = y!=0 ? 100/y : raise();

Leider erlaubt C ++ dies nicht, wahrscheinlich aus praktischen Gründen. Stattdessen können Sie [[ noreturn ]]Attribute verwenden, mit denen Sie Compileroptimierungen und Warnungen steuern können.