如何将java泛型转换为Delphi

Java代码利用参数类型中的协方差和逆变.参数to应该是一个带有一个参数的函数.参数的类型可以是T 或任何超类型T.该函数应返回type U 或任何子类型的值U.

该to函数将调用mapping并传递它T当前保存的类型的值(如果它根本保存任何值),因此参数类型mapping需要是T可以分配给它的东西.这包括T,Object以及层次结构中它们之间的任何其他类型.

同样,to将使用结果mapping获取类型的值U.Mapping不必声明为U具体返回,但它返回的任何类型都需要赋值U.

在Delphi中无法表达这些约束.你能做的最好是请求使用字面函数类型T和U:

function &to(mapping: TFunc): Maybe;

function &to(mapping: TFunc): Maybe;

if Self is TUnknown then
  Result := unknown
else
  Result := definitely(mapping(TDefiniteValue(Self).value));