delphi - 为什么这个复制数据从一个点就错了？

Question

这是我的示例代码:

type
  PData = ^TData;
  TData = record
    str : string;
    strlist : TStringList;
  end;

var
  P1 : PData;
  P2 : PData;
  P3 : PData;
  P4 : PData;
begin
  New(P1);
  New(P2);
  P1.str := 'string';
  // copy
  P2^ := P1^;
  P2.str := P2.str + '_copy';
  Memo1.Lines.Add('This is P1:' + P1.str); //This is P1:string
  Memo1.Lines.Add('This is P2:' + P2.str); //This is P2:string_copy

  // so change P2'Data didn't change P1's Data
  // but this :
  New(P3);
  New(P4);
  P3.str := 'string';
  P3.strlist := TStringList.Create;
  P3.strlist.Add('one line');
  // copy
  P4^ := P3^;
  // just add P4's data
  P4.strlist.Add('two line');
  Memo1.Lines.Add('P3''s Data:' + IntToStr(P3.strlist.Count));
  Memo1.Lines.Add(P3.strlist.Text);
  Memo1.Lines.Add('P4''s Data:' + IntToStr(P4.strlist.Count));
  Memo1.Lines.Add(P4.strlist.Text);
  {
   P3's Data:2
   one line
   two line

   P4's Data:2
   one line
   two line
  }
end;

为什么当用class复制点数据时，它会改变原始数据，但当数据是string时使用P1^ := P2^ 复制点数据不会改变原始数据。

Answer 1

字符串在某种程度上是 Delphi 管理的特殊实体。特别是，Delphi 使用 Copy-On-Write 策略，即当您执行 P2^ := P1^;、P1.str 和P2.str 都指向同一个字符串对象。 Delphi 通过内部引用计数来跟踪存在多少个对字符串对象的引用。

一旦执行像 P2.str := P2.str + '_copy' 这样的写入操作，Delphi 就会识别出该字符串被多次使用，并为 P2 创建一个自己的副本.str。这一切都在后台发生，通常您不会注意到这一点。

另一方面，P3.strlist 和 P4.strlist 是普通指针，并且始终指向同一个对象。这里没有任何自动复制。