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

它是关于类型差异的，您可以通过更改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])

Answer 2

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

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

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

使类型参数协变“修复”了这个问题，因为< code>List[OuterCaseClass[_，_，_]]相当于< code>List[OuterCaseClass[Any，Any，Any]]，您可以简单地将< code>funPoly的类型参数实例化为< code>Any，Any，Any，使其接受< code>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)