为什么这个副本数据出错呢？

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;

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

Answer 1

String有点像Delphi管理的特殊实体.特别是,Delphi使用一个Copy-On-Write策略,即当你这样做P2^ := P1^;,P1.str而且P2.str都指向相同的字符串对象.Delphi通过内部引用计数跟踪对字符串对象的引用数量.

只要执行类似的写操作P2.str := P2.str + '_copy',Delphi就会识别出该字符串不止一次被使用,并为P2.str创建一个自己的副本.这一切都发生在后台,通常你没有注意到这一点.

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