Item40 - @Override 애너테이션을 일관되게 사용하라

2023. 12. 17. 14:24Book/이펙티브 자바

 

@Override는 메서드 선언에만 달 수 있으며, 이 애너테이션이 달렸다는 것은 상위 타입의 메서드를 재정의했음을 뜻한다. 이 애너테이션을 일관되게 사용하면 여러가지 버그를 예방해준다.

 

다음 클래스에서 버그를 찾아보자

public class Bigram {
    private final char first;
    private final char second;

    public Bigram(char first, char second) {
        this.first = first;
        this.second = second;
    }

    public boolean equals(Bigram b) {
        return b.first == first && b.second == second;
    }

    public int hashCode() {
        return 31 * first + second;
    }

    public char getFirst() {
        return first;
    }

    public char getSecond() {
        return second;
    }

    public static void main(String[] args) {
        Set<Bigram> s = new HashSet<>();
        for (int i = 0; i < 10; i++)
            for (char ch = 'a'; ch <= 'z'; ch++)
                s.add(new Bigram(ch, ch));

        System.out.println(s.size())
    }
}

=> 260

 

Set은 중복을 허용하지 않아 26개가 출력될 것 같지만 그렇지 않다.

Bigram 작성자는 equals 메서드를 재정의하려 한 것으로 보이고 hashCode도 함께 재정의했다.

문제는 equals 메서드가 오버라이딩이 아닌 오버로딩 됬다.

Object의 equals는 객체 식별성만을 판단하므로 같은 소문자를 소유한 바이그램 10개 각각이 서로 다른 객체로 인식된것이다.

 

@Override
public boolean equals(Bigram b) {
    return b.first == first && b.second == second;
}

 

위처럼 @Override를 붙이면 컴파일 오류가 발생한다. 잘못한 부분을 명확히 알려주므로 곧장 올바르게 수정할 수 있다.

@Override
public boolean equals(Object o) {
    if (!(o instanceof Bigram)) return false;
    Bigram b = (Bigram) o;
    return b.first == first && b.second == second;
}