使用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;

我选择了一条记录,因为我不想创建/ Free/Assign来使用它.

但是对于动态数组,不能(深度)复制值为M1:= M2,而不是M1.Assign(M2).

我试图声明自我隐式转换方法,但它不能用于M1:= M2.

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

有没有办法挂钩记录的分配？

或者有任何建议用记录实现N x M矩阵吗？

提前致谢.

编辑:

我用Barry的方法实现了如下,并确认正常工作.

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;

我同意这不高效.只使用Assign with pure record绝对更快.

但它非常方便,更具可读性.(而且很有趣.:-)

我认为它对于光计算或预生产原型非常有用.不是吗？

EDIT2:

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

您可以在记录中使用接口字段引用来确定您的数组是否由多个记录共享:只需检查接口后面对象的引用计数,您就会知道数组中的数据是共享的.这样,您可以懒惰地复制修改,但仍然在未修改矩阵时使用数据共享.