Scala和泛型的陌生感

Question

我遇到了这种我不理解的类型不匹配：

error: type mismatch;
found   : org.fluentlenium.core.domain.FluentList[_<:org.fluentlenium.core.domain.FluentWebElement]
required: org.fluentlenium.core.domain.FluentList[?0(in value $anonfun)] where type ?0(in value $anonfun) <: org.fluentlenium.core.domain.FluentWebElement
Note: org.fluentlenium.core.domain.FluentWebElement >: ?0, but Java-defined class FluentList is invariant in type E.
You may wish to investigate a wildcard type such as `_ >: ?0`. (SLS 3.2.10)

确实，“找到”值的确切类型是：

org.fluentlenium.core.domain.FluentList[_<:org.fluentlenium.core.domain.FluentWebElement] => 变体类型参数

我无法表示这样的情况，其中“找到”值是变体类型参数。我尝试了这个简单的 sn-p 代码：

public class CarList<E extends Car> implements Collection<E> { // written in Java
   //overriden methods from Collection here
}

public class Car{} // written in Java

public Ferrari extends Car{} //written in Java

object Main extends App {  

   val carList: CarList[Car] = new CarList[Car]

   val l: CarList[Ferrari] = carList

}

发生的编译错误非常相似：

error: type mismatch;
found   : app.CarList[app.Car]     //but in this case, logically it's an invariant type: Car
required: app.CarList[app.Ferrari]
Note: app.Car >: app.Ferrari, but Java-defined class CarList is invariant in type E.
You may wish to investigate a wildcard type such as `_ >: app.Ferrari`. (SLS 3.2.10)
val l: CarList[Ferrari] = carList
                                     ^

如何修改我的代码 sn-p 以准确地结束：

• 与FluentList 的错误类型相同（精确到“找到”值中的变体类型参数）：
  found : app.CarList[_ :> app.Car]
• 来自编译器的相同建议：
  You may wish to investigate a wildcard type such as _ >:

这样我就可以弄清楚问题的根源是什么？

Answer 1

在您的 java 示例中，您似乎颠倒了两件事。您不能将汽车列表分配给法拉利列表。

考虑到这一点，我这样解释 sn-p：

class CarList[E <: Car]

class Car
class Ferrari extends Car

object Main extends App {

  val carList = new CarList[Ferrari]

  // this now throws a compiler error
  val l: CarList[Car] = carList
}

编译错误如下：

type mismatch;
found: CarList[Ferrari] required: CarList[Car]
Note: Ferrari <: Car, but class CarList is invariant in type E.
You may wish to define E as +E instead.

所以编译器实际上帮助了我们。这个定义：

class CarList[E <: Car]

告诉编译器我们有一个扩展 Car 的东西的列表。

但是，这并不能告诉编译器CarList[Ferrari] 也扩展了CarList[Car]。为了告诉编译器是这种情况，我们需要使 E 与 + 协变。

为了解决这个错误，我们可以做两件事：

1. 将CarList定义为CarList[+E]，表示你不在乎里面有什么，但是如果A扩展B那么CarList[A]可以考虑扩展CarList[B]
2. 将CarList定义为CarList[+E <: Car]，与1相同，但对E的类型有额外的限制，因为它必须是Car。

This question about variance 可能会提供更多信息。