你能重载 Delphi 记录的赋值运算符吗？

Question

我有一个包含动态数组的记录。 正常情况下，当您将一个数组变量分配给另一个数组变量时，实际上只分配了指向该数组的指针。 这意味着当您这样做时，两个变量都指向同一个数组，直到您更改其中一个变量的大小。 因此，当我想将数组的单独副本分配给变量时，我使用 Copy() 函数。

然而，在这种情况下，我的数组是记录的一个字段：

  TMyRec = record
    Value: integer;
    &Array: array of integer;
  end;

当我声明两个 TMyRec 类型的变量，然后将一个变量分配给另一个变量时，两个记录中的“数组”字段将指向内存中的同一地址。

为了解决这类问题，我决定重载分配运算符，如下所示：

TMyRec = record
  Value: integer;
  &Array: array of integer;
public
  class operator Implicit(Value: TMyRec): TMyRec;
end;

class operator TMyRec.Implicit(Value: TMyRec): TMyRec;
begin
  Result := Value;
  Result.&Array := Copy(Value.&Array);
end;

如果这有效，我就不必在将 TMyRecord 变量分配给另一个变量后单独复制记录中的所有数组字段。

这就是我所做的：

var
  Rec1, Rec2: TMyRec;
begin
  Rec1.Value := 10;
  SetLength(Rec1.Array, 1);

  //I expected the "Implicit" method to be invoked here (but it is not...)
  Rec2 := Rec1;

  //if I do that, the Rec1.Array[0] will also be changed to 1 - I don't want that to happen
  Rec2.Array[0] := 1;
end;

有没有办法让我的操作员重载按我想要的方式工作？ 问题是我试图重载默认的赋值运算符。 这不可能吗？

Answer 1

您可以将数组放入实现接口的对象实例中，并将对该接口的引用存储在记录中。 这样，当您尝试通过接口（从而通过对象）分配给数组时，它可以检查其引用计数并帮助实现写时复制语义。

或者，您可以使用类型不安全的技巧来找出数组的引用计数，如果存在多个引用，则在写入之前手动复制； 但这将不受支持，并且如果动态数组实现发生变化就会中断。

我写了如何实现包裹在记录中的写时复制数组结构。 它是作为通用类型实现的，但没有什么可以阻止您使用具体的数组类型，只是它不会那么通用。

Answer 2

您可以使用 TMyRec 的指针：

pMyRec = ^TMyRec;
TMyRec = record
  Value: integer;
  _Array: array of integer;
public
  class operator Implicit(Value: pMyRec): TMyRec;
end;

class operator TMyRec.Implicit(Value: pMyRec): TMyRec;
begin
  Result := Value^;
  Result._Array := Copy(Value^._Array);
end;

procedure TForm1.Button1Click(Sender: TObject);
var R1, R2 : TMyRec;
begin
  R1.Value := 1;
  SetLength( R1._Array, 2);
  R1._Array[0] := 1;
  R1._Array[1] := 2;

  R2 := @R1;
  R2._Array[0] := 3;
end;

Answer 3

不要做简单的分配。 追求可读性。 制作您自己的“RecCopy”过程，如下所示：

procedure RecCopy( const AFrom, ATo : TMyRec );
var
  I : integer;
begin
  ATo.Value := AFrom.Value;
  SetLength( ATo.Array, Length( AFrom.Array );
  For I := 0 to Length( AFrom.Array )-1 do
    ATo.Array[I] := AFrom.Array[I];
end;

请注意，您可以使用更好的方法来实现数组复制:-)
但你明白我的意思。