[아이템 27] 비검사 경고를 제거하라

[Why]

• 할 수 있는 한 모든 비검사 경고를 제거하라.
  • 제네릭을 사용하기 시작하면 수많은 컴파일러 경고를 보게 될 것이다.
  • 모두 제거한다면 그 코드는 타입 안정성이 보장된다!

 

[How]

• 경고를 제거할 수는 없지만 타입 안전하다고 확신할 수 있다면 @SuppressWarnings("unchecked") 애너테이션을 달아 경고를 숨기자.
  • 경고없이 컴파일될 수는 있지만, 런타임에 여전히 ClassCastException을 던질 수 있다.
  • 경고를 무시해도 안전한 이유를 항상 주석으로 남겨야 한다.
  • 한편, 안전하다고 검증된 비검사 경고를 숨기지 않고 그대로 두면, 진짜 문제를 알리는 새로운 경고가 나와도 파묻힐 수 있다.
• @SuppressWarnings 애너테이션은 항상 가능한 한 좁은 범위에 적용하자.
  • 심각한 경고를 놓칠 수 있으니 절대로 클래스 전체에 적용해서는 안 된다.

public <T> T[] toArray(T[] a) {
    if (a.length < size) {
        return (T[]) Arrays.copyOf(elements, size, a.getClass());
    }
    System.arraycopy(elements, 0, a, 0, size);
    if (a.length > size) {
        a[size] = null;
    }
    return a;
}

ArrayList의 toArray 메서드이다.

ArrayList를 컴파일하면 이 메서드에서 다음 경고가 발생한다. 

ArrayList.java:305: warning: [unchecked] unchecked cast
        return (T[]) Arrays.copyOf(elements, size, a.getClass());
                                   ^
    required: T[]
    found:    Object[]

애너테이션은 선언에만 달 수 있기 때문에 return문에는 @SuppressWarnings를 다는 게 불가능하다.

메서드 전체에 달고 싶겠지만 범위가 너무 넓어지므로, 반환값을 담을 지역변수를 하나 선언하고 그 변수에 애너테이션을 달아주자.

public <T> T[] toArray(T[] a) {
    if (a.length < size) {
        // 생성한 배열과 매개변수로 받은 배열의 타입이 모두 T[]로 같으므로 올바른 형변환이다.
        @SuppressWarnings("unchecked") 
        T[] result = (T[]) Arrays.copyOf(elements, size, a.getClass());
        return result;
    }
    System.arraycopy(elements, 0, a, 0, size);
    if (a.length > size) {
        a[size] = null;
    }
    return a;
}