toSet और टाइप करें अनुमान

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 अपने प्रकार पैरामीटर में covariant नहीं है, लेकिन List है। इसका मतलब है कि अगर मेरे पास List[Dog] है तो मेरे पास List[Pet] भी है, लेकिन Set[Dog]Set[Pet] नहीं है। सुविधा के लिए, स्कैला आपको पर एक स्पष्ट प्रकार पैरामीटर प्रदान करके (या अन्य संग्रह प्रकार) से Set पर रूपांतरण के दौरान उथल-पुथल करने की अनुमति देता है। जब आप 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 के लिए बनाया गया निर्णय है, इसलिए हम इसके साथ अटक गए हैं।