형식 주석이있는 이해를위한 스칼라 예외

Question

null을 사용하고 이해를 위해 입력 주석을 처리 할 때 이상한 동작이 무엇인지 이해하려고합니다. 예를 들어

는 :에

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.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이 아닌 지정합니다.

번역을 보여주는 하나의 트릭 쇼를 언급하는 것입니다

:

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