CH9-4 · MODEL

Object 메서드의 계약의 성공과 실패 증거

동일한 code를 가진 두 객체가 같은 hashCode와 equals 결과를 제공해 Set에 하나만 남습니다.

성공 출력

관찰 가능한 결과

true / 1

실패 경계

왜 실패하는가

동일한 code를 가진 두 객체가 같은 hashCode와 equals 결과를 제공해 Set에 하나만 남습니다.

선택 기준

코드에 남길 계약

Object 메서드는 자동으로 존재하지만 값 타입을 만들 때는 동등성, 해시, 진단 표현을 하나의 계약으로 설계해야 합니다.

관찰 증거 Object 메서드는 자동으로 존재하지만 값 타입을 만들 때는 동등성, 해시, 진단 표현을 하나의 계약으로 설계해야 합니다.