Beispiele für gute Gotos in C oder C++ [closed]

Question 1

In diesem Thread sehen wir uns Beispiele für gute Verwendungen von an goto in C oder C++. Es ist inspiriert von einer Antwort, die Leute gewählt haben, weil sie dachten, ich mache Witze.

Zusammenfassung (Etikett vom Original geändert, um die Absicht noch klarer zu machen):

infinite_loop:

    // code goes here

goto infinite_loop;

Warum es besser ist als die Alternativen:

Es ist spezifisch. goto ist das Sprachkonstrukt, das eine unbedingte Verzweigung bewirkt. Alternativen hängen von der Verwendung von Strukturen ab, die bedingte Verzweigungen mit einer degenerierten Always-True-Bedingung unterstützen.
Das Etikett dokumentiert die Absicht ohne zusätzliche Kommentare.

Der Leser muss den dazwischenliegenden Code nicht vorzeitig scannen breaks (obwohl es für einen prinzipienlosen Hacker immer noch möglich ist, zu simulieren
continue mit früh goto).

Regeln:

Tu so, als hätten die Gotophoben nicht gewonnen. Es versteht sich, dass das Obige nicht in echtem Code verwendet werden kann, da es gegen die etablierte Sprache verstößt.

Gehen Sie davon aus, dass wir alle von „Goto gilt als schädlich“ gehört haben und wissen, dass goto zum Schreiben von Spaghetti-Code verwendet werden kann.
Wenn Sie mit einem Beispiel nicht einverstanden sind, kritisieren Sie es allein aus technischen Gründen (‘Weil die Leute goto nicht mögen’ ist kein technischer Grund).

Mal sehen, ob wir wie Erwachsene darüber reden können.

Bearbeiten

Diese Frage scheint nun erledigt. Es generierte einige qualitativ hochwertige Antworten. Danke an alle, besonders an diejenigen, die mein kleines Loop-Beispiel ernst genommen haben. Die meisten Skeptiker waren besorgt über den fehlenden Blockbereich. Wie @quinmars in einem Kommentar betonte, können Sie immer Klammern um den Schleifenkörper legen. Das merke ich nebenbei an for(;;) und while(true) Geben Sie Ihnen die Klammern auch nicht kostenlos (und das Weglassen kann zu ärgerlichen Fehlern führen). Jedenfalls verschwende ich nicht noch mehr von deiner Denkkraft auf diese Kleinigkeit – ich kann mit dem Harmlosen und Idiomatischen leben for(;;) und while(true) (ebenso gut, wenn ich meinen Job behalten will).

Wenn ich die anderen Antworten betrachte, sehe ich, dass viele Leute das sehen goto als etwas, das man immer anders umschreiben muss. Natürlich können Sie a vermeiden goto durch Einführung einer Schleife, eines zusätzlichen Flags, eines Stapels von verschachtelten ifs, oder was auch immer, aber warum nicht überlegen, ob goto ist vielleicht das beste Werkzeug für den Job? Anders ausgedrückt, wie viel Hässlichkeit sind die Menschen bereit, zu ertragen, um zu vermeiden, dass eine eingebaute Sprachfunktion für den beabsichtigten Zweck verwendet wird? Meiner Ansicht nach ist selbst das Hinzufügen einer Flagge ein zu hoher Preis. Ich mag es, wenn meine Variablen Dinge in den Problem- oder Lösungsdomänen darstellen. „Nur um a zu vermeiden goto‘ schneidet es nicht ab.

Ich akzeptiere die erste Antwort, die das C-Muster für die Verzweigung zu einem Bereinigungsblock lieferte. IMO, das ist das stärkste Argument für a goto aller geposteten Antworten, sicherlich wenn man es an den Verrenkungen misst, die ein Hasser durchmachen muss, um es zu vermeiden.

Question 2

Hier ist ein Trick, den ich von Leuten gehört habe. In freier Wildbahn habe ich es allerdings noch nie gesehen. Und es gilt nur für C, weil C++ RAII hat, um dies idiomatischer zu tun.

void foo()
{
    if (!doA())
        goto exit;
    if (!doB())
        goto cleanupA;
    if (!doC())
        goto cleanupB;

    /* everything has succeeded */
    return;

cleanupB:
    undoB();
cleanupA:
    undoA();
exit:
    return;
}

Question 3

Die klassische Notwendigkeit für GOTO in C ist wie folgt

for ...
  for ...
    if(breakout_condition) 
      goto final;

final:

Es gibt keine einfache Möglichkeit, verschachtelte Schleifen ohne goto zu verlassen.

Question 4

Hier ist mein nicht dummes Beispiel (von Stevens APITUE) für Unix-Systemaufrufe, die durch ein Signal unterbrochen werden können.

restart:
    if (system_call() == -1) {
        if (errno == EINTR) goto restart;

        // handle real errors
    }

Die Alternative ist eine degenerierte Schleife. Diese Version liest sich wie Englisch “Wenn der Systemaufruf durch ein Signal unterbrochen wurde, starten Sie ihn neu”.

Question 5

Wenn Duffs Gerät kein goto benötigt, sollten Sie das auch nicht! 😉

void dsend(int count) {
    int n;
    if (!count) return;
    n = (count + 7) / 8;
    switch (count % 8) {
      case 0: do { puts("case 0");
      case 7:      puts("case 7");
      case 6:      puts("case 6");
      case 5:      puts("case 5");
      case 4:      puts("case 4");
      case 3:      puts("case 3");
      case 2:      puts("case 2");
      case 1:      puts("case 1");
                 } while (--n > 0);
    }
}

obigen Code aus Wikipedia Eintrag.

Question 6

Knuth hat eine Arbeit “Strukturierte Programmierung mit GOTO-Anweisungen” geschrieben, die Sie zB von bekommen können Hier. Da findest du viele Beispiele.

Question 7

Sehr gewöhnlich.

do_stuff(thingy) {
    lock(thingy);

    foo;
    if (foo failed) {
        status = -EFOO;
        goto OUT;
    }

    bar;
    if (bar failed) {
        status = -EBAR;
        goto OUT;
    }

    do_stuff_to(thingy);

OUT:
    unlock(thingy);
    return status;
}

Der einzige Fall, den ich je benutze goto dient zum Vorwärtsspringen, normalerweise aus Blöcken heraus und niemals in Blöcke hinein. Dadurch wird ein Missbrauch vermieden do{}while(0) und andere Konstrukte, die die Verschachtelung erhöhen und gleichzeitig lesbaren, strukturierten Code beibehalten.

Question 8

Ich habe im Allgemeinen nichts gegen Gotos, aber mir fallen mehrere Gründe ein, warum Sie sie nicht für eine Schleife verwenden möchten, wie Sie sie erwähnt haben:

Es schränkt den Umfang nicht ein, daher werden alle temporären Variablen, die Sie darin verwenden, erst später freigegeben.
Es schränkt den Umfang nicht ein und kann daher zu Fehlern führen.

Der Bereich wird nicht eingeschränkt, daher können Sie dieselben Variablennamen später in zukünftigem Code im selben Bereich nicht wiederverwenden.
Es schränkt den Umfang nicht ein, daher haben Sie die Möglichkeit, eine Variablendeklaration zu überspringen.
Die Leute sind daran nicht gewöhnt und es wird Ihren Code schwerer lesbar machen.

Verschachtelte Schleifen dieses Typs können zu Spaghetti-Code führen, normale Schleifen führen nicht zu Spaghetti-Code.