Properties haben nach Zuweisung falsche Werte

[DeddyH]

Da der Fehler erst durch Deinen Thread bekannt geworden ist, lehne ich mich mal weit aus dem Fenster und behaupte, dass das so immer funktionieren sollte. Haftbar lasse ich mich für diese Aussage allerdings nicht machen

[BlueStarHH]

Selbst so geht es nicht:

Delphi-Quellcode:

property AdrProp: TAdresse read GetAdrProp write SetAdrProp;

function TForm1.GetAdrProp: TAdresse;
begin
  Adresse.Vorname := 'a';
  Adresse.Name := 'b';

  result := Adresse;
end;

Irgendwie kann ich mir nicht vorstellen, dass noch nie jemand seit Delphi 6 so eine Property mit einem Getter genutzt hat und dass das erst jetzt auffällt.

[Uwe Raabe]

Zitat von BlueStarHH:

Irgendwie kann ich mir nicht vorstellen, dass noch nie jemand seit Delphi 6 so eine Property mit einem Getter genutzt hat und dass das erst jetzt auffällt.

Das Problem ist offenbar die Kombination des zweimaligen Aufrufs von GetReAdr und der Zusammensetzung des Ergebnisses. Hier versucht der Compiler offenbar eine coole Optimierung und fällt dabei auf die Klappe. Es scheint ja gut zu funktionieren, wenn man die Strings nicht mit einem zweimaligen Aufruf der Funktion zusammensetzt. Die Felder der TAdresse-Instanz sind ja durchaus korrekt. Es ist das Concat was schief geht.

Auf den zweimaligen Aufruf hatte ich ja schon anfangs hingewiesen. Offenbar ist er nicht nur redundant sondern auch schädlich.

[Der schöne Günther]

Egal ob Optimierung an oder aus, stimmt.

Und noch interessanter: Der Fehler besteht nur beim Win32-Compiler, bei Win64 nicht. Andere Compiler kann ich nicht testen.


Könnte man folgendes als Minimalbeispiel in die QC eintragen?

Delphi-Quellcode:

program Project4;

{$APPTYPE CONSOLE}


type
   TMyClass = class
      one, two: String;
   end;

var
   globalInstance: TMyClass;

function getInstance(): TMyClass;
begin
   if not Assigned(globalInstance) then
      globalInstance := TMyClass.Create();

   globalInstance.one := 'one';
   globalInstance.two := 'two';

   Result := globalInstance;
end;

function getBoth(): String;
var
   oneCopy, twoCopy: String;
begin
   oneCopy := getInstance().one;
   twoCopy := getInstance().two;

   WriteLn( oneCopy + ' ' + twoCopy );

   Result := getInstance().one + ' ' + getInstance().two;
end;

begin
   WriteLn( getBoth() );

   // Output on DCC32:
   //one two
   //two two

   // Output on DCC64:
   //one two
   //one two
end.

Oder ginge das noch kürzer?

[Jumpy]

Wäre es denn im konkreten Fall nicht besser, das ganze Konstrukt irgendwie zu ändern?
Eine Prozedur FillAdresse, die die Felder füllt und dann die Funktion, die die gewünschten Felder "concatiert" (gibt's das?) ausgibt?

[Uwe Raabe]

Zitat von Jumpy:

Wäre es denn im konkreten Fall nicht besser, das ganze Konstrukt irgendwie zu ändern?
Eine Prozedur FillAdresse, die die Felder füllt und dann die Funktion, die die gewünschten Felder "concatiert" (gibt's das?) ausgibt?

Man könnte z.B. die Funktion GetDebitorName in TAdresse verlagern. Es gibt -zig Möglichkeiten das Problem zu umgehen - deswegen ist es bisher wohl auch nicht aufgefallen.

[Dejan Vu]

Das Ungewöhnliche ist wohl das hier:

Delphi-Quellcode:

function TForm1.GetReAdr: TAdresse;
begin
  Adresse.Vorname := 'a';
  Adresse.Name := 'b';
  Result := Adresse;
end;

Die Zuweisung von 'a' und 'b' im 'Getter' der ReAdr.

Man würde die Eigenschaften der Adresse einmalig setzen z.B. per LazyLoad.
Oder man würde gleich eine protected Property aus der Adresse machen.

[BlueStarHH]

@Der schöne Günther: Dein Code ist eine gute Zusammenfassung und zeigt mit Delphi 2010 den Fehler. Stellt das jemand bitte in den QC ein? Ich kann mich seit 20 Minuten nicht einloggen... Danke!