Java의 계약 확인 - 내장? 예 : 해시 코드/동등한

Question

예 : Java의 기본 계약 확인이 있습니까? 해시 코드와 equals 함수 사이의 계약?

이 질문에 대해서는 hashcode/equals 계약을 예로 들겠습니다.하지만 저는 일반적으로 계약 체킹에 관심이 있습니다. 나는 같고 해시 코드가 자바에서 "계약"만족해야하는 여러 장소에서 읽고 :

• 같음이
• 동일 개체를 반복 호출에 일치해야합니다 또한 equivalence relation의 세 가지 규칙을 준수해야합니다은 동일한 해시 코드를 의미한다

나는 조건을 이해하며, 나에게 의미가있다. 그러나 궁금한 점은 개발자가 버그 코드를 작성하지 않겠다는 본질적으로 강력한 가이드 라인이 종이에 적혀있는 것인가 아니면 컴파일 타임 또는 런타임 예외로 Java에서 발견 할 수있는 것인지 궁금합니다.

Answer 1

컴파일 타임에는 적용되지 않습니다.

일부 클래스는 런타임에 동작을 적용 할 수 있습니다. 예를 들어, 동일한 두 객체가 동일한 해시 코드를 갖거나 예외를 보내는 지 확인하는 메소드를 작성할 수 있습니다.

또한 권장 계약에서 벗어나는 경우가 있습니다.

Answer 2

그것은 아니다 (그리고 할 수 없음) 컴파일 또는 런타임 (명시 적으로 확인하는 경우를 제외하고 자동으로 잡은

간단한 카운터 예 :. 그것을하는 것이 좋습니다 그러나

public boolean equals(Object other){ 
    return new Random().nextInt(3) == new Random().nextInt(3); 
} 

public int hashCode() { 
    return new Random().nextInt(3); 
} 

이러한 계약을 검사하는 단위 테스트를 생성합니다. 심하게 구현 된 equals/hashcode를 사용하여 발견하기 어려운 버그가 발생했습니다.