Wyjątek scala w zrozumieniu z adnotacją typu

Question

Próbuję zrozumieć, co wydaje się dziwne zachowanie, gdy mamy do czynienia z wartościami null i adnotacje typu wewnątrz pojęcia for-understand.

Jako przykład:

def f(): String = null 

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

skutkuje oczekiwana:

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

jednak, jeśli dodać typ adnotacji do rodzaju b

def f(): String = null 

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

potem dostać wyjątek środowiska wykonawczego:

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

Dlaczego tak się dzieje? Czy w pierwszym przykładzie nie jest to typ ? Co zmienia adnotacja typu jawnego w drugim przykładzie?

(Uwaga, przykłady przeprowadzono w Scala 2.11.4)

Answer 1

null nie jest instancją wszystkiego:

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

Rodzaj wzór określa niezerowe.

Jeden trick za pokazanie tłumaczenie jest komentarz Pokaż:

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