왜 형식 오류가 발생하지 않습니까?

Question

의 경우 (String, String)이 Pair이 아니기 때문에이 유형에 오류가 발생할 것으로 예상됩니다.

대신 false를 입력하면 런타임에 다음 오류가 발생합니다.

scala.MatchError: (foo,bar) (of class scala.Tuple2) 

나는 해체 그것에 일치를 입력 한 다음 Any의 변수에 결과를 할당하고 단지 설탕 겠지,하지만 스칼라는이 비행을 할 수 있습니다 불행한 것 같다.

Answer 1

이 코드를 scalac -print과 함께 컴파일하면 어떤 현상이 나타납니다. 당신이 정확하게 가정 할 때, 그것은 패턴 매칭을위한 단지 통사론적인 설탕입니다. 실제로 케이스 클래스는 Tuple2의 수퍼 클래스 인 코드를 컴파일하는 Product를 확장합니다.

val temp6: Product = if (value) 
     new Main$Pair("foo", "bar") 
    else 
     new Tuple2("foo", "bar"); 

을 그리고 패턴 매칭이 적용된다 그것에 : 당신의 가치는 유형 제품의 변수에 할당됩니다

if (temp6.$isInstanceOf[Main$Pair]()) 
{ 
    <synthetic> val temp7: Main$Pair = temp6.$asInstanceOf[Main$Pair](); 
    new Tuple2(temp7.x(), temp7.y()) 
} 
else 
    throw new MatchError(temp6) 

을 그러나 nontheless이 이럴 컴파일해서는 안된다. 이것을 스칼라 메일 링리스트에 게시해야합니다.