[XE3] Operator Overloading, Verhalten?

[Uwe Raabe]

Ich denke eher das Verhalten bei localVar1 ist der Fehler. Der Implicit-Operator gibt immer einen kompletten Record zurück. Man hat eigentlich keinen Zugriff auf das Ziel der Zuweisung. Das wird auch deutlich, wenn du mal den Add-Operator implementierst und dann einfach mehrere Additionen in eine Zuweisung schreibst. Die daraus resultierenden Zwischenergebnisse müssen ja irgendwo liegen.

[4dk2]

Habs direkt mal getestet:

Delphi-Quellcode:

class operator TVarX.add(const a, b: TVarX): TVarX;
begin
  result.Value:= a.Value+b.Value;
end;
.....

  localVar1,l2,l3,lg: TVarX;
......
  localVar1:=100;
  lg.Name:='asdfg';
  l2:=localVar1;
  l3:=400;
  lg:=l2+l3; { value = 500, name = 'asdfg' }

Also wird im lokalen Teil, nur der veränderte Wert übernommen.
"lg" hat ja immer noch den zugewiesenen Wert vor der Addition.

[jaenicke]

Zitat von Uwe Raabe:

Ich denke eher das Verhalten bei localVar1 ist der Fehler.

Richtig, der Compiler "vergisst" an der Stelle den Aufruf von CopyRecord usw., so dass die Werte nicht überschrieben werden.
Bei den beiden anderen Varianten wird der Record nach dem Operator jeweils überschrieben.

Ich glaube auch nicht, dass das Absicht ist.

[himitsu]

Zitat von jaenicke:

Zitat von Uwe Raabe:

Ich denke eher das Verhalten bei localVar1 ist der Fehler.

Richtig, der Compiler "vergisst" an der Stelle den Aufruf von CopyRecord usw., so dass die Werte nicht überschrieben werden.
Bei den beiden anderen Varianten wird der Record nach dem Operator jeweils überschrieben.

Ich glaube auch nicht, dass das Absicht ist.

Rate mal, warum ich ständig predige, daß man ein Result "immer" vollständig initialisieren muß.

Delphi-Quellcode:

function GetStr(Value: integer): string;
begin
  Result := Result + IntToStr(i);
end;

var
  i: Integer;
  S: string;
begin
  S := '';
  for i := 0 to 100 do
    S := S + GetStr(i);
  ShowMessage(S);
end;

Denn bei Records (über 8 bytes oder mit gemanageten Typen) und gemanageten Typen (Strings, Interfaces usw.) baut der Compiler das intern so um.

Delphi-Quellcode:

procedure GetStr(Value: integer; var Result: string);
begin
  Result := Result + IntToStr(i);
end;

var
  i: Integer;
  S, AutoTempVar: string;
begin
  S := '';
  for i := 0 to 100 do begin
    GetStr(i, AutoTempVar);
    S := S + AutoTempVar;
  end;
  ShowMessage(S);
end;