我可以将缓冲区 + 大小转换为 TBytes 吗？

Question

给定一个缓冲区及其大小（以字节为单位），有没有办法在不复制的情况下将其转换为 TBytes？

例子：

procedure HandleBuffer(_Buffer: PByte; _BufSize: integer);
var
  Arr: TBytes;
  i: Integer;
begin
  // some clever code here to get contents of the buffer into the Array
  for i := 0 to Length(Arr)-1 do begin
    HandleByte(Arr[i]);
  end;
end;

我当然可以复制数据：

procedure HandleBuffer(_Buffer: PByte; _BufSize: integer);
var
  Arr: TBytes;
  i: Integer;
begin
  // this works but is very inefficient
  SetLength(Arr, _BufSize);
  Move(PByte(_Buffer)^, Arr[0], _BufSize);
  //
  for i := 0 to Length(Arr)-1 do begin
    HandleByte(Arr[i]);
  end;
end;

但是对于一个大缓冲区（大约 100 兆字节），这意味着我需要双倍的内存并且还要花费大量时间来不必要地复制数据。

我知道我可以简单地使用 PByte 来处理缓冲区中的每个字节，我只对使用 TBytes 的解决方案感兴趣。

我认为不可能，但我之前一直错。

Answer 1

不，这是不可能的（没有不合理的 hack）。

问题在于TBytes = TArray<Byte> = array of Byte 是a dynamic array，并且非空动态数组的堆对象有a header 包含数组的引用计数和长度。

一个接受 TBytes 参数的函数，当给定一个指向字节数组的普通指针时，可能（正确地）尝试读取（不存在的）标头，然后你就遇到了严重的麻烦。

此外，动态数组是托管类型（如我提到的引用计数所示），因此您可能也会遇到问题。

---

但是，在您的特定示例代码中，您实际上根本没有使用数据的动态数组性质，因此您可以直接使用缓冲区：

procedure HandleBuffer(_Buffer: PByte; _BufSize: integer);
var
  i: Integer;
begin
  for i := 0 to _BufSize - 1 do
    HandleByte(_Buffer[i]);
end;