Delphi：隐式类型转换运算符无法用于方法参数问题

这个问题的核心在于Delphi编译器对方括号表达式的歧义解析，以及隐式转换的触发条件差异。

为什么直接传[Obj1, Obj2, Obj3]会报错？ #

Delphi里的方括号[]有两种完全不同的语义：

• 一种是集合字面量：比如[1,2,3]表示整数集合，要求元素必须是序数类型（Ordinal Type，比如Integer、枚举、Char等），而TObject显然不属于序数类型，所以编译器抛出E2001: Ordinal type required错误——它把你写的[Obj1, Obj2, Obj3]当成了集合，而非数组。
• 另一种是开放数组字面量：只有当编译器明确知道需要匹配数组类型时，才会把方括号解析成数组。

当你直接在函数参数位置写[Obj1, Obj2, Obj3]时，编译器的优先解析逻辑是先尝试集合，因为集合的语法匹配更直接，而你的参数类型是自定义的TArrayWrapper（不是数组类型），所以编译器不会自动触发隐式转换来把它识别成数组。

为什么先赋值给变量再传就正常？ #

当你执行myArray := [Obj1, Obj2, Obj3]时，变量myArray的类型是TArrayWrapper，编译器明确知道需要把右侧的表达式转换成TArrayWrapper类型。这时候它会去查找对应的隐式转换运算符，发现你定义了class operator Implicit(AArray: array of TObject): TArrayWrapper;，于是就会把[Obj1, Obj2, Obj3]解析成开放数组，然后调用隐式转换生成TArrayWrapper实例。

解决方法 #

你有几种方式可以让直接传递数组字面量的写法生效：

1. 显式触发数组解析与转换

直接调用你的隐式转换运算符，告诉编译器这是数组而非集合：

DoSomethingElse(TArrayWrapper.Implicit([Obj1, Obj2, Obj3]));

2. 显式构造TArray<TObject>并转换

如果你的Delphi版本支持TArray<T>.Create（Delphi XE及以上），可以先构造强类型数组，再利用隐式转换：

DoSomethingElse(TArray<TObject>.Create(Obj1, Obj2, Obj3));

（需要确保你的TArrayWrapper的隐式转换也支持TArray<TObject>，可以重载一个运算符：class operator Implicit(AArray: TArray<TObject>): TArrayWrapper; overload;）

3. 给TArrayWrapper添加构造函数

添加一个静态构造方法，让调用更直观：

type TArrayWrapper = record
  class operator Implicit(AArray: array of TObject): TArrayWrapper; overload;
  class function Create(const AArray: array of TObject): TArrayWrapper; static;
  Items: TArray<TObject>;
  procedure Add(AItem: TObject);
  ...
end;

// 实现构造函数
class function TArrayWrapper.Create(const AArray: array of TObject): TArrayWrapper;
begin
  Result := Implicit(AArray);
end;

然后调用时就可以写：

DoSomethingElse(TArrayWrapper.Create([Obj1, Obj2, Obj3]));

4. 重载函数参数类型（可选）

如果允许修改DoSomethingElse的定义，可以直接添加一个接受开放数组的重载版本，内部转换为TArrayWrapper：

procedure DoSomethingElse(AArray: array of TObject); overload;
begin
  DoSomethingElse(TArrayWrapper.Implicit(AArray));
end;

这样调用时直接传[Obj1, Obj2, Obj3]就会匹配这个重载，自动完成转换。

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