转换为 Scala 的 Java 泛型类型不接受父类(super class)本身

Question

我正在编写一个框架。这些接口(interface)是用 Java 代码编写和编译的。客户端使用 Scala 和这些接口(interface)。这是界面示例。

public interface Context {
   MyComponent<? extends File> getComponent();
}

现在我的scala代码使用如下接口(interface)。

val component = context.getComponent();
println(calculate(component));

def calculate( component: MyComponent[File] ): Unit = ???

Scala 编译器在 println(calculate(component)) 的第 2 行抛出错误。错误是:类型不匹配，预期:MyComponent[File]，实际:MyComponent[_ <: File]。

Answer 1

Java的通配符类型

? extends File

对应存在类型

_ <: File

在斯卡拉。尝试更改签名

def calculate(component: MyComponent[File]): Unit = ???

至

def calculate(component: MyComponent[_ <: File]): Unit = ???

另请注意，如果 MyComponent是您控制下的 Scala 类，然后将不变类型参数更改为协变类型参数 +F也可能有效，因为这样每个 MyComponent[F] forSome { type F <: File }将是 MyComponent[File] 的特例.