为什么多态函数不能接受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])