Problem mit Advanced Records und überladenen Operatoren

[theo]

Kann den einfachen Freepascal Code bitte mal jemand gegechecken?

Aus meiner Sicht dürfte nach dem Anwenden des überladenen Operators (R := ansistring('test2');) fAnyVar nicht 0 werden.
Denke ich falsch, oder ist das ein Fall für den Bugtracker?

Code: Alles auswählen

program project1;
 
{$mode objfpc}{$H+}
{$MODESWITCH ADVANCEDRECORDS}
 
type
 
  { TTestAdvRec }
 
  TTestAdvRec = record
  private
    fText: ansistring;
    fAnyVar: integer;
  public
    procedure SetString(const AValue: ansistring);
    function GetString: ansistring;
  end;
 
  operator := (r: ansistring) z: TTestAdvRec;
  begin
    z.SetString(r);
    writeln('setting AnsiString');
  end;
 
  { TTestAdvRec }
 
  procedure TTestAdvRec.SetString(const AValue: ansistring);
  begin
    fText := AValue;
  end;
 
  function TTestAdvRec.GetString: ansistring;
  begin
    Result := fText;
  end;
 
var
  R: TTestAdvRec;
 
begin
  R.fAnyVar := 38;
  R.SetString('test1');
  Writeln(R.GetString);
  Writeln(R.fAnyVar);
  R := ansistring('test2');  //<----- löscht die Daten des Records bzw. erstellt eine neue Instanz?
  Writeln(R.GetString);
  Writeln(R.fAnyVar); //<---- gibt 0
end.                          

[Socke]

Bei der Zuweisung von Records wird der Zielspeicher mit dem Quellspeicher überschrieben (sowie referenzgezählte Datentypen hoch/runter gezählt).

Vielleicht sind die Entwickler gewillt, dieses Verhalten zu ändern oder in den überladenen Operatoren Zugriff auf den ursprünglichen Record zu gewähren.

[BeniBela]

Bei mir wird es nicht 0, sondern

Code: Alles auswählen

 
test1
38
setting AnsiString
test2
6458904
 

[theo]

Bei der Zuweisung von Records wird der Zielspeicher mit dem Quellspeicher überschrieben (sowie referenzgezählte Datentypen hoch/runter gezählt).

Vielleicht sind die Entwickler gewillt, dieses Verhalten zu ändern oder in den überladenen Operatoren Zugriff auf den ursprünglichen Record zu gewähren.

Ich bin aber der Meinung, keinen Record zuzuweisen, sondern ich weise nur einen Ansistring zu, was ein SetString auf dem bestehenden Record ausführt.
Falsch?

[theo]

Bei mir wird es nicht 0, sondern

Code: Alles auswählen

 
test1
38
setting AnsiString
test2
6458904
 

Ja, danke. Es geht nur darum, dass es nicht 38 bleibt.

[Mathias]

Bei mir ist fAnyVar auch 0, verwende Linux.

[theo]

Danke.
Habe es geklärt. Die Entwickler sagen, das muss so sein.
Es ist für mich nicht gerade offensichtlich oder wünschenswert. Aber so ist es nun mal.

[Mathias]

Ich habe mal etwas ganz brutales probiert, anstelle des records eine classe verwendet.

Code: Alles auswählen

begin
  R:=TTestAdvRec.Create;
  R.fAnyVar := 38;
  R.SetString('test1');
  Writeln(R.GetString);
  Writeln(R.fAnyVar);
  R := ansistring('test2');  //<----- löscht die Daten des Records bzw. erstellt eine neue Instanz?
  Writeln(R.GetString);
  Writeln(R.fAnyVar); //<---- gibt 0
  R.Free;
end.    

Code: Alles auswählen

test1
38
Runtime error 216 at $000000000040A8C5
  $000000000040A8C5
  $0000000000400256

Das sowas überhaupt kompiliert wird.

[BeniBela]

.
Habe es geklärt. Die Entwickler sagen, das muss so sein.

Link?

edit: hier? http://bugs.freepascal.org/view.php?id=29476

[theo]

.
Habe es geklärt. Die Entwickler sagen, das muss so sein.

Link?

edit: hier? http://bugs.freepascal.org/view.php?id=29476

Ja. Nun gut. Für mich ist diese Logik nicht zwingend, aber meine Vorstellung ist anscheinend schwierig zu implementieren.