Question

有人可以解释为什么以下不起作用。当我toSet时，以某种方式失去编译类型推断的一些信息，但我不明白为什么。

scala> case class Foo(id: Int, name: String)
defined class Foo

scala> val ids = List(1,2,3)
ids: List[Int] = List(1, 2, 3)

scala> ids.toSet.map(Foo(_, "bar"))
<console>:11: error: missing parameter type for expanded function ((x$1) => Foo(x$1, "bar"))
              ids.toSet.map(Foo(_, "bar"))
                                ^

scala> ids.map(Foo(_, "bar")).toSet
res1: scala.collection.immutable.Set[Foo] = Set(Foo(1,bar), Foo(2,bar), Foo(3,bar))

Answer 1

假设我有以下内容：

trait Pet {
  def name: String
}

case class Dog(name: String) extends Pet

val someDogs: List[Dog] = List(Dog("Fido"), Dog("Rover"), Dog("Sam"))

Set在其类型参数中不具有协变性，但List是。List[Dog]。这意味着，如果我有一个List[Pet]我也有一个Set[Dog]，但Set[Pet] 不一个List。为方便起见，Scala允许您通过在Set上提供显式类型参数，在从toSet（或其他集合类型）到val a = ids.toSet; a.map(...)的转换过程中进行转发。当您编写ids.toSet.map(...)时，会推断出此类型参数，您就可以了。另一方面，当你写scala> val twoPetSet: Set[Pet] = someDogs.toSet.take(2) twoPetSet: Set[Pet] = Set(Dog(Fido), Dog(Rover))时，它没有被推断出来，而且你运气不好。

这允许以下工作：

scala> val allDogSet: Set[Dog] = someDogs.toSet
allDogSet: Set[Dog] = Set(Dog(Fido), Dog(Rover), Dog(Sam))

scala> val twoPetSet: Set[Pet] = allDogSet.take(2)
<console>:14: error: type mismatch;
 found   : scala.collection.immutable.Set[Dog]
 required: Set[Pet]
Note: Dog <: Pet, but trait Set is invariant in type A.
You may wish to investigate a wildcard type such as `_ <: Pet`. (SLS 3.2.10)
       val twoPetSet: Set[Pet] = allDogSet.take(2)
                                               ^

虽然这不是：

toSet

值得混淆吗？我不知道。但这有点意义，而且这是Collections API设计师为{{1}}做出的决定，所以我们一直坚持下去。

设置和输入推断

1 个答案: