이펙티브 자바 - item 27. 비검사 경고를 제거하라

item 27. 비검사 경고를 제거하라

이펙티브 자바 - item 27. 비검사 경고를 제거하라

비검사 경고의 종류

제네릭을 사용하면 수많은 컴파일러 경고를 만나게 된다.

  • 비검사 형변환 경고
  • 비검사 메서드 호출 경고
  • 비검사 매개변수화 가변 인수 타입 경고
  • 비검사 변환 경고

할 수 있는 모든 비검사 경고를 제거하라

비검사 경고를 제거하면 타입안전성을 보장할 수 있다. 즉 런타임에 ClassCastException이 발생할 일이 없다.

경고를 제거할 수는 없지만 타입 안전하다고 확신 할 수 있다면 @SuppressWarnings("unchecked") 애너테이션으로 경고를 숨길 수 있다.

경고를 숨길 수 는 있지만 런타임 환경에 ClassCastException을 던질 수 있다.

@SuppressWarnings("uncheckd")는 개별 지역변수 선언부터 클래스 전체까지 어떤 선언에도 달 수 있지만 가능한 한 좁은 범위에 적용해야 한다. 보통은 변수 선언, 아주 짧은 메서드, 생성자에 적용한다.

public <T> T[] toArray(T[] a) {
    if (a.length < size) {
        // Make a new array of a's runtime type, but my contents:
        @SuppressWarnings("unchecked") T[] result = (T[]) Arrays.copyOf(elementData, size, a.getClass());
        return result;
    }
    System.arraycopy(elementData, 0, a, 0, size);
    if (a.length > size)
        a[size] = null;
    return a;
}

@SuppressWarnings("unchecked") 애너테이션을 사용할 때면 그 경고를 무시해도 안전한 이유를 항상 주석으로 남겨야한다.

정리

비검사 경고를 무시하면 런타임 환경에서 ClassCastException이 일어날 수 있으니 최대한 없애야 한다.

만약 경고를 없앨 방법을 찾지 못했다면, 그 코드가 안전함을 증명하고 가능한 한 범위를 좁혀 @SuppressWarnings("unchecked") 애너테이션으로 경고를 숨기고 경고를 숨기로한 근거를 주석으로 남겨야한다.