为何将开放数组参数转为数组类型会触发Delphi E2089无效类型转换？

这个问题我在Delphi 2007里也碰到过，核心是Delphi对开放数组参数和动态数组类型的底层处理逻辑完全不同：

• 你定义的TObjectArray = array of TObject是一个动态数组类型，属于引用类型，有明确的类型标识。Delphi允许子类动态数组（比如array of TChild）向上转型为父类动态数组，因为它们的内存布局完全兼容，这就是直接转换动态数组Items时没问题的原因。
• 但array of TChild作为函数参数时，它是开放数组参数——这是Delphi的语法糖，编译器处理它时本质是传递两个值：指向数组首元素的指针，以及数组长度。它没有动态数组那样的类型元信息，所以编译器不允许你直接把开放数组强制转换成动态数组类型，这就是报错E2089 Invalid typecast的根源。

按推荐程度给你几个解决办法：

方案1：直接调用原函数，无需类型转换 #

你的IndexOf函数参数本身就是array of TObject开放数组，而Delphi的开放数组参数支持协变——array of TChild可以直接传递给array of TObject的参数（因为TChild是TObject的子类）。所以完全不需要做类型转换，直接写：

procedure Test(AItems : array of TChild);
var
  Item : TChild;
begin
  // 直接传递开放数组即可
  IndexOf(AItems, Item);
end;

这是最简洁高效的方式，完全符合Delphi的类型规则。

方案2：手动将开放数组复制到动态数组 #

如果你因为某些场景必须转换成TObjectArray再传递，可以手动把开放数组的元素复制到动态数组中：

procedure Test(AItems : array of TChild);
var
  Item : TChild;
  ObjArray: TObjectArray;
  I: Integer;
begin
  SetLength(ObjArray, Length(AItems));
  for I := 0 to High(AItems) do
    ObjArray[I] := AItems[I];
  IndexOf(ObjArray, Item);
end;

这种方式虽然多了一步复制，但能满足你必须使用TObjectArray的特殊需求。

方案3：重载IndexOf函数（可选） #

如果你的代码里经常需要处理不同子类的数组，可以给IndexOf写重载版本，直接接受array of TChild参数：

function IndexOf(AArray : array of TChild; AItem : TChild) : integer;
begin
  // 调用原函数，利用类型兼容性
  Result := IndexOf(TObjectArray(AArray), AItem);
end;

不过这种方式需要为每个子类写重载，在没有泛型的Delphi 2007里会比较繁琐，除非你只有少数几个子类需要处理，否则不推荐。

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