Rückgabewert von Funktionen / evtl. Problem mit try..finally

[changlee]

Hallo,
ich habe ein grundsätzliches Verständnisproblem was den Rückgabewert einer Funktion angeht.
Bevor ich viel drum herum rede hier einfach zwei code-Beispiele:

Delphi-Quellcode:

function meineFkt(str: String): TMeinTyp;
var x : TMeinTyp;
begin
  x:=TMeinTyp.Create;
  try 
    x.property1:='Hallo 1';
    x.property2:='Hallo 2';
    result:=x;
  finally
    x.free;
  end;
end;

Bei der Obenstehenden Funktion wird kein Wert zurückgegeben (bzw. wird ein Leerstring zurückgegeben).

Schreibe ich hingegen..

Delphi-Quellcode:

function meineFkt(str: String): TMeinTyp;
var x : TMeinTyp;
begin
  x:=TMeinTyp.Create;
  x.property1:='Hallo 1';
  x.property2:='Hallo 2';
  result:=x;
end;

..funktioniert alles so wie es sollte. Damit könnte man sich eigentlich zufrieden geben.
Aber ich würde gern dazu zwei Dinge wissen:
1. wann funktioniert result? Nur am Ende einer Funktion / außerhalb von Schleifen?
2. Wenn ich x.free nicht aufrufe, hat das irgendwelche Nachteile, oder wird x sowieso nach Funktionsende wieder freigegeben, da es sich um eine lokale Variable handelt?

An try..finally kann es widerum eigendlich nicht liegen, denn wenn ich folgendes schreibe klappt es auch nicht:

Delphi-Quellcode:

function meineFkt(str: String): TMeinTyp;
var x : TMeinTyp;
begin
  x:=TMeinTyp.Create;
  x.property1:='Hallo 1';
  x.property2:='Hallo 2';
  result:=x;
  x.free;
end;

Kann mir diesbezüglich jemand weiterhelfen?
Das wär wirklich sehr nett!

mfg
changlee

[Luckie]

Es wird dir nichts zurückgegeben, weil du das Objekt und somit den Speicherbereich wieder freigibst.
result := x; Beinhaltet nur die Kopie eines Zeigers. Gibst du mit
x.Free; das Objekt frei und machst so den Zeiger ungültig, ist auch die Kopie leer.

Ich würde so was imme rmit var Parametern lösen, dann weiß man dass der Aufrufer dafür verantwortlich ist, denm Speicher auch wieder aufzuräumen. L´äßt du nämlich das Free weg, hast du Speicherleichen.

[Jasocul]

result ist vom Typ deines Rückgabe-Typs.
Früher gabs result gar nicht. Da musste man das Ergebnis dem Funktionsnamen zuweisen. Da es aber manchmal notwendig ist, mit Zwischenergebnissen des Funktionsergebnisses innerhalb der Funktion weiter zu arbeiten, wurde von Borland Result eingeführt. Ansonsten gibt es rekursive Funktionsaufrufe.

Das bedeutet in deinem Fall, solange du die Werte deiner Variablen nicht der Funktion oder result zuweist, weiß die Funktion auch nicht welchen Wert sie zurückliefern soll.
Deine temporäre Variable benötigst du also gar nicht, da du Result dafür verwenden kannst.

[jim_raynor]

Es wird der Wert zurückgegeben der zuletzt in result gespeichert.

Da Objekte als Zeiger übergeben werden, wird auch nur der Zeiger zurückgegeben und wie Luckie schon sagte, zerstörst du das Objekt bevor du die Funktion beendest. Deshalb bekommst du nichts sinnvolles zurück.

[edit]Willkommen bei der Delphi-PRAXIS. [/edit]

[Luckie]

Zitat von Jasocul:

Deine temporäre Variable benötigst du also gar nicht, da du Result dafür verwenden kannst.

Macht aber Sinn, da der Kompiler so noch das eax Register zur Verfügung hat und so besser optimieren kann. Aber das ist nicht sein Problem.

[changlee]

Hallo,
vielen Dank für die schnellen aussagekräftigen Antworten!
Ich werde es jetzt wohl mit var-Parametern lösen.
mfg
changlee

[Jasocul]

Zitat von changlee:

Hallo,
vielen Dank für die schnellen aussagekräftigen Antworten!
Ich werde es jetzt wohl mit var-Parametern lösen.

Warum?

[Luckie]

OK, das Schlüsselwort var dürfte zwar überflüssig sein. Macht aber deutlich was passiert.

[changlee]

Hi,
warum nicht? (Lucky hatte es doch auch so vorgeschlagen).
mfg
changlee

[Luckie]

Ich bin nicht unfehlbar und es mag noch andere Möglichkeiten geben ohne dass ein Speicherleck zurück bleibt. Nur mir var Parametern scheint es mir am einfachsten und sichersten zu sein.