scala eccezione in per-comprensione con annotazione tipo

Question

Sto cercando di capire quello che sembra strano comportamento quando si tratta di null e digitare annotazioni all'interno di una comprensione.

Per fare un esempio:

def f(): String = null 

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

risultati nella attesi:

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

tuttavia, se posso aggiungere un tipo di annotazione al tipo di b

def f(): String = null 

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

allora ottengo un'eccezione di runtime:

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

Perché ciò accade? Ilnon è implicito nel tipo String nel primo esempio? Che cosa cambia l'annotazione del tipo esplicito nel secondo esempio?

(Nota, esempi sono stati eseguiti in Scala 2.11.4)

Answer 1

null non è un esempio di tutto ciò:

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

Tipo pattern specifica non nullo.

Un trucco per mostrare la traduzione è di commentare spettacolo:

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