Move() 从动态字符串数组中插入/删除项目

Question

使用 System.Move() 从字符串数组中插入/删除项目并不像从其他简单数据类型数组中插入/删除项目那么容易。问题是...字符串在 Delphi 中是引用计数的。在引用计数数据类型上使用 Move() 需要对内部编译器行为有更深入的了解。

这里有人可以解释我实现这一目标所需的步骤，或者更好地使用一些代码片段，或者指导我在互联网上找到一个很好的参考吗？

哦，请不要告诉我使用“懒惰但缓慢的方式”，即for循环，我知道。

Answer 1

我之前演示过如何从动态数组中删除项目：

• Delphi 问答：如何我要从数组中删除一个元素吗？

在那篇文章中，我从以下代码开始：

type
  TXArray = array of X;

procedure DeleteX(var A: TXArray; const Index: Cardinal);
var
  ALength: Cardinal;
  i: Cardinal;
begin
  ALength := Length(A);
  Assert(ALength > 0);
  Assert(Index < ALength);
  for i := Index + 1 to ALength - 1 do
    A[i - 1] := A[i];
  SetLength(A, ALength - 1);
end;

使用该代码不会出错。使用您想要的 X 任何值；根据您的情况，将其替换为 string。如果您想要更高级地使用 Move，那么也有办法做到这一点。

procedure DeleteX(var A: TXArray; const Index: Cardinal);
var
  ALength: Cardinal;
  TailElements: Cardinal;
begin
  ALength := Length(A);
  Assert(ALength > 0);
  Assert(Index < ALength);
  Finalize(A[Index]);
  TailElements := ALength - Index;
  if TailElements > 0 then
    Move(A[Index + 1], A[Index], SizeOf(X) * TailElements);
  Initialize(A[ALength - 1]);
  SetLength(A, ALength - 1);
end;

由于 X 是 string，因此 Finalize 调用相当于将空字符串分配给该数组元素。不过，我在此代码中使用了 Finalize，因为它适用于所有数组元素类型，甚至包括记录、接口、字符串和其他数组的类型。

对于插入，您只需将内容向相反方向移动：

procedure InsertX(var A: TXArray; const Index: Cardinal; const Value: X);
var
  ALength: Cardinal;
  TailElements: Cardinal;
begin
  ALength := Length(A);
  Assert(Index <= ALength);
  SetLength(A, ALength + 1);
  Finalize(A[ALength]);
  TailElements := ALength - Index;
  if TailElements > 0 then begin
    Move(A[Index], A[Index + 1], SizeOf(X) * TailElements);
  Initialize(A[Index]);
  A[Index] := Value;
end;

当您要执行语言范围之外的操作（例如使用非类型安全的 Move<）时，请使用 Finalize /code> 覆盖编译器管理类型变量的过程。当您重新输入语言的定义部分时，请使用Initialize。 （该语言定义了当数组使用 SetLength 增大或缩小时会发生什么，但它没有定义如何在不使用字符串赋值语句的情况下复制或删除字符串。）

Answer 2

您没有说明将数组元素保持相同的顺序对您来说是否重要。
如果顺序不相关，您可以非常非常快像这样：

procedure RemoveRecord(Index: integer);  
begin
 FRecords[Index]:= FRecords[High(FRecords)];  { Copy the last element over the 'deleted' element }
 SetLength(FRecords, Length(FRecords)-1);     { Cut the last element }
end;

{ I haven't tested the code to see it compiles, but you got the idea anyway... }

对列表进行排序
如果您有一个巨大的列表需要用户修改，您可以使用与上面类似的方法（打破列表顺序）。当用户完成编辑（多次删除后）时，您会向其显示一个名为“排序列表”的按钮。现在他可以执行冗长的（排序）操作。
当然，我上面假设您的列表可以按某个参数排序。

自动对列表进行排序
另一种方法是自动化排序过程。当用户从列表中删除内容时，启动计时器。如果用户不断删除项目，请继续重置计时器。当计时器成功触发事件时，进行排序，停止计时器。

Answer 3

要插入字符串，只需将字符串（惰性方式）添加到数组（指针数组）的末尾，然后使用 Move 更改该数组元素的顺序（指针）。

Answer 4

如果我想将一个字符串插入到字符串列表的中间，我会使用 TStringList.Insert。 （它使用 System.Move 快速完成此操作。）

您使用数组而不是 TStringList 的任何特殊原因吗？

Answer 5

在搞乱它之前，先调用 UniqueString() 。

http://docwiki.embarcadero.com/VCL/en/System.UniqueString

然后你就有了一个带有单个引用的字符串。

很有可能这也是删除和插入所做的，我怀疑你会更快。

Answer 6

只是想为将来来到这里的任何人添加这一点。

修改 Rob 的代码后，我想出了这种使用较新的 TArray 类型结构的方法。

type
  TArrayExt = class(TArray)
    class procedure Delete<T>(var A: TArray<T>; const Index: Cardinal; Count: Cardinal = 1);
  end;

implementation

class procedure TArrayExt.Delete<T>(var A: TArray<T>; const Index: Cardinal;
    Count: Cardinal = 1);
var
  ALength: Cardinal;
  i: Cardinal;
begin
  ALength := Length(A);
  Assert(ALength > 0);
  Assert(Count > 0);
  Assert(Count <= ALength - Index);
  Assert(Index < ALength);

  for i := Index + Count to ALength - 1 do
    A[i - Count] := A[i];

  SetLength(A, ALength - Count);
end;

可以对插入件执行类似的操作。

（并不是想将此标记为答案，只是想提供一个示例，该示例太长，无法放入对 Rob 优秀答案的评论中。）

（已修复以解决下面 Rob 的评论。）

Answer 7

Move() 可以很好地处理引用计数类型，如字符串或接口，并且实际上在 Delphi 的数组和列表内部使用。但是，现在，在一般情况下，由于托管记录功能，Move() 不再有效。

Answer 8

如果您使用 System.Move 将项目放入字符串数组中，您应该知道 Move 之前的字符串（现在被覆盖）的引用计数要么为 -1（对于常量字符串），要么为 > 。 0 表示变量字符串。不应更改常量字符串，但应相应地处理变量字符串：您应该手动降低它们的引用计数（在它们被覆盖之前！）。要做到这一点，你应该尝试这样的事情：

Dec(PStrRec(IntPtr(SomeString)-12).refCnt);

但是如果引用计数达到零，你还应该最终确定关联的内存 - 如果你让它工作，Delphi 本身会做得更好，它是字符串的编译器魔法。哦，还有：如果您复制的字符串与您写入的字符串来自同一个数组，则所需的管理会变得非常麻烦，而且很快！

因此，如果可以以某种方式避免所有这些手动内务处理，我建议让 Delphi 自行处理。