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

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是普通指针，并且始终指向同一个对象。这里没有自动复制。

Answer 2

根据需要复制字符串。这意味着当您更改复制的字符串时，它将创建更改的字符串的新实例。为简单起见，您可以假设字符串副本是字符串数据的副本。

分配类实例时，只复制指向该实例的指针，而不是实例本身。复制后，仍然只有一个类实例。您可以从代码中看到，因为代码中只有一个TStringList.Create。

Answer 3

似乎delphi创建了一个shallow copy个对象。浅拷贝意味着复制所有本机数据类型，但只能通过引用复制这些对象。

因此，在复制赋值后，两个对象都持有对同一strlist对象的引用。

Answer 4

您将所有值从P3复制到P4。

但是 strlst只是对对象TStringList的引用，此引用也会被复制，因此P4.strlst指向与P3.strlst

相同的对象

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

4 个答案: