Delphi XE TBytes正确用法

Question

TBytes 变量的正确使用模式是什么？根据我的理解，TBytes不是一个类，而是一个“动态字节数组”。我不确定内存在哪里分配，何时释放，以及将其从生产者传递到消费者的最佳方式是什么。我希望我的生产者创建一个 TBytes 实例，然后将其传递给消费者。发生这种情况后，生产者希望重用其 TBytes 成员变量，因为知道消费者最终会将内存返回给系统。如果 TBytes 是一个对象，我不会有任何问题，但我不确定 TBytes 在这种情况下如何工作。

例如，在对象 A 中，我想将一些数据组装到一个 TBytes 数组中，该数组是对象 A 的成员。完成后，我想将 TBytes 数组传递给另一个对象 B，然后该对象将成为数据的所有者。同时，回到对象 A，我想开始组装更多数据，重用 TBytes 成员变量。

type
  TClassA = class
  private
    FData: TBytes;
  public
    procedure AssembleInput(p: Pointer; n: Cardinal);
  end;

  TClassB = class
  public
    procedure ProcessData(d: TBytes);
  end;

var
  a: TClassA;
  b: TClassB;

procedure TClassA.AssembleInput(p: Pointer; n: Cardinal);
begin
  SetLength(FData, n);
  Move(p^, FData, n);  // Is this correct?
  ...
  b.ProcessData(FData);

  ...

  // Would it be legal to reuse FData now?  Perhaps by copying new (different)
  // data into it?
end;

procedure TClassB.ProcessData(d: TBytes);
begin
  // B used the TBytes here.  How does it free them?
  SetLength(d, 0);  // Does this free any dynamic memory behind the scenes?
end;

提前致谢!

Answer 1

Delphi 动态数组是具有自动生命周期管理的托管类型。它们是有引用计数的，当引用计数为 0 时，它们就会被释放。您可以将它们视为在字符串、接口(interface)和变体方面是等效的。

您可以通过以下三种方式之一显式释放对动态数组的引用:

a := nil;
Finalize(a);
SetLength(a, 0);

但是，当变量离开作用域时，不执行任何操作并释放引用是很常见的。

动态数组需要注意的一件事是当您有两个对同一动态数组的引用时。在这种情况下，通过一个引用应用的更改可以从另一个引用中看到，因为只有一个对象。

SetLength(a, 1);
a[0] := 42;
b := a;
b[0] := 666;//now a[0]=666

<小时/>

你问这是否正确:

Move(p^, FData, n);

不，不是。您在这里所做的是将 p 的内容复制到引用 FData 上。如果你想用 Move 复制，那么你可以写:

Move(p^, Pointer(FData)^, n);

或者，如果您希望更详细一点并避免强制转换，您可以编写:

if n>0 then 
  Move(p^, FData[0], n);

我个人对强制转换并没有感到太糟糕，因为 Move 无论如何都绝对没有类型安全。

<小时/>

Would it be legal to reuse FData now? Perhaps by copying new (different) data into it?

如果没有更多背景信息，我觉得我无法回答这个问题。例如，我不知道为什么 FData 是一个字段，因为它仅在该函数本地使用。作为局部变量它会更有意义。大概有一个原因，它被声明为一个字段，但它不能轻易地从这段代码中辨别出来。

<小时/>

关于使用生产者/消费者模式。通常这样做是为了将生产与消费脱钩。但是，您的示例代码并未执行此操作，可能是因为解耦代码太复杂，无法包含在此处。

对于真正的生产者/消费者实现，您需要将数据的所有权从生产者转移到消费者。根据我们上面的描述，一个非常简单且有效的方法是使用引用计数。当数据传输给消费者时，生产者应该释放对其的引用。