Scala 无法推断 Java 方法的类型参数

Question

我在 Java 中有以下复杂的类型层次结构:

// the first type
interface Element<Type extends Element<Type>> {
    Type foo(Type a, Type b);
}

// the second type
interface Payload<Type extends Payload<Type>> {
    Type bar(Type[] array);
}

// some toy implementation
final class SomePayload implements Payload<SomePayload> {
    @Override
    public SomePayload bar(SomePayload[] array) { return array[0]; }
}

// mix of first and second interfaces
interface ComplicatedElement<
              PayloadT extends Payload<PayloadT>,
              ObjectT extends ComplicatedElement<PayloadT, ObjectT>>
          extends Element<ObjectT> {

    PayloadT getPayload();

    ObjectT add(ObjectT a, ObjectT b);
}

// some toy implementation
final class SomeComplicatedElement 
      implements ComplicatedElement<SomePayload, SomeComplicatedElement> {
    final SomePayload data;

    public SomeComplicatedElement(SomePayload data) {
        this.data = data;
    }

    @Override
    public SomePayload getPayload(){ return data; }

    @Override
    public SomeComplicatedElement foo(SomeComplicatedElement a, SomeComplicatedElement b) {
        return b;
    }

    @Override
    public SomeComplicatedElement add(SomeComplicatedElement a, SomeComplicatedElement b) {
        return a;
    }
}

我有一些处理 ComplicatedElement 的静态方法s:

public static <PayloadT extends Payload<PayloadT>,
              ObjectT extends ComplicatedElement<PayloadT, ObjectT>>
List<ObjectT> method(ObjectT input) {
    return Collections.singletonList(input);
}

现在，我可以从 Java 调用 method没有这样的问题:

public static void main(String[] args) {
    System.out.println(method(new SomeComplicatedElement(new SomePayload())));
}

但是，当我尝试在 Scala 中做同样的事情时:

import FooBarJava.{SomeComplicatedElement, SomePayload, method}

def main(args: Array[String]): Unit = {
  println(method(new SomeComplicatedElement(new SomePayload())))
}

我有这个编译错误:

Error:(10, 21) inferred type arguments [Nothing,FooJava.SomeComplicatedElement] do not conform to method method's type parameter bounds [PayloadT <: FooJava.Payload[PayloadT],ObjectT <: FooJava.ComplicatedElement[PayloadT,ObjectT]]
println(FooJava.method(new SomeComplicatedElement(new SomePayload())))

我可以通过明确指定类型参数来解决这个问题:

println(method[SomePayload, SomeComplicatedElement](new SomeComplicatedElement(new SomePayload())))

但这很烦人，我想避免这种情况(我想这是可能的，因为 Java 编译器可以很好地处理这个问题)。有什么办法吗？

Answer 1

(I guess it is possible since Java compiler just work fine with this)

Scala 拥有比 Java 更丰富的类型系统。例如，在 Java 中没有类似于 Nothing 的类型。在 Scala 中(即通用子类型)。因此，有时具有更丰富类型系统的语言的编译器可能无法推断类型，而在类似情况下，具有较差类型系统的语言的编译器可以做到这一点。

如果指定类型参数太烦人，为什么不创建一些辅助方法呢？

private def methodWithPayload(data: SomePayload): java.util.List[SomeComplicatedElement] =
    method[SomePayload, SomeComplicatedElement](new SomeComplicatedElement(data))

methodWithPayload(new SomePayload)

在 Java 中只有一个选项 <SomePayload, SomeComplicatedElement>method(..) , 在 Scala 中有两个选项 method[SomePayload, SomeComplicatedElement](..)和 method[Nothing, SomeComplicatedElement](..)并且两个选项都有效。