Procedure vs Function, Vor- und Nachteile

[Ghostwalker]

Weil der Programmierer bewußt die Compiler-Warnung "Result wurde nicht initialisizert !" ignoriert. Somit behält result u.U. seinen Wert und es wird dazu ein 'a' addiert.

[günni0]

Boing... jetzt habs ich kapiert. Also ein klassischer Fehler.

[himitsu]

Wie gesagt, der Compiler macht aus solchen Funktionen eben eine Prozedur mit VAR-Parameter

Delphi-Quellcode:

procedure Test(var Result: string);  //function Test: string;
begin
  Result := Result + 'a';
end;

for i := 1 to 5 do
  Test(S);  //S := Test;
ShowMessage(S); // 'aaaaa'

Grundsätzlich ist das für den Entwickler egal.
Er muß eben nur selber aufpassen, dass er solche Variablen initialisiert. Am Enfachsten grundsätzlich immer alle Result-Variablen selber initialisieren, wenn mit dem Startwert gerechnet wird.
Für den Compiler ist es so halt viel anfacher die Result-Variable zu verwalten, denn bei gemanagten Typen muß er selber dafür sorgen, dass letztendlich diese Variable immer ordnungsgemäß freigegeben werden und das ist hier einfacher, wenn er direkt die äußere Variable nimmt.

[KodeZwerg]

Zitat von Ghostwalker:

Compiler-Warnung "Result wurde nicht initialisizert !"

Erscheint bei mir nicht, Warnungen (0), Fehler (0)
Muss ich irgendwo was ändern das der eine Warnung wirft bzw hab ich irgendwo was abgeschaltet was das verhindert?

edit

Delphi-Quellcode:

function Test1: string;
begin Result := Result + 'a'; end;

function Test2: string;
begin Result := 'a' + Result; end;

procedure TForm1.Button1Click(Sender: TObject);
var i : Byte; S : String;
begin
  for i := 1 to 5 do S := Test1;
  Label1.Caption := S;
end;

procedure TForm1.Button2Click(Sender: TObject);
var i : Byte; S : String;
begin
  for i := 1 to 5 do S := Test2;
  Label2.Caption := S;
end;

So ist's in meinem Delphi ohne Warnungen/Fehler kompiliert worden.

[himitsu]

Zitat von KodeZwerg:

Zitat von Ghostwalker:

Compiler-Warnung "Result wurde nicht initialisizert !"

Erscheint bei mir nicht, Warnungen (0), Fehler (0)
Muss ich irgendwo was ändern das der eine Warnung wirft bzw hab ich irgendwo was abgeschaltet was das verhindert?

Lesen?

https://www.delphipraxis.net/1399299-post7.html

[Delphi.Narium]

Bei Delphi 7 kann man in den Projektoptionen unter Compilermeldungen auswählen, ob die Warnung 'Dr Rückgabewert der Funktion könnte undefiniert sein.' ausgegeben werden soll oder nicht.

Sieht bei den Meldungen dann sinngemäß so aus:

Code:

[Warnung] Unit1.pas(Zeile): Rückgabewert der Funktion 'TForm1.NameDerFunktion' könnte undefiniert sein

[Redeemer]

Zitat von Delphi.Narium:

Bei Delphi 7 kann man in den Projektoptionen unter Compilermeldungen auswählen, ob die Warnung 'Dr Rückgabewert der Funktion könnte undefiniert sein.' ausgegeben werden soll oder nicht.

Sieht bei den Meldungen dann sinngemäß so aus:

Code:

[Warnung] Unit1.pas(Zeile): Rückgabewert der Funktion 'TForm1.NameDerFunktion' könnte undefiniert sein

Darum geht es nicht. Es geht darum, in der Funktion die Ergebnisvariable zu lesen bevor sie geschrieben wurde:

Delphi-Quellcode:

function Test: string;
begin
  Result := Result + 'a';
end;

Es geht aber noch schlimmer:

Delphi-Quellcode:

function Test: Integer;
begin
  Result := Result + 1;
end;

begin
  ShowMessage(IntToStr(Test));
end;

Niemand wird dir sagen können, was dieses Programm tut.

[Delphi.Narium]

Doch, es geht u. a. um die entsprechende Warnung:

Ghostwalker schrieb hier: https://www.delphipraxis.net/1399309-post11.html, dass es sie gibt.

Und Kodezwerg schrieb dort: https://www.delphipraxis.net/1399314-post14.html, dass er die Meldung nicht erhalte und fragte nach, was er machen/ändern müsse, um diese Warnung zu erhalten.

Darauf bezog ich mich und nicht darauf, dass das zur Diskussion stehende Codefragment nicht zwingend klar und verständlich ist, sondern nur als Beispiel für den Unterschied zwischen Prozeduren und Funktionen und ggfls. daraus resultierenden Fallstricken dient.

[Ghostwalker]

Zitat von Redeemer:

[DELPHI]
Es geht aber noch schlimmer:

Delphi-Quellcode:

function Test: Integer;
begin
  Result := Result + 1;
end;

begin
  ShowMessage(IntToStr(Test));
end;

Niemand wird dir sagen können, was dieses Programm tut.

Doch...es addiert 1 zu einem zufälligen Wert, der zu diesem Zeitpunkt an der Speicherstelle steht.
Und diesen Wert zeigt das Programm dir dann an.

Aber das ganze kann natürlich auch bei komplizierteren Funktionen durchaus noch ganz andere Effekte haben. Genau deswegen gibts die Warnung.


Mit Ignorieren war schlicht gemeint, das die entsprechende Warnung ausgeschalten war, oder die Warnung vom Programmierer bewußt nicht gelesen wurde.

[himitsu]

Delphi-Quellcode:

function Test: Integer;
begin
  Result := Result + 1;
end;

Delphi-Quellcode:

function Test: string;  // procedure Test(var Result: string);
begin
  Result := Result + 'a';
end;

Genau das sagte ich doch.
Bei Ersten kommt die Fehlermeldung, da der Integer wirklich als lokale Variable existiert, als Result in EAX zurückgeliefert und anschließend der äußeren Variable zugewiesen wird.
Während beim String (vom Compiler speicherverwalteter Zeigertyp) keine lokale Variable existiert und direkt in den referenzierten Parameter geschrieben wird.

Delphi-Quellcode:

function Test: Integer;
begin
  Result := Result + 1;
  raise Exception.Create('');
end;

i := 123;
try
  i := Test;
except
end;
ShowMessage(i.toString);  // immer 123

Delphi-Quellcode:

function Test: string;  // procedure Test(var Result: string);
begin
  Result := Result + 'a';
  raise Exception.Create('');
end;

s := 'x';
try
  s := Test;
except
end;
ShowMessage(S);  // je nach Compileroptiomierung auch mal 'xa' und nicht 'x'

Hängt davon ab, ob der Compiler für das Result automatisch eine lokale Variable erstellt und anschließend umkopiert oder direkt das Result nimmt.

Delphi-Quellcode:

s := 'x';
try
  Test(temp);  // temp := Test;
  s := temp;
except
end;

// oder

s := 'x';
try
  Test(s);  // s := Test;
except
end;

In einer Schleife mehrfach Test aufgerufen bekommt die Funktion aber praktisch immer wieder die selbe Variable rein.