equals는 일반 규약을 지켜 재정의하라(1) - [3장. 모든 객체의 공통 메서드(아이템10)]

  꼭 필요한 경우가 아니면 equals를 재정의하지 말자. equlas 메서드는 재정의하기 쉬워 보이지만 곳곳에 함정이 도사리고 있어서 자칫하면 끔찍한 결과를 초래하기 때문이다. 이번 글에서는 'equals를 재정의 하지 않아도 되는 4가지 상황'과 '만약 equals 재정의를 해야 한다면, 만족해야 하는 5가지 규약'에 대해서 알아볼 것이다. 

 

 

1. 재정의 하지 않아도 되는 4가지 상황 🚩

1. 각 인스턴스가 본질적으로 고유한 경우 🌴

  싱글톤, ENUM 등 각 인스턴스가 본질적으로 고유한 경우 equals를 재정의 하지 않아도 된다. 

 

2. 인스턴스의 '논리적 동치성(logical equality)'을 검사할 일이 없는 경우 🌴

  설계자가 논리적 동치성 방식을 원하지 않거나 애초에 필요하지 않다고 판단하는 경우 Object의 기본 equals를 사용하자.

 

3. 상위 클래스에서 재정의한 equals가 하위 클래스에도 딱 들어맞는 경우 🌴

  예를 들자면, 대부분의 Set 구현체는 AbstractSet이 구현한 equals를 상속받아 쓰고, List 구현체들은 AbstractList로부터, Map 구현체들은 Abstractmap으로부터 상속받아 equals를 그대로 쓴다.

 

4. 클래스가 private이거나 package-private이고 equals 메서드를 호출할 일이 없는 경우 🌴

 

2. equals를 재정의할 때, 만족해야 하는 5가지 규약⚠

  우선, equals를 재정의해야 하는 상황을 알아보자. 객체 식별성(object identity; 두 객체가 물리적으로 같은가)이 아니라 논리적 동치성을 확인해야 하는데, 상위 클래스의 equals가 논리적 동치성을 비교하도록 재정의되지 않았을 때 equals를 재정의 해야 한다.

  equals 메서드를 재정의할 때는 반드시 아래의 일반 규약을 따라야 한다. 

• 반사성(reflexivity)
  null이 아닌 모든 참조 값 x에 대해, x.equals(x)는 true다.
  A.equals(A) == true
  
  
• 대칭성(symmetry)
  null이 아닌 모든 참조 값 x, y에 대해, x.equals(y)가 true면 y.equals(x)도 true다.
  A.equals(B) == B.equals(A)
  
  
• 추이성(transitivity)
  null이 아닌 모든 참조 값 x, y, z에 대해 x.equals(y)가 true이고 y.equals(z)도 true면 x.equals(z)도 true다.
  A.equals(B) && B.equals(C), A.equals(C)
  
  
• 일관성(consistency)
  null이 아닌 모든 참조 값 x, y에 대해, x.equals(y)를 반복해서 호출하면 항상 true를 반환하거나 항상 false를 반환한다.
  A.equals(B) == A.equals(B)
  
  
• null-아님
  null이 아닌 모든 참조 값 x에 대해, x.equals(null)은 false다.
  A.equals(null) == false
  
  

  다음 글에서는 5가지 규약에 대해서 조금 더 상세하게 살펴보도록 하자. 

 

해당 글은 백기선 님의 '이펙티브 자바 완벽 공략'을 수강하고 작성한 것입니다.