将 TArray<X> 类型转换为 X 数组是否安全？

Question

今天我发现了一个编译器错误 (QC#108577)。

以下程序编译失败：

program Project1;
{$APPTYPE CONSOLE}

procedure P(M: TArray<TArray<Integer>>);
begin
  SetLength(M, 1, 2);
end;

begin
end.

编译器在SetLength 行上作呕并说：

[dcc32 Error] E2029 ')' expected but ',' found

我知道我可以这样修复它：

procedure P(M: TArray<TArray<Integer>>);
var
  i: Integer;
begin
  SetLength(M, 1);
  for i := low(M) to high(M) do
    SetLength(M[i], 2);
end;

但我自然很想避免不得不诉诸于此。

以下变体编译并且似乎可以工作：

procedure P(M: TArray<TArray<Integer>>);
type
  TArrayOfArrayOfInteger = array of array of Integer;
begin
  SetLength(TArrayOfArrayOfInteger(M), 1, 2);
end;

我对动态数组、TArray<T> 强制转换、引用计数等的实现细节了解得不够多，无法确信这是安全的。

有没有人足够了解以一种或另一种方式说出这是否会在运行时产生正确的代码？

Answer 1

编译器内部过程SetLength 在堆栈上动态构造一个维度数组，并为任何动态数组调用DynArraySetLength，无论它是否是通用的。如果泛型数组在结构上与常规动态数组不兼容，则可能不会调用用于设置长度的相同实现。

事实上，documentation 的 DynArraySetLength 提供了 SetLength 作为多维数组的替代方案。 DynArraySetLength 也可以用来代替类型转换，但我看不出有任何理由偏爱其中一个。

Answer 2

根据泛型实现的设计，使用手动映射到array of array of Integer 将起作用。

但是在这里使用泛型没有任何好处！

代码：

type
  TArrayOfArrayOfInteger = array of array of Integer;

procedure P(M: TArrayOfArrayOfInteger);
begin
  SetLength(TArrayOfArrayOfInteger, 1, 2);
end;

另请注意，此类TArray<> 或array of .. 是按值传递的，并复制到堆栈上，除非您指定const 或var：

procedure P(var M: TArrayOfArrayOfInteger);
begin
  SetLength(TArrayOfArrayOfInteger, 1, 2);
end; // now caller instance of the parameter will be resized

var A: TArrayOfArrayOfInteger;
...
A := nil;
P(A);
assert(length(A)=1);
assert(length(A[0])=2);

Answer 3

我最近被 C++ 中的 DynamicArray<T> 和 TArray<T> 实际上实现不同的事实所困扰（DynamicArray 是一个独立的类，而 TArray 是 TObject 的后代），这意味着 @987654326 @ 和 TArray<T> 在 Delphi 中也有一些实现差异。至少，他们肯定会产生不同类型的 RTTI。当 Delphi 编译器开始在 Delphi array of ... 类型而不是 DynamicArray typedefs 的 HPP 文件中输出 TArray typedefs 时，我的一些 C++ 代码开始出现问题，这是导致问题的根本原因。