0

在下面的示例中，我想知道为什么funPoly不能接受存在量化类型 value 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 中存在其他问题。

4

2 回答 2

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])
于 2021-12-02T01:49:22.780 回答
2

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

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

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

使类型参数协变“修复”了问题，因为 thenList[OuterCaseClass[_, _, _]]等价于List[OuterCaseClass[Any, Any, Any]]，并且您可以简单地实例化funPolys 类型参数以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)
于 2021-12-02T03:04:52.110 回答