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;
    }
}

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

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

（我想这是可能的，因为Java编译器可以很好地处理这个问题）

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

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

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](..)两个选项都有效。