我在 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 编译器可以很好地处理这个问题)。有什么办法吗?
最佳答案
(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](..)
并且两个选项都有效。
关于Scala 无法推断 Java 方法的类型参数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/46141619/