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

비검사 (unchecked) 경고란?

• 컴파일러가 타입 안정성을 확인하는데 필요한 정보가 충분치 않을 때 발생시키는 경고
• checked/unchecked exception이랑은 관련 없다.
• 비검사 형변환 경고, 비검사 메서드 호출 경고, 비검사 매개변수화 가변인수 타입 경고, 비검사 변환 경고, …

Set names = new HashSet();

Raw 타입을 사용하여 비검사 경고가 발생한다.

 

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

모두 제거한다면 그 코드는 타입 안정성이 보장된다.

 

경고를 제거할 수 없지만 안전하다고 확신한다면 @SuppressWarnings(”unchecked”) 애노테이션을 달아 경고를 숨기자

안전하다고 검증된 비검사 경고를 숨기지 않고 그대로 두면, 진짜 문제를 알리는 새로운 경고가 나와도 눈치채지 못할 수 있다.

 

@SuppressWarnings 애터테이션은 항상 가능한 한 좁은 범위에 적용하자

개별 지역 변수 선언부터 클래스 전체까지 어떤 선언에도 달 수 있다.

@Target({TYPE, FIELD, METHOD, PARAMETER, CONSTRUCTOR, LOCAL_VARIABLE, MODULE})
@Retention(RetentionPolicy.SOURCE)
public @interface SuppressWarnings {
    String[] value();
}

보통은 변수 선언, 아주 짧은 메서드, 혹은 생성자가 될 것이다. 자칫 심각한 경고를 놓칠 수 있으니 절대로 클래스 전체에 적용해서는 안 된다.

public <T> T[] toArray(T[] a) {
    if (a.length < size) {
        @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;
}

 

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

다른 사람이 그 코드를 이해하는 데 도움이 되며, 더 중요하게는, 다른 사람이 그 코드를 잘못 수정하여 타입 안전성을 잃는 상황을 줄여준다.

public <T> T[] toArray(T[] a) {
    if (a.length < size) {
        /**
         * 이 애노테이션을 왜 여기서 선언했는지 주석으로 남겨야 한다.
         */
        @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;
}