为什么多态函数不能接受 Scala 中的通配符(存在)类型？

Question

在下面的例子中，我想知道为什么funPoly不能接受存在量化的类型值outersFromInnersEx，尽管funEx可以。

case class InnerCassClass[I, E, O](i: I, e: E, o: O)
case class OuterCaseClass[I, E, O](inner: InnerCassClass[I, E, O])

val inner1 = InnerCassClass(5, "foo", 3.3f)
val inner2 = InnerCassClass(4.4f, 6, "bar")

// Doesn't work as expected due to invariance of type paramemters I, E, O (but confirm)
// val outersFromInnersAny: List[OuterCaseClass[Any, Any, Any]] = List(inner1, inner2).map(OuterCaseClass.apply)
val outersFromInnersEx: List[OuterCaseClass[_, _, _]] = List(inner1, inner2).map(OuterCaseClass.apply)
def funPoly[I, E, O](occ: List[OuterCaseClass[I, E, O]]): Unit = ()
def funEx(occ: List[OuterCaseClass[_, _, _]]): Unit = ()

// This doesn't work, but why?
val u1 = funPoly(outersFromInnersEx)
val u2 = funEx(outersFromInnersEx)

注意，我在Scala 3中测试了这一点(在线尝试(，但在Scala 2中问题基本相同，尽管这个特定的例子在Scala 2中还有其他问题。

Answer 1

请注意，这两种类型非常不同：

def funPoly[I, E, O](occ: List[OuterCaseClass[I, E, O]]): Unit = ()
def funEx(occ: List[OuterCaseClass[_, _, _]]): Unit = ()

第一个能够处理OuterCaseClass对象的统一列表，其中每个对象的类型参数都相同。第二个可以处理OuterCaseClass对象的混合列表，其中每个对象的类型参数(可能(不同。

使类型参数协变"修复"了问题，因为List[OuterCaseClass[_, _, _]]等效于List[OuterCaseClass[Any, Any, Any]]，并且您可以简单地将funPoly的类型参数实例化为Any, Any, Any，使其接受funEx可以接受的任何内容。

一般来说，您可以将存在限定类型传递给多态函数。例如，这应该有效：

case class ListAndFunction[A](list: List[A], function: A => Int)
val a: ListAndFunction [_] = ListAndFunction[String](List("a"), _.length)
def mapFunction[A](a: ListAndFunction [A]): List[Int] =
a.list.map(a.function)
mapFunction(a)

Answer 2

这是关于类型方差的，您可以通过更改使funPoly工作

case class InnerCassClass[I, E, O](i: I, e: E, o: O)
case class OuterCaseClass[I, E, O](inner: InnerCassClass[I, E, O])

至

case class InnerCassClass[+I, +E, +O](i: I, e: E, o: O)
case class OuterCaseClass[+I, +E, +O](inner: InnerCassClass[I, E, O])