delphi – 将TArray键入到数组X是安全的吗？

以下程序无法编译：

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),2);
end;

我对动态数组的实现细节不够了解,TArray< T>铸造,参考计数等,以确保这是安全的.

有没有人知道足够的话说出一种方式,无论这是否会在运行时产生正确的代码？