Delphi中的动态数组和内存管理

Question

下面关于 Delphi 中动态数组的文章说您使用 SetLength() 函数分配动态数组。

myObjects : array of MyObject;
...
SetLength(myObjects, 20);
// Do something with the array.
myObjects := nil;

http://delphi.about.com/od/beginners/a/arrays.htm

这对我来说似乎是内存泄漏：

问题是，如果SetLength()相当于C++中的MyObject *obs = new MyObject[20]，那么数组就是指针，所以将Delphi的myObjects变量设置为nil与在 C++ 中设置obj = NULL？即，这是内存泄漏吗？

编辑：我从 David 的回答中了解到编译器为动态分配的数组管理内存。我也从他的回答中了解到，编译器确实为普通类实例管理内存（因此使用myObj := MyObject.Create 和myObj.Free、myObj := nil 等）。此外，因为 Delphi 类（不是记录）总是在堆上分配（Delphi 使用一种引用/指针系统），这是否意味着（自动内存管理的）动态数组中的所有对象仍然需要内存 -由我管理？例如，以下是否通过双重释放结果导致错误？

myObjects : array of MyObject;
...
SetLength(myObjects, 20);
for i := 0 to 19 do
begin
  myObjects[i] := MyObject.Create;
end;
// Do something with the array.
// Before de-allocating it, if I *know* I am the only user of the array,
// I have to make sure I deallocate each object.
for i := 0 to 19 do
begin
  myObjects[i].Free;
  myObjects[i] := nil; // Redundant, but for illustrative purposes.
end;
myObjects := nil;

Answer 1

动态数组由编译器管理。这是通过维护对数组的所有引用的引用计数来完成的。当对数组的最后一个引用被分离时，数组被释放。

documentation 说：

动态数组变量是隐式指针，并由用于长字符串的相同引用计数技术管理。要释放动态数组，请将 nil 分配给引用数组的变量或将变量传递给 Finalize；只要没有其他对它的引用，这些方法中的任何一个都会处理数组。动态数组在引用计数降至零时自动释放。长度为 0 的动态数组的值为 nil。不要将取消引用运算符 (^) 应用于动态数组变量或将其传递给 New 或 Dispose 过程。

在您的示例中，将nil 分配给您的变量会分离唯一的引用并导致数组被释放。所以没有泄漏。

Delphi 动态数组与 C++ new 非常不同。与 Delphi 中最接近的类似物是 GetMem 或 New 的原始内存分配。

---

您的编辑提出了不同的问题。类的实例不受管理。它们必须被明确地释放。你的代码就是这样做的。没有双重释放，因为编译器不管理类的实例。

Answer 2

将对象引用设置为nil 不会释放它。它只是减少内部引用计数。当该引用计数达到 0 时，内存被释放或可供释放。

这样做：

Obj.Free
Obj := nil;

根本不会释放它两次。它将释放它一次并将 Obj 指针设置为 null。

对于字符串，引用计数通常存储在第一个元素之前 2 个字的偏移处，而大小存储在第一个元素之前 1 个字的位置。如果它是常量，则引用计数通常为 -1。不确定是否仍然如此。