型の注釈での理解のためのスカラーの例外

Question

for-comprehensionの中でnullsと型の注釈を扱うときに、奇妙な動作のように思えるものを理解しようとしています。一例として、

：期待で

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暗黙のうちにタイプStringではありませんか？ 2番目の例の明示的な型アノテーションは何を変更しますか？

（注意、例はScalaの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

タイプパターンがnull以外を指定します。

翻訳を示すための1つのトリックはショーをコメントすることです：

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