equals 메서드를 재정의하지 않는 것이 좋은 경우

1. 각 인스턴스가 본질적으로 고유하다.

   • 값을 표현하는 경우가 아니라 동작하는 개체를 표현하는 클래스인 경우 (ex. Thread)

     → 그에 맞게 equals가 구현되어 있음

2. 인스턴스의 논리적 동치성을 검사할 일이 없다.

   • 객체가 의미적으로 같은지를 판단할 필요가 없다면 구현하지 않아도 됨

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

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

   • package-private이면 같은 패키지에서만 접근 가능하므로, 이 안에서 equals메서드를 호출할 일이 없다면 재정의할 필요가 없다는 뜻

   • equals가 실수로 호출되는 것을 막는 방법

     @Override public boolean equals(Object e){
     	throw new AssertionError();
     }
     

equals 메서드를 재정의하는 경우

객체의 논리적 동치성을 확인해야 하는데 상위 클래스가 equals가 논리적 동치성을 비교하도록 재정의되어있지 않을 때

• 값 클래스
  • 값을 표현하는 클래스들의 경우 객체가 같은지가 아니라 값이 같은 지를 알고 싶은 경우 equals 재정의하여 사용
  • 값 클래스더라도 같은 인스턴스가 둘 이상 만들어지지 않음이 보장되면 재정의할 필요 없음 (ex. Enum) → 어짜피 논리적 동치성과 객체 식별성이 같은 의미가 되기 때문

equals 메서드의 일반 규약

• equals 메서드는 동치관계를 구현하며, 다음을 만족함
• 수많은 클래스들이 이 규약을 지킨다고 가정하고 동작하기 때문에 이 규약을 어기면 프로그램이 이상하게 동작할 수 있음

1. 반사성: null이 아닌 모든 참조 값 x에 대해, x.equals(x)는 true다.

• 객체는 자기 자신과 같아야 함

2. 대칭성: null이 아닌 모든 참조 값 x,y에 대해 x.equals(y)가 true이면 y.equals(x)도 true다.

• 두 객체에 대한 동치 여부에 똑같이 답해야 함

• 잘못된 구현 예시

  // 대칭성을 위반한 클래스
  public final class CaseInsensitiveString{
    private final String s;
  
    public CaseInsensitiveString(String s){
      this.s = Obejcts.requireNonNull(s);
    }
  
    // 대칭성 위배!
    @Override public boolean equals(Object o){
      if(o instanceof CaseInsensitiveString)
        return s.equalsIgnoreCase(((CaseInsensitiveString) o).s);
      if(o instanceof String) // 한방향으로만 작동한다.
        return s.equalsIgnoreCase((String) o);
      return false;
    }
  }
  
  ////호출하는 코드
  CaseInsensitiveString cis = new CaseInsensitiveString("Polish");
  String s = "polish";
  
  cis.equals(s); // true
  s.equals(cis); // false
  

  • String에서는 CaseInsensitiveString의 존재를 모르기 때문에 대칭성을 위반하게 됨

  • 해결 방법

    //대칭성을 만족하게 수정
    @Override public boolean equals(Object o){
      return o instanceof CaseInsensitiveString && ((CaseInsensitiveString) o).s.equalsIgnoreCase(s); 
    }
    

    → CaseInsensitiveString 끼리만 비교하도록 한다.

3. 추이성: null이 아닌 모든 참조 값 x,y,z에 대해 x.equals(y)가 true이고, y.equals(z)도 true이면 x.equals(z)도 true이다.