toSet i typ wnioskowania

Question

Czy ktoś może wyjaśnić, dlaczego poniższe nie działa. W pewnym sensie tracę kompilację informacji na temat wnioskowania o typ, kiedy robię to, co robię, gdy robię toSet, ale nie rozumiem dlaczego.

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

Załóżmy mam następujące:

trait Pet { 
    def name: String 
} 

case class Dog(name: String) extends Pet 

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

Set nie kowariantna w jego parametr typu, ale List jest. Oznacza to, że jeśli mam List[Dog], mam także List[Pet], ale Set[Dog] jest a . Dla wygody, Scala pozwala na upcast podczas konwersji z List (lub innych typów kolekcji) na Set poprzez podanie jawnego parametru typu na toSet. Podczas pisania val a = ids.toSet; a.map(...), ten typ parametru jest wywnioskowany i wszystko w porządku. Z drugiej strony, kiedy piszesz ids.toSet.map(...), nie jest to wnioskowane i nie masz szczęścia.

Pozwala to dodaje do pracy:

scala> val twoPetSet: Set[Pet] = someDogs.toSet.take(2) 
twoPetSet: Set[Pet] = Set(Dog(Fido), Dog(Rover)) 

Chociaż nie:

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) 
              ^

Czy to warte zamieszania? Nie wiem Ale to ma sens, i to jest decyzja, którą projektanci kolekcji API wykonali dla toSet, więc utknęliśmy z tym.