Sollte eine Funktion nur eine Rückgabeanweisung haben?

Question

Gibt es gute Gründe, warum es besser ist, nur eine Rückgabeanweisung in einer Funktion zu haben?

Oder ist es in Ordnung, aus einer Funktion zurückzukehren, sobald dies logisch korrekt ist, d.h. es kann viele Return-Anweisungen in der Funktion geben?

Answer 1

Wie Kent Beck bei der Erörterung von Schutzklauseln in Muster für die Umsetzung eine Routine mit einem einzigen Eintritts- und Austrittspunkt zu versehen ...

"war es, die Verwirrung zu vermeiden, die entstehen kann wenn man in viele Orte hinein und aus ihnen heraus Orten in derselben Routine. Es machte Sinn, wenn es auf FORTRAN oder Assembler Assembler-Programmen, die mit vielen globalen Daten, bei denen sogar Verständnis, welche Anweisungen ausgeführt wurden ... bei kleinen Methoden und meist lokalen Daten ist es unnötig konservativ."

Ich finde eine Funktion, die mit Schutzklauseln geschrieben wurde, viel einfacher zu verfolgen als einen langen verschachtelten Haufen von if then else Erklärungen.

Answer 2

In einer Funktion, die keine Nebeneffekte hat, gibt es keinen guten Grund, mehr als eine Rückgabe zu haben, und man sollte sie in einem funktionalen Stil schreiben. Bei einer Methode mit Seiteneffekten sind die Dinge sequenzieller (zeitindiziert), daher schreiben Sie im imperativen Stil und verwenden die Rückgabeanweisung als Befehl zum Beenden der Ausführung.

Mit anderen Worten, bevorzugen Sie, wenn möglich, diesen Stil

return a > 0 ?
  positively(a):
  negatively(a);

hierüber

if (a > 0)
  return positively(a);
else
  return negatively(a);

Wenn Sie mehrere Schichten von verschachtelten Bedingungen schreiben, gibt es wahrscheinlich einen Weg, wie Sie das umstrukturieren können, zum Beispiel mit Prädikatsliste. Wenn Sie feststellen, dass Ihre "ifs" und "els" syntaktisch weit voneinander entfernt sind, sollten Sie diese in kleinere Funktionen aufteilen. Ein bedingter Block, der sich über mehr als einen Bildschirm voll Text erstreckt, ist schwer zu lesen.

Es gibt keine feste Regel, die für alle Sprachen gilt. Eine einzige Return-Anweisung macht Ihren Code noch lange nicht gut. Aber guter Code wird es Ihnen erlauben, Ihre Funktionen auf diese Weise zu schreiben.

Answer 3

Ich habe es in den Codierungsstandards für C++ gesehen, die ein Überbleibsel von C waren, denn wenn man kein RAII oder ein anderes automatisches Speichermanagement hat, dann muss man bei jeder Rückkehr aufräumen, was entweder Ausschneiden und Einfügen des Aufräumens oder ein goto (logischerweise dasselbe wie 'finally' in verwalteten Sprachen) bedeutet, was beides als schlechte Form gilt. Wenn Sie intelligente Zeiger und Auflistungen in C++ oder einem anderen automatischen Speichersystem verwenden, dann gibt es keinen triftigen Grund dafür, und es geht nur noch um die Lesbarkeit und ist eher eine Ermessensentscheidung.

Answer 4

Ich neige zu der Auffassung, dass Return-Anweisungen in der Mitte der Funktion sind schlecht. Sie können Returns verwenden, um einige Schutzklauseln am Anfang der Funktion zu erstellen, und natürlich dem Compiler mitteilen, was am Ende der Funktion ohne Probleme zurückgegeben werden soll, aber Returns in der Mitte der Funktion kann leicht übersehen werden und erschwert die Interpretation der Funktion.

Answer 5

Gibt es gute Gründe, warum es besser ist, nur eine Rückgabeanweisung in einer Funktion zu haben?

Ja gibt es:

• Die einzige Ausstiegsstelle ist ein hervorragender Ort, um Ihre Nachbedingungen durchzusetzen.
• Die Möglichkeit, einen Debugger-Breakpoint auf den einen Return am Ende der Funktion zu setzen, ist oft nützlich.
• Weniger Rückgaben bedeuten weniger Komplexität. Ein linearer Code ist im Allgemeinen einfacher zu verstehen.
• Wenn der Versuch, eine Funktion auf einen einzigen Rückgabewert zu vereinfachen, zu Komplexität führt, dann ist das ein Anreiz für eine Umstrukturierung zu kleineren, allgemeineren und leichter zu verstehenden Funktionen.
• In einer Sprache ohne Destruktoren oder wenn Sie RAII nicht verwenden, reduziert eine einzelne Rückgabe die Anzahl der Stellen, an denen Sie aufräumen müssen.
• Einige Sprachen erfordern einen einzigen Exit-Point (z.B. Pascal und Eiffel).

Die Frage wird oft als falsche Dichotomie zwischen Mehrfachrückgaben oder tief verschachtelten if-Anweisungen gestellt. Es gibt fast immer eine dritte Lösung, die sehr linear ist (keine tiefe Verschachtelung) und nur einen einzigen Ausgangspunkt hat.

Update : Anscheinend MISRA-Leitlinien fördern die einheitliche Ausreise auch.

Um das klarzustellen: Ich sage nicht, dass es immer Es ist falsch, mehrere Rückgaben zu haben. Aber bei ansonsten gleichwertigen Lösungen gibt es viele gute Gründe, die Lösung mit einer einzigen Rendite vorzuziehen.