delphi – 为什么两个TBytes不能使用重叠的数据？

如果您使用调试器浏览代码，您可以看到会发生什么。

在Thing1初始化之后，您可以看到FData已经填满了所有的零。
奇怪的是Thing2很好。
因此错误在CreateThing中。让我们进一步调查…

在奇怪命名的构造函数CreateThing中，你有以下一行：

FData := @FBuf[1];

这看起来像一个简单的赋值，但是真的是调用DynArrayAssign

Project97.dpr.32: FData := @FBuf[1];
0042373A 8B45FC           mov eax,[ebp-$04]
0042373D 83C008           add eax,$08
00423743 8B5204           mov edx,[edx+$04]
00423746 42               inc edx
00423747 8B0DE03C4000     mov ecx,[$00403ce0]
0042374D E8E66DFEFF       call @DynArrayAsg      <<-- lots of stuff happening here.

DynArrayAsg执行的检查之一是检查源动态数组是否为空。
DynArrayAsg也做了一些你需要注意的事情。

我们先看看the structure of a dynamic array;它不仅仅是一个数组的简单指针！

Offset 32/64  |   Contents     
--------------+--------------------------------------------------------------
-8/-12        | 32 bit reference count
-4/-8         | 32 or 64 bit length indicator 
 0/ 0         | data of the array.

执行FData = @FBuf [1]你正在搞乱动态数组的前缀字段。
@Fbuf [1]前面的4个字节被解释为长度。
对于Thing1，这些是：

-8 (refcnt)  -4 (len)     0 (data)
FBuf:     01 00 00 00  08 00 00 00  00  'S' 'n' .....
FData:    00 00 00 08  00 00 00 00  .............. //Hey that's a zero length.

糟糕的是，当DynArrayAsg开始调查时，它看到它认为的是源的分配长度为零，即认为源是空的，不分配任何东西。它使FData保持不变！

Thing2是否按预期工作？
它看起来像它，但它实际上失败了一个坏的方式，让我告诉你。

你已经成功地将运行时欺骗了@FBuf [1]是对动态数组的有效引用。
因为这样，FData指针已被更新为指向FBuf [1](到目前为止这么好)，并且FData的引用计数已经增加1(不好)，运行时也增加了保存动态的内存块数组，它认为是FData的正确大小(不好)。

-8 (refcnt)  -4 (len)     0 (data)
FBuf:     01 01 00 00  13 00 00 00  01  'S' 'n' .....
FData:    01 00 00 13  00 00 00 01  'S' ..............

Oops FData现在有318,767,105的计数，长度为16,777,216字节。
FBuf的长度也有所增加，但其计数现在为257。

这就是为什么你需要调用SetLength来消除大量的内存分配。这仍然不能解决引用计数。
过度分配可能导致内存不足错误(特别是64位)，而古怪的引用计数会导致内存泄漏，因为您的数组永远不会被释放。

解决方案
根据David的答案：启用键入的检查指针：{$ TYPEDADDRESS ON}

您可以通过将FData定义为普通PAnsiChar或PByte来修复代码。
如果您确保始终终止您的分配到FBuf与双零FData将按预期工作。

使FData像这样：

TBuffer = record
private
  FData : PByte;
  function GetLength: cardinal;
  function GetType: byte;
public
  class operator implicit(const A: TBytes): TBuffer;
  class operator implicit(const A: TBuffer): PByte;
  property Length: cardinal read GetLength;
  property DataType: byte read GetType;
end;

重写CreateThing，如下所示：

constructor TThing.CreateThing(const AThingType : Byte; const AThingData: TBytes);
begin
  SetLength(FBuf,Length(AThingData) + Sizeof(AThingType) + 2);
  FBuf[0] := AThingType;
  Move(AThingData[0],Length(AThingData));
  FBuf[Lengh(FBuf)-1]:= 0;
  FBuf[Lengh(FBuf)-2]:= 0;  //trailing zeros for compatibility with pansichar

  FData := FBuf;  //will call the implicit class operator.
end;

class operator TBuffer.implicit(const A: TBytes): TBuffer;
begin
  Result.FData:= PByte(@A[1]);
end;

我不明白为什么试图超越编译器。
为什么不这样声明FData呢？

type
  TMyData = record
    DataType: byte;
    Buffer: Ansistring;  
    ....

并与之配合。