wann wird eine If Abfrage verlassen

[uligerhardt]

Zitat von Der schöne Günther:

Warum das in Delphi ein globaler (ziemlich auffälliger) Compilerschalter ist und nicht wie in so ziemlich allen Sprachen ein "&&" bzw "&" habe ich nie verstanden...

&/&& unterscheidet doch (zumindest in C und Konsorten) zwischen Bitarithmetik und boolescher Logik und hat nichts mit short circuit zu tun?

[Der schöne Günther]

Ja und dementsprechend kürzt ein "||" doch auch ab während es ein "|" ja gar nicht tun kann?

Code:

#pragma hdrstop
#pragma argsused

#include <tchar.h>
#include <stdio.h>

#include <iostream>

bool someFunc1() {
   return true;
}

bool someFunc2() {
    std::cout << "Jemand rief someFunc2() auf" << std::endl;
   return true;
}


int _tmain(int argc, _TCHAR* argv[])
{
   std::cout
      << "Mit || ist das Ergebnis "
      << (someFunc1() || someFunc2())
      << std::endl;

   std::cout << std::endl;

   std::cout
      << "Mit | ist das Ergebnis "
      << (someFunc1() | someFunc2())
      << std::endl;

   getchar();
   return 0;
}

Ergibt

Code:

Mit || ist das Ergebnis 1

Jemand rief someFunc2() auf
Mit | ist das Ergebnis 1

Falls ich mich jetzt vertue brauche ich echt Urlaub...

[uligerhardt]

Zitat von Der schöne Günther:

Ja und dementsprechend kürzt ein "||" doch auch ab während es ein "|" ja gar nicht tun kann?

Ach so, kann sein.

[himitsu]

Zitat von p80286:

Und was ist mit dem allseits beliebten
if (length(a)>0) and (copy(a,1,1)='H') then bei einem Leerstring würde die vollständige Auswertung nicht so doll sein

Nee, knallt natürlich nicht, da Copy die Stringlänge beachtet und weniger zurückgibt, wie verlangt wurde, wenn weniger drin ist.

Kann man also problemlos auf if copy(a,1,1)='H' then kürzen und ansonsten wäre es auch egal, ob vollständig ausgewertet wird oder nicht.

Hier gäbe es aber Probleme if (length(a)>0) and (a[1]='H') then ,
aber da "standardmäßig" nicht vollsändig ausgewertet wird, ist der Code eigentlich optimaler, da nicht "sinnlos" ein neuer String erstellt und freigegeben wird.

[p80286]

Das ein copy(a,1,maxint) funktioniert habe ich ja schon dankbar zur Kenntnis genommen, daß das auch für leere Strings gilt war mir neu.
Naja man lernt nicht aus.

Gruß
K-H

[himitsu]

Zitat:

copy(a,3,maxint)

Inzwischen geht auch copy(a,3)

[Dejan Vu]

Wenn ich so etwas sehe:

Delphi-Quellcode:

If (length(ValueA)=0) or (length(ValueA)> 0 and ValueA[0] < 1) then 
...

muss ich immer 2x hinschauen. Auch später, beim Lesen des Codes. Also überlege ich mir "Was bedeutet das eigentlich". Z.B. will ich sicherstellen, das 'ValueA' mindestens einen gültigen Wert enthält. Also schreibe ich
If HasAtLeastOneValidValue(ValueA) then . *DAS* kann man lesen.
Nächster Schritt. Was bedeutet also 'HasAtLeastOneValidValue' ? Also ausformulieren

Delphi-Quellcode:

function HasAtLeastOneValidValue (aArray : TIntegerArray) : Boolean;
Begin
  if Length(aArray)=0 then exit(false);
  if aArray[0]<1 then exit(false); 
  exit(true);
end;

Unit-Test für diese Idiotenfunktion schreiben, läuft, fertig. Kommentieren? Wieso? Ist sie doch schon. Falls mir das nicht reicht, mit dem Kommentar, mach ich Folgendes:

Delphi-Quellcode:

function HasAtLeastOneValidValue (aArray : TIntegerArray) : Boolean;
Begin
  if IsEmpty(aArray) then
     exit (false);

  result := ElementIsValid(aArray[0]);
end;

Function IsEmtpy (aArray : TIntegerArray) : Boolean;
begin
  result := Length(aArray) = 0;
end;

Function ElementIsValid(aElement : Integer) : Boolean;
begin
  result := aElement >= 1;
end;

Das versteht selbst Oma. Ich persönlich würde wirklich so weit gehen.

Aber irgendwann fällt meinem Kollegen (ein Performancefetischist) auf, das man die Funktion verkleinern kann. Kein Problem, wir haben ja den Unittest. Also macht er vielleicht später daraus einen Einzeiler. Oder auch nicht, vollkommen egal.

Ich komme durch dieses Refactoring bzw. Top-Down-Programmieren mit stufenweiser Verfeinerung bei etwas komplexeren boolschen Ausdrücken nie in die Verlegenheit, den Ausdruck in eine Zeile zu quetschen, sondern kann mich in der Funktion nach Herzenslust austoben. Das erhöht die Lesbarkeit enorm (gut, es ist etwas kleinlich), aber wenn ich nach 10 Jahren nochmal reinschaue, verstehe ich es immer noch. Und mir ist das sehr wichtig.

Zitat von Der schöne Günther:

Warum das in Delphi ein globaler (ziemlich auffälliger) Compilerschalter ist und nicht wie in so ziemlich allen Sprachen ein "&&" bzw "&" habe ich nie verstanden...

Das ist doch ganz einfach:

A and B ist ein Boolscher Ausdruck, bei dem selbstverständlich -rein mathematisch gesehen- A und B ausgerechnet bzw. ermittelt wird. Irgendwann, als die CPU noch langsam waren, kam jemand auf die Idee, das B (oder A?) gar nicht ausgerechnet werden muss, wenn FALSE beim ersten Element rauskommt. Wow. Optimierung war damals hoch im Kurs. Blöd für die Compiler, die einen Ausdruck von rechts nach links ausgewertet haben (C war früher so -glaube ich-). Da kommt man dann durcheinander, weswegen ich mich früher nie darauf verlassen habe, sondern immer 'If A then if B then' geschrieben habe.

Aber da Delphi ursprünglich aus Turbopascal entstanden und Turbopascal auch in Felsmalereien in Steinzeithöhlen zu finden ist, hat sich das bis heute so gehalten. Bei Delphi wird Tradition noch groß geschrieben.

Wie hättest Du es denn gerne? If A andthen B then Delphi will ja partout keine kurzen Operatoren...

[Der schöne Günther]

Zitat von Dejan Vu:

und Turbopascal auch in Felsmalereien in Steinzeithöhlen zu finden ist, [...]

Klasse Wer kann mit Photoshop umgehen und so etwas mal zaubern?

Alternativ könnten die nächsten Delphitage ja auch in irgendeiner archäologischen Grabungsstätte stattfinden.

[uligerhardt]

Zitat von Dejan Vu:

Wie hättest Du es denn gerne? If A andthen B then Delphi will ja partout keine kurzen Operatoren...

Du meinst AndAlso?

[OlafSt]

Warum denn auch nicht ? So hat man die Wahl, ohne irgendwelche mysteriösen Compilerschalter setzen zu müssen.

BTW, neben AndAlso gibts auch noch OrElse als Shortcut-Bool-Or. Ich geb zu, muß mich da auch erst dran gewöhnen