클래스 캐스트 예외 ("=="재정의)

Question

이 우리의 응용 프로그램에서 무슨 일이 일어나고 있는지의 단순화 된 코드입니다 .String은 java.lang.Boolean으로 캐스팅 될 수 없습니다.

나는 잘못된 것을하고 있지만 무엇을 이해하지 못한다는 것을 알고 있습니다.

편집

나는 변경하여 코드를 수정했습니다 :

class First { def ==(first:First)= true} 

을 지금 REPL의 오류는 다음과 같습니다

error: type mismatch; 
found : First(in object $iw) 
required: First(in object $iw) 
     Second(new First) == Second(new First) 

더욱 예상치 못한 나에게 :

\

업데이트 두 번째 예제는 내 잘못입니다. REPL에서 클래스 First를 대화식으로 변경하여 이상한 결과를 초래했습니다. 처음부터 시작 그것은 작동합니다. 여전히 첫 번째 ...

Answer 1

Second이 경우 클래스이며 사용자 정의 equals 방법을 정의하거나 상속하지 않기 때문에, Second#equals에 대해 생성 된 코드는 ==(First) 아닌 것

override def equals(x: Any): Boolean = x match { 
    case x: Second => first == x.first 
    case _ => false 
} 

첫 번째 지점의 ==과 같아야합니다 평범한 ==(Any), 왜냐하면 그것은 더 특정한 오버로드이기 때문입니다. 따라서 "Second"을 선언 할 때 컴파일 오류가 발생합니다.

그러나 스택 추적에서 컴파일러가 어딘가에 대신 (x match ...).asInstanceOf[Boolean] 또는 (first == x.first).asInstanceOf[Boolean] 중 하나를 삽입하는 것으로 보입니다. 솔직하게 말해서, 나는 이것이 왜 이렇게 쓰여질 지 이유를 정말로 생각할 수 없다. 그러나 이로 인해 Second 컴파일하고 나중에 호출이 실패합니다.

Answer 2

== 연산자를 재정의하지 마십시오.이 연산자는 scala 컴파일러에서 Java의 Object.equals 메소드와 비슷한 의미로 제공됩니다. 이것이 항상 부울을 반환하는 이유입니다. 그래서 당신이 자신의 연산자를 구현할 때 scala가 결과를 부울로 캐스팅하려한다고 가정합니다.

Answer 3

업데이트 된 버전 (부울을 반환하는 ==)이 유용합니다.

이상한 오류의 원인은 REPL에서 시도한 것이므로 First 클래스를 다시 정의했지만 Second은 다시 정의하지 않았기 때문일 수 있습니다.

REPL은 스칼라에서는 일반적으로 불가능한 클래스와 변수를 다시 정의 할 수있는 몇 가지 속임수를 사용하므로 기본적으로 First이라는 두 가지 버전이 있고 결국 Second 정의는 여전히 이전 버전을 참조하지만 사용자가 보내는 버전 new First()으로 생성자에 새로운 것은 - 따라서 불일치입니다.

Second 클래스를 다시 정의하면 다시 작동합니다.

== BTW를 다시 정의하는 데 많은 잘못은 없지만 같은 경우 효과가있는 경우 equals을 재정의하는 것이 더 일반적입니다. ==의 기본 구현은 equals을 호출하기 때문에 하나의 문제는 하위 사용자가 서브 클래스 중 하나에서 equals을 무시하고 예상 한대로 처리하지 못한다는 것입니다.