टाइप एनोटेशन

Question

के साथ समझ के लिए स्कैला अपवाद मैं समझने की कोशिश कर रहा हूं कि नल के साथ व्यवहार करते समय अजीब व्यवहार की तरह क्या लगता है और समझ के भीतर एनोटेशन टाइप करें।

एक उदाहरण के रूप:

में

def f(): String = null 

for { 
    a <- Option("hello") 
    b = f() 
} yield (a, b) 

परिणाम की उम्मीद:

//> res0: Option[(String, String)] = Some((hello,null)) 

लेकिन, अगर मैं तो मैं b

def f(): String = null 

for { 
    a <- Option("hello") 
    b: String = f() 
} yield (a, b) 

के प्रकार के लिए एक प्रकार का टिप्पणी जोड़ने रनटाइम अपवाद:

//> scala.MatchError: (hello,null) (of class scala.Tuple2) 

ऐसा क्यों होता है? वैसे भी पहले उदाहरण में टाइप b नहीं है? दूसरे उदाहरण में स्पष्ट प्रकार एनोटेशन क्या बदलता है?

(ध्यान दें, उदाहरण स्काला 2.11.4 में चला गया)

Answer 1

null कुछ भी का एक उदाहरण नहीं है:

scala> (null: String) match { case _: String => } 
scala.MatchError: null 
    ... 33 elided 

scala> val s: String = null 
s: String = null 

scala> s.isInstanceOf[String] 
res1: Boolean = false 

http://www.scala-lang.org/files/archive/spec/2.11/08-pattern-matching.html#type-patterns

प्रकार पैटर्न में गैर-शून्य निर्दिष्ट करता है।

अनुवाद दिखाने के लिए एक चाल टिप्पणी करने के लिए शो है:

scala> for { 
    | a <- Option("hello") 
    | b: String = f() 
    | } yield (a, b) // show 
object $read extends scala.AnyRef { 
    def <init>() = { 
    super.<init>; 
    () 
    }; 
    object $iw extends scala.AnyRef { 
    def <init>() = { 
     super.<init>; 
    () 
    }; 
    import $line4.$read.$iw.$iw.f; 
    object $iw extends scala.AnyRef { 
     def <init>() = { 
     super.<init>; 
     () 
     }; 
     val res1 = Option("hello").map(((a) => { 
     val b: String = f; 
     scala.Tuple2(a, b) 
     })).map(((x$1) => x$1: @scala.unchecked match { 
     case scala.Tuple2((a @ _), (b @ (_: String))) => scala.Tuple2(a, b) 
     })) 
    } 
    } 
} 
scala.MatchError: (hello,null) (of class scala.Tuple2) 
    at $anonfun$2.apply(<console>:10) 
    at $anonfun$2.apply(<console>:10) 
    at scala.Option.map(Option.scala:145) 
    ... 39 elided