Verhält sich "Result" wie eine globale Variable??

[BloodySmartie]

Hallo liebe Community!

Ich dachte eigentlich schon, wenigstens den Mechanismus von einfachen Funktionen in Delphi grundlegend verstanden zu haben. Nun allerdings hat es mich überrascht, dass das Result einer Funktion mit Rückgabetyp 'string' sich so verhält wie eine globale Variable: Der Inhalt von Result bleibt beim zweiten Aufruf erhalten.

Kann mir jemand erklären, warum? Und wozu das gut ist? Meine heile Welt ist gerade zerbrochen :)

[Dax]

Pure coincidence. "Result" ist eine implizite lokale Variable, die den Rückgabewert der Funktion beschreibt. Wenn der zwischen zwei Aufrufen gleich bleibt, hast du einfach nur Glück gehabt.

[DelphiKlaus]

Hallo,

bleibt der Inhalt erhalten oder liegt die Variable zufällig auf dem gleichen Speicherplatz?

[s-off]

Zitat:

Zitat von BloodySmartie

Hallo liebe Community!

Ich dachte eigentlich schon, wenigstens den Mechanismus von einfachen Funktionen in Delphi grundlegend verstanden zu haben. Nun allerdings hat es mich überrascht, dass das Result einer Funktion mit Rückgabetyp 'string' sich so verhält wie eine globale Variable: Der Inhalt von Result bleibt beim zweiten Aufruf erhalten.

Kann mir jemand erklären, warum? Und wozu das gut ist? Meine heile Welt ist gerade zerbrochen :)

Ähm,

Beim zweiten Aufruf von was? Der Funktion? Na wenn das Ergebnis doch das Gleiche ist?
Oder ein zweiter Zugriff innerhalb der Funktion? Ja, denn für die Funktion ist Result erstmal nichts anderes als eine lokale Variable innerhalb der Funktion.

Verstehe Deine Frage nicht so ganz.

[quendolineDD]

Ich würde sagen, er hat eine Funktion einmal im Programm aufgerufen, einen Rückgabewert erhalten und später im Programm die Funktion erneut aufgerufen und diese enthielt immer noch den alten Rückgabewert.

Nun ist seine Frage, ob das Ergebnis in Result global gespeichert wird, da sich der Inhalt dieser "Variable" nicht änderte.

Grüße

[BloodySmartie]

Also passt mal auf: Ich habe nur ein wenig rumgespielt und war dabei zu faul, mir eine zusätzliche lokale Variable zu deklarieren. Um meine Rückgabe zusammenzusetzen, benutzte ich daher result:

Delphi-Quellcode:

function getStringfromCharArr(ca:array of char):string;
var i,l:integer;
begin
// result:='';  ---Problemlösung :)
l:=length(ca);
for I := 0 to l - 1 do begin
  result:=result+string(ca[i]);
end;
end;

Wenn nun beim Ersten Aufruf in ca "'b','i','n',' '" stand, und beim Zweiten "'i','c','h',' ','d','o','o','f'", gab die Funktion am Ende den String "bin ich doof" zurück.

[s-off]

Tut mir leid, aber ich blicke das nicht...

Angenommen ich habe folgende Funktion:

Delphi-Quellcode:

Function MachMaPlus(a,b: Integer): String;
Begin
   Result := '';

   Result := IntToStr(a+b);
End;

und rufe diese so auf:

Delphi-Quellcode:

MachMaPlus(6,7);

Dann liefert diese Funktion mir 13 als String - egal ob ich das heute, morgen oder in 20 Jahren aufrufe.
Was ist das für eine Frage, ob das global gespeichert wird?

[Oxmyx]

Result ist eine lokale Variable, und ihr Gültigkeitsbereich endet beim Verlassen der Funktion. Dass beim zweiten Aufruf der Funktion die Variable oft wieder auf den selben Speicherbereich fällt, ist ganz normal. Speicherreservierung ist ja keine völlig wahlfreie Zufallsangelegenheit. Das heißt aber nicht, dass man damit irgend etwas machen könnte. Eine Variable ist nur innerhalb ihres Gültigkeitsbereichs definiert, und sie enthält nur dann verwertbare Daten, wenn sie initialisiert wurde. Lass dich nicht davon täuschen, wenn zufällig noch alte Daten dort stehen, es könnte genausogut auch etwas völlig anderes sein.

[s-off]

Nochwas, wenn Du ein Array als Argument übergibst, dann solltest Du Dir daraus einen Type bauen!

Edit: RS.

[BloodySmartie]

Okay, also mal anders:

Delphi-Quellcode:

var 
s:string;
a:array of char[2];

begin
a[0]:='1';
a[1]:='1';
s:=getStringfromCharArr(a);
//s enhält an dieser Stelle '11'
//weiter...
a[0]:='2';
a[1]:='2';
s:=getStringfromCharArr(a);
//Ich hätte nun erwartetn, dass in s '22' steht. - "Neuer Funktionsaufruf, neues Glück."
//Stattdessen steht darin aber '1122'.
end.

Vielleicht isses jetzt besser verständlich.

[Reinhard Kern]

Zitat:

Zitat von BloodySmartie

Also passt mal auf: Ich habe nur ein wenig rumgespielt und war dabei zu faul, mir eine zusätzliche lokale Variable zu deklarieren. Um meine Rückgabe zusammenzusetzen, benutzte ich daher result:

Delphi-Quellcode:

for I := 0 to l - 1 do begin
  result:=result+string(ca[i]);

...

das müsste der Compiler anmeckern: auf Result wird zugegriffen, BEVOR ein Wert zugewiesen wurde. Hast du Warnungen abgeschaltet?

Ansonsten ist Result eine lokale Variable:

Delphi-Quellcode:

result := '';
for I := 0 to l - 1 do begin
  result:=result+string(ca[i]);

ist absolut korrekt (abgesehen davon, dass Strings von 1 bis l addressiert werden - was ist ca?).

Gruss Reinhard

[BloodySmartie]

@Oxmyx:
Ah, das wäre schonmal ne schlüssig klingende Erklärung :)

@Reinhard Kern:
Gemeckert wird nicht. Warnungen sind an.

[BloodySmartie]

@s-off:
Gibts denn fürs Inspizieren im Debugger ne Möglichkeit, sich direkt die Rückgabe der Funktion anzusehen, ohne dabei auf ne Variable angewiesen zu sein?

....

Ah, hab gesehen, dass es ein Lesefehler war :)

[s-off]

• OutputDebugString aus der Unit Windows
• STRG+F7

[Oxmyx]

Gewöhne dir am besten an, Variablen immer zu initialisieren, also mit einem Wert zu belegen, bevor du sie verwendest. Delphi macht das in manchen Fällen zwar selbst, aber hier empfiehlt sich, konsequent zu sein. Nur so hast du Sicherheit, dass deine Variablen auf allen PCs die selben Startwerte haben. Alles andere führt nur dazu, dass dein Programm bei dir zu funktionieren scheint, und dann später auf anderen PCs oder nach einem Neustart des Systems aus völlig unerfindlichen Gründen abstürzt.

[Reinhard Kern]

Zitat:

Zitat von BloodySmartie

@Oxmyx:
Ah, das wäre schonmal ne schlüssig klingende Erklärung :)

@Reinhard Kern:
Gemeckert wird nicht. Warnungen sind an.

Schwache Leistung, denn das ist eindeutig ein Programmierfehler (dass kein Wert zugeweisen wurde).

Laut Delphi-Hilfe sind lokale Varaiblen undefiniert, bis ihnen ein Wert zugewiesen wird. Das heisst natürlich, alles ist erlaubt, auch ein zufälliger Inhalt - deshalb ist es ja ein Fehler, eine Variable vor der ersten Zuweisung zu benutzen. Übrigens meckert meine Version ja auch den gegenteiligen und viel harmloseren Fall an:

"Der Variablen wurde ein Wert zugewiesen, aber niemals benutzt" oder so ähnlich.

Gruss Reinhard

[BloodySmartie]

Die Warnungen werden mir angezeigt :)

[Oxmyx]

Zitat:

Zitat von Reinhard Kern

Schwache Leistung, denn das ist eindeutig ein Programmierfehler (dass kein Wert zugeweisen wurde).

Laut Delphi-Hilfe sind lokale Varaiblen undefiniert, bis ihnen ein Wert zugewiesen wird. Das heisst natürlich, alles ist erlaubt, auch ein zufälliger Inhalt - deshalb ist es ja ein Fehler, eine Variable vor der ersten Zuweisung zu benutzen. Übrigens meckert meine Version ja auch den gegenteiligen und viel harmloseren Fall an:

"Der Variablen wurde ein Wert zugewiesen, aber niemals benutzt" oder so ähnlich.

Gruss Reinhard

Mein Delphi 7 warnt wie erwartet:

Delphi-Quellcode:

function A(): Integer;
begin
  Result := Result + 1;
end;

Code:

[Warning] Unit1.pas(28): Return value of function 'A' might be undefined

[BloodySmartie]

Ich benutze RAD Studio 2007 Pro inkl. Dezember-Update.

[QuickAndDirty]

Es ist ganz einfach Result ist EAX
und wenn EAX sich zwischen 2 Aufrufen nicht ändert dann ändert es sich eben nicht.
Deswegen solltest du Result ja auch immer initialisieren.

[Amateurprofi]

Zitat:

Zitat von BloodySmartie

Okay, also mal anders:

Delphi-Quellcode:

var 
s:string;
a:array of char[2];

begin
a[0]:='1';
a[1]:='1';
s:=getStringfromCharArr(a);
//s enhält an dieser Stelle '11'
//weiter...
a[0]:='2';
a[1]:='2';
s:=getStringfromCharArr(a);
//Ich hätte nun erwartetn, dass in s '22' steht. - "Neuer Funktionsaufruf, neues Glück."
//Stattdessen steht darin aber '1122'.
end.

Vielleicht isses jetzt besser verständlich.

Schau dir das doch mal im Debugger in der CPU-Ansicht an.
Wenn der Rückgabewert einer Funktion ein String ist, dann wird der Funktion beim Aufruf die Adresse, an der das Ergebnis der Funktion gespeichert werden soll, mitgegeben. Result ist in diesem Fall also nicht eine lokale Variable der aufgerufenen Funktion, sondern eine Variable der aufrufenden Funktion/Prozedur.
Im Prinzip ist das so, als würdest du getStringfromCharArr nicht als Funktion deklarieren sondern als Prozedur mit einem var-Parameter für das Ergebnis, also :

Delphi-Quellcode:

Procedure getStringfromCharArr(ca:array of char: var result:string); 
var i,l:integer; 
begin 
// result:='';  ---Problemlösung :) 
l:=length(ca); 
for I := 0 to l - 1 do begin 
  result:=result+string(ca[i]); 
end; 
end;

[jottkaerr]

Hallo,

Zitat:

Zitat von Oxmyx

Mein Delphi 7 warnt wie erwartet:

Delphi-Quellcode:

function A(): Integer;
begin
  Result := Result + 1;
end;

Code:

[Warning] Unit1.pas(28): Return value of function 'A' might be undefined

Du hast ja auch einen Integer verwendet. Bei Strings warnt Delphi (wenigstens bis Delphi 5) nicht, wenn sie in Funktionen nicht initialisiert werden.

Die Funktion

Delphi-Quellcode:

function A(): string;
begin
  Result := Result + '1';
end;

geht unbeanstandet durch den Compiler.

jkr

[xaromz]

Hallo,

Zitat:

Zitat von jottkaerr

Du hast ja auch einen Integer verwendet. Bei Strings warnt Delphi (wenigstens bis Delphi 5) nicht, wenn sie in Funktionen nicht initialisiert werden.

das liegt wohl daran, dass Strings als dynamische Typen automatisch initialisiert werden. Result ist aber keine explizit deklarierte Variable, und wird deshalb auch nicht initialisiert.

Gruß
xaromz

[himitsu]

also, im Normalfall verhält sich Result zum Ende der Funktion wie

Delphi-Quellcode:

Function xyz(a: x; b: x; c: x): Typ;

// dieses wird z.B. mehr so behandelt

Procedure xyz(a: x; b: x; c: x);
Begin

End Procedure xyz(out Result: Typ);

Strings und die anderen dynamischen Arrays werden allerdings von Delphi besonders behandelt.

Diese werden als Erstes mal im gegensatz zu allen anderen Variablen immer Initialisiert und Finalisiert.
Außerdem vesucht die CompilerOptimierung immer "dynamische/virtuelle" Variablen mehrfach zu verwenden und nicht immer gleich bei jeder Verwendung neu zu initialisieren/finalisieren.

also sieht es für Strings/DynArrays mehr so aus

Delphi-Quellcode:

Function xyz(a: x; b: x; c: x): Typ;

// dieses wird z.B. mehr so behandelt

Procedure xyz(a: x; b: x; c: x; in Result: Typ);
Begin

End Procedure xyz(out Result: Typ);

wobei Result dann global, oder (meistens) lokal in der aufrufenden Funktion/Prozedur definiert ist.


Außerdem müssen Variablen immer vom Programmierer initialisert werden (nur weil es Delphi bei Strings im Grunde macht, soll man nicht davon ausgehn, daß es grade zu dem Zeitpunkt extra initialisiert wurde)

Zitat:

[Warning] Unit1.pas(28): Return value of function 'A' might be undefined

tja, diese Warnung ist halt nicht umsonst ... wer mit dem ergebnis einer variable arbeiten will, der soll vorher sicherstellen, das diese einen definierten Zustand bekommt!

bei "normalen" Typen (ohne delphieigene Initialisierung) steht Result komplett auf einem Zufallswert (halt das, was vorher von irgendwas an dieser Stelle mal gespeichert wurde)

Zitat:

function A(): Integer;
begin
Result := Result + 1;
end;

PS: nur globale Variablen werden beim Programmstart mit #0-en initialisiert (bei Strings entspricht dieses '')
und Klassenvariablen werden ebenso von Constructor mit #0 initialisert.

[jmit]

Zitat:

Zitat von BloodySmartie

Okay, also mal anders:

Delphi-Quellcode:

var 
s:string;
a:array of char[2];

begin
a[0]:='1';
a[1]:='1';
s:=getStringfromCharArr(a);
//s enhält an dieser Stelle '11'
//weiter...
a[0]:='2';
a[1]:='2';
s:=getStringfromCharArr(a);
//Ich hätte nun erwartetn, dass in s '22' steht. - "Neuer Funktionsaufruf, neues Glück."
//Stattdessen steht darin aber '1122'.
end.

Vielleicht isses jetzt besser verständlich.

Bei Deinem Quellcode wird die Funktion getStringfromCharArr wahrscheinlich innerhalb einer Funktion aufgerufen. Wenn ich aber die Funktion z.B. aus zwei ButtonClick Prozeduren oder aus zwei Funktionen aufrufe, dann wird die Variable result bei der ersten Funktion mit '11' gesetzt und bei der zweiten Funktion mit '22' gesetzt.

Gruß Jörg