Delphi动态数组调整大小后指针有效性维护及相关技术疑问

代码示例 #

var
  Controls: TArray<TControls>;
  Items: ^TArray<TControls>;
begin
  Items := @Controls;
end;

问题背景 #

当通过SetLength()等方式调整Controls数组的大小时，Delphi可能会重新分配内存，导致Items中存储的指针失效。以下是三个技术疑问及解答：

1. Delphi调整动态数组大小时是否总会重新分配内存？

并非总会重新分配内存。调用SetLength()时，系统会先判断当前数组的内存空间是否能容纳新长度：

• 如果现有空间足够（比如缩小数组，或是之前分配的内存有冗余），只会修改数组的长度标记，不会改变内存地址；
• 只有当现有空间不足以承载新的元素数量时，才会重新分配一块更大的内存，复制原数组内容后释放旧内存，此时数组的内存地址才会改变。

2. 如何确保Items始终指向更新后的Controls？

有两种可靠的处理方式：

• 每次调整后同步指针：每次调用SetLength()或其他可能改变数组内存的操作后，重新执行Items := @Controls;，手动更新指针指向；
• 放弃缓存指针，直接引用原变量：如果业务允许，尽量直接使用Controls变量本身。若必须用指针形式，可以封装一个记录或类，每次访问时都实时获取Controls的地址，而非缓存固定指针。

3. 使用指针是否为最佳实现方案，还是应采用其他机制？

使用独立指针不是最佳方案，很容易因为数组内存重分配出现野指针问题，增加调试难度。更推荐以下替代方案：

• 直接使用原数组变量：动态数组本身是引用类型，直接访问Controls永远不会出现指针失效的问题，这是最安全的选择；
• 封装数组包装类：写一个简单的类，内部维护动态数组，对外提供访问接口，类实例可以安全传递，无需关心底层内存变化；
• 使用容器类：VCL/FMX中的TList<T>或TObjectList<T>已经封装了内存扩容、元素管理的逻辑，比手动维护动态数组指针更可靠，还提供了添加、删除、排序等便捷方法。

内容的提问来源于stack exchange，提问作者zeus