使用 TArray<T> 而不是 Array of T 的原因是什么？

Question

我正在将旧版 Delphi 应用程序迁移到 Delphi-XE2，我想知道是否有充分的理由将定义为 Array of MyType 的数组替换为 TArray<MyType>。那么问题是TArray<T> 使用而不是 Array of MyType 的优缺点是什么？

Answer 1

主要优点是不那么繁琐的类型标识规则。考虑：

a: array of Integer;
b: array of Integer;

这两个变量不兼容赋值。编写是编译器错误：

a := b;

另一方面，如果您使用通用语法：

a: TArray<Integer>;
b: TArray<Integer>;

那么这两个变量是赋值兼容的。

当然，你可以写

type
  TIntegerArray = array of Integer;

但各方需要就同一类型达成一致。如果所有代码都在您的控制之下，这很好，但是当使用来自各种来源的代码时，通用动态数组的出现会产生巨大的影响。

另一个类似的优点是你可以很容易地使用泛型数组类型作为泛型方法的返回类型。

如果没有泛型数组，您将不得不声明这种形式的类型：

TArrayOfT = array of T

在您的通用类中，这相当混乱。而且，如果您在非泛型类中编写泛型方法，那么您将无法进行该声明。泛型数组再次解决了这个问题。

TMyClass = class
  class function Foo<T>: TArray<T>; static;
end;

这一切都遵循documentation 中描述的类型兼容性规则，如下所示：

类型兼容性

两个未实例化的泛型被认为是赋值 仅当它们相同或为别名时才兼容 普通类型。

两个实例化的泛型被认为是赋值 如果基本类型相同（或者是 common type) 和类型参数是相同的。

Answer 2

它对函数结果很有用。

示例：

Delphi 中不允许以下内容。您需要在这里声明一个单独的类型。真是浪费时间。

function MyFunc:array of integer; 
begin
end;

等等，resque 的泛型：

function MyFunc:TArray<integer>;
begin
end;

Answer 3

你可以用一个构造值初始化TArray<T>：

var
  LArray: TArray<Integer>;
begin
  LArray := TArray<Integer>.Create(1, 2, 3, 4);

对于array of Integer，您需要编写更多代码：

var
  LArray: array of Integer;
begin
  SetLength(LArray, 4);
  LArray[0] := 1;
  LArray[1] := 2;
  LArray[2] := 3;
  LArray[3] := 4;