delphi - 使用 R1 :=R2, 进行记录的深度复制或是否有好的方法可以使用记录实现 NxM 矩阵？

Question

我正在实现一个带有记录和内部动态数组的 N x M 矩阵(类)，如下所示。

TMat = record
public     
  // contents
  _Elem: array of array of Double;

  //
  procedure SetSize(Row, Col: Integer);

  procedure Add(const M: TMat);
  procedure Subtract(const M: TMat);
  function Multiply(const M: TMat): TMat;
  //..
  class operator Add(A, B: TMat): TMat;
  class operator Subtract(A, B: TMat): TMat;
  //..
  class operator Implicit(A: TMat): TMat; // call assign inside proc.
                                          // <--Self Implicit(which isn't be used in D2007, got compilation error in DelphiXE)

  procedure Assign(const M: TMat); // copy _Elem inside proc.
                                   // <-- I don't want to use it explicitly.
end;

我选择一条记录，因为我不想创建/释放/分配来使用它。

但对于动态数组，无法使用 M1 := M2(而不是 M1.Assign(M2))(深度)复制值。

我尝试声明自隐式转换方法，但它不能用于 M1:=M2。

(隐式(const pA:PMat):TMat和M1:=@M2有效，但它非常丑陋且不可读..)

有什么方法可以 Hook 记录分配吗？

或者是否有任何建议来实现带有记录的 N x M 矩阵？

提前致谢。

编辑:

我用巴里的方法实现了如下，并确认工作正常。

type
  TDDArray = array of array of Double;

  TMat = record
  private
     procedure CopyElementsIfOthersRefer;
  public
    _Elem: TDDArray;
    _FRefCounter: IInterface;
   ..
  end;

procedure TMat.SetSize(const RowSize, ColSize: Integer);
begin
  SetLength(_Elem, RowSize, ColSize);

  if not Assigned(_FRefCounter) then
    _FRefCounter := TInterfacedObject.Create;
end;

procedure TMat.Assign(const Source: TMat);
var
  I: Integer;
  SrcElem: TDDArray;
begin
  SrcElem := Source._Elem; // Allows self assign

  SetLength(Self._Elem, 0, 0);
  SetLength(Self._Elem, Length(SrcElem));

  for I := 0 to Length(SrcElem) - 1 do
  begin
    SetLength(Self._Elem[I], Length(SrcElem[I]));
    Self._Elem[I] := Copy(SrcElem[I]);
  end;
end;

procedure TMat.CopyElementsIfOthersRefer;
begin
  if (_FRefCounter as TInterfacedObject).RefCount > 1 then
  begin
    Self.Assign(Self); // Self Copy
  end;
end;

我同意这效率不高。仅使用带有纯记录的分配绝对更快。

但它非常方便且更具可读性。(并且有趣。:-)

我认为它对于轻型计算或预生产原型(prototype)设计很有用。不是吗？

编辑2:

kibab 给出获取动态数组本身引用计数的函数。

Barry 的解决方案更加独立于内部 impl，并且可能无需任何修改即可在即将推出的 64 位编译器上工作，但在这种情况下，我更喜欢 kibab 的解决方案，因为它简单且高效。谢谢。

  TMat = record
  private
     procedure CopyElementsIfOthersRefer;
  public
    _Elem: TDDArray;
   ..
  end;

procedure TMat.SetSize(const RowSize, ColSize: Integer);
begin
  SetLength(_Elem, RowSize, ColSize);
end;    

function GetDynArrayRefCnt(const ADynArray): Longword;
begin
  if Pointer(ADynArray) = nil then
    Result := 1 {or 0, depending what you need}
  else
    Result := PLongword(Longword(ADynArray) - 8)^;
end;

procedure TMat.CopyElementsIfOthersRefer;
begin
  if GetDynArrayRefCnt(_Elem) > 1 then
    Self.Assign(Self);
end;

Answer 1

您可以在记录中使用接口(interface)字段引用来确定您的数组是否被多个记录共享:只需检查接口(interface)后面对象的引用计数，您就会知道数组中的数据是共享的。这样，您可以在修改时延迟复制，但在矩阵未修改时仍然使用数据共享。