[이펙티브 자바] Item10. equals는 일반 규약을 지켜 재정의하라. (추이성, 일관성, null-아님)

item10. equals는 일반 규약을 지켜 재정의하라. 

 

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

 

 

[이펙티브 자바] Item10. equals는 일반 규약을 지켜 재정의하라. (대칭성, 반사성, 추이성) (tistory.com)

[이펙티브 자바] Item10. equals는 일반 규약을 지켜 재정의하라. (대칭성, 반사성, 추이성)

 

equals 일반 규약 

1️⃣ 반사성

A.equals(A) == true 

 

2️⃣ 대칭성

A.equals(B) == B.equals(A) 

 

3️⃣ 추이성

A.equals(B) == B.equals(C) , A.equals(C) 

 

구체 클래스를 확장해 새로운 값을 추가하면서 equals 규약을 만족시킬 방법은 존재하지 않지만 괜찮은 우회 방법이 하나 있다. 

-> " 상속 대신 컴포지션을 사용하라!" 인데 Point를 상속하는 대신에 Point를 ColorPoint의 private 필드로 두고, ColorPoint와 같은 위치의 일반 Point를 반환하는 뷰 메서드를 public 으로 추가하는 식이다. 

 

// equals 규약을 지키면서 값 추가하기 -> 상속 대신 컴포지션을 사용하라!
public class ColorPoint
{
   private final Point point;
   
   private final Color color;
   
   public ColorPoint(int x, int y,  Color color)
   {
      this.point = new Point(x, y);
      this.color = Objects.requireNonNull(color);
   }
   
   // colorPoint의 Point 뷰를 반환한다.
   public Point asPoint()
   {
      return point;
   }
   
   @Override
   public boolean equals(Object obj)
   {
      if (!(obj instanceof ColorPoint)) {
         return false;
      }
      
      ColorPoint cp = (ColorPoint) obj;
      return cp.point.equals(point) && cp.color.equals(color);
   }
   
   @Override
   public int hashCode()
   {
      return 31 * point.hashCode() + color.hashCode();
   }
}

    public static void main(String[] args)
   {
      Point p1 = new Point(1, 0);
//    Point p2 = new CounterPoint(1, 0);
      Point p2 = new ColorPoint(1, 0, Color.RED).asPoint();
      
      System.out.println("onUnitCircle(p1) = " + onUnitCircle(p1)); // true 출력
      
      // true를 출력해야 하지만, Point의 equals가 getClass를 사용해 작성되었다면 false를 출력한다.
      System.out.println("onUnitCircle(p2) = " + onUnitCircle(p2));
   }

컴포지션으로 구현하고 asPoint를 통해 Point를 반환하도록하면  onUnitCirCle(p2)를 사용할 수 있고 해당 메서드를 실행해보면 true를 반환하는 것을 확인할 수 있다. 

 

 

4️⃣ 일관성 

: 일관성은 두 객체가 같다면(어느 하나 혹은 두 객체 모두 수정되지 않는 한) 앞으로도 영원히 같아야 한다는 뜻이다. 

가변 객체는 비교 시점에 따라 서로 다를 수도 혹은 같을 수도 있는 반면에 불변 객체는 한번 다르면 끝까지 달라야 한다. 

 

클래스가 불변이든 가변이든 equals 판단에 신뢰할 수 없는 자원이 끼어들게 해서는 안되는데 이 제약을 어기면 일관성 조건을 만족시키기가 굉장히 어렵다. 

예를 들어 java.net.URL의 equals는 주어진 URL과 매핑된 호스트의 IP 주소를 이용해 비교한다.

호스트 이름을 ip주소로 바꾸려면 네트워크를 통해야 하는데 그 결과가 항상 같다고 보장할 수 없다. 

// 일관성 위배 가능성이 있음.
// URL equals는 주어진 URL과 호스트의 ip 주소를 이용해 비교한다.
URL google1 = new URL("https", "about.google", "/products");
URL google2 = new URL("https", "about.google", "/products");
System.out.println("google1.equals(google2) = " + google1.equals(google2));

이는 URL의 equals가 일반 규약을 어기게 하고, 실무에서도 종종 문제를 일으킨다. 

이런 문제를 피하려면 equals는 항시 메모리에 존재하는 객체만을 사용한 결정적 계산만 수행해야 한다. 

 

 

5️⃣ null-아님

모든 객체가 null과 같지 않아야 한다.