Verständnisfrage zu Exit

[Rollo62]

Zitat von Benmik:

Warum gibt es im Programmiererclub mehr Dogmen als in der katholischen Kirche,

Aber Du hast sicher Recht, ein bischen lockerer könnten die Puristen schon werden.

Result als lokale Variable:
- Ja, da wo es Sinn macht

Exit als Vorbedingung
- Ja, wenn es zig Verschachtelungen vermeidet

...
...
...

Habe ich theroretische Philosophieprobleme damit ?
Nein, wenn ich weiss was ich da tue.


Ausserdem versuche ich es möglichst gut visuell zu dokumentieren:

Delphi-Quellcode:

begin
   if VorbedingungFails then
   begin
      Exit; //<== Leave here ==============================================
   end;

  ...
end;

[Stevie]

Zu "Exit ist genauso böse wie goto" - sehe ich nicht so - Exit hat ein unverrückbares Ziel: das Ende der Routine, wohingegen zu einem goto immer ein label gehört, was sonstwo sein kann.

Zu "Result erst so spät wie möglich setzen" - ja, das verhindert, dass der Compiler den Wert für eine Weile merken und zwischenspeichern muss, entweder auf dem Stack oder er blockiert ein Register, was dann woanders fehlt. Aber wenn man bei dieser Argumentation ist, dann muss man noch ganz viele andere Dinge beachten und sich fragen, ob man das dann macht, wenn man genau weiß warum oder einfach nur "cargo cult" folgt.

Zu "Exit benutzen oder nicht" - teilweise Geschmackssache, ich nutze gern ein Exit aus einer "suche mir ein Element"-Schleife und handhabe den "kein Fund"-Fall einfach nach der Schleife. Oder ich verabschiede mich nach einigen anfänglichen negativ formulierten Überprüfungen gleich mit einem Exit, so dass ich den ganzen eigentlichen Code nicht unterhalb der positiv formulierten Bedingung in einem Block habe (sofern nicht absolut optimiert, denn da gelten wieder andere Regeln - Stichwort branchless programming bzw common path ohne conditional jump taken).

Eine Sache noch zu Exit oder nicht - die Benutzung von Exit kann durchaus dafür sorgen, dass der Compiler auch tatsächlich an dieser Stelle ein ret einbaut wohingegen der Fall mit einem else... ein jmp an das end der Routine erfolgt.

[Andreas13]

Hallo,
auch ich benutze Exit bei numerischen Berechnungen recht oft, häufig in folgender beispielhafter Weise:

Delphi-Quellcode:

Function Komplizierte_Berechnung(CONST a, b, c: Extended; 
            CONST X_Vektor, Y_Vektor, Z_Vektor: TExtended_Array; 
                                  VAR A_Matrix: TExtended_Matrix; 
                                   VAR f, g, h: Extended): Integer;
VAR
  Diverse dynamische Strukturen;

Begin
  Dynamische Strukturen initialisieren;
  . . .
  Try
    IF NOT Check_1(...) Then
    Begin
      Exit(ErrorCode_1);
    End;


    IF NOT Check_2(...) Then
    Begin
      Exit(ErrorCode_2);
    End;
    . . . 

    IF Bedingung_1 Then
    Begin
      Berechnungen_1;
      Exit(ErrorCode_3);
    End;

    IF Bedingung_2 Then
    Begin
      Berechnungen_2;
      Exit(ErrorCode_4);
    End;

    . . . 

  Finally
    Rückgabeparameter schreiben;
    Dynamische Strukturen freigeben;
  End;
End;

Ich habe damit gute Erfahrungen gemacht.
Gruß, Andreas

[Medium]

Zitat von Stevie:

Zu "Exit ist genauso böse wie goto" - sehe ich nicht so - Exit hat ein unverrückbares Ziel: das Ende der Routine, wohingegen zu einem goto immer ein label gehört, was sonstwo sein kann.

Zu "Result erst so spät wie möglich setzen" - ja, das verhindert, dass der Compiler den Wert für eine Weile merken und zwischenspeichern muss, entweder auf dem Stack oder er blockiert ein Register, was dann woanders fehlt. Aber wenn man bei dieser Argumentation ist, dann muss man noch ganz viele andere Dinge beachten und sich fragen, ob man das dann macht, wenn man genau weiß warum oder einfach nur "cargo cult" folgt.

Zu "Exit benutzen oder nicht" - teilweise Geschmackssache, ich nutze gern ein Exit aus einer "suche mir ein Element"-Schleife und handhabe den "kein Fund"-Fall einfach nach der Schleife. Oder ich verabschiede mich nach einigen anfänglichen negativ formulierten Überprüfungen gleich mit einem Exit, so dass ich den ganzen eigentlichen Code nicht unterhalb der positiv formulierten Bedingung in einem Block habe (sofern nicht absolut optimiert, denn da gelten wieder andere Regeln - Stichwort branchless programming bzw common path ohne conditional jump taken).

Eine Sache noch zu Exit oder nicht - die Benutzung von Exit kann durchaus dafür sorgen, dass der Compiler auch tatsächlich an dieser Stelle ein ret einbaut wohingegen der Fall mit einem else... ein jmp an das end der Routine erfolgt.

Hier kann ich in allen Punkten volle Zustimmung geben und Fanboy-Flaggen wedeln. *wedel*