[Effective Java] 아이템 27 - 비검사 경고(unchecked warning)를 제거하라

 

다양한 컴파일러 경고(≒ 비검사 경고)

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

제네릭에 익숙해질수록 마주치는 경고는 줄겠지만 새로 작성한 코드가 한번에 깨끗하게 컴파일되리라 기대하지는 말자

 

잘못된 코드의 예시)

Set<String> set = new HashSet();

그러면 컴파일러는 무엇이 잘못됐는지 친절히 설명해줄 것이다.(javac 명령줄 인수에 -Xlint:uncheck 옵션을 추가해야 한다.)

Venery.java:4: warning: [unchecked] unchecked conversion
		Set<Lark> exaltation = new HashSet(); 					
                          		 ^
	required: Set<Lark>
    	found:	  HashSet

컴파일러가 알려주는 대로 수정하면 경고가 사라진다.

사실 컴파일러가 알려준 타입 매개변수를 명시하지 않고, 자바 7부터 지원하는 다이아몬드 연산자(<>)만으로 해결할 수 있다.

그러면 컴파일러가 올바른 실제 타입 매개변수(Lark)를 추론해준다.

Set <Lark> exaltation = new HashSet<>();

 

제거하기 훨씬 어려운 경고도 있지만, 그렇다고 해서 포기하지 말아야 한다.

 

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

• 코드의 타입 안정성이 보장된다.
• 런타임에 ClassCastException이 발생할 일이 없고, 여러분이 의도한 대로 잘 동작하리라 확신할 수 있다.
• 경고를 제거할 수는 없지만 타입 안전하다고 확신할 수 있다면 @Suppress Warnings("unchecked") 애너테이션을 달아 경고를 숨기자.(단, 타입 안전함을 검증하지 않은 채 경고를 숨기면 이후에 더 큰 문제가 발생할 수 있으니 확실하게 검증해야 한다.)

 

@Suppress Warnings

 

• @SuppressWarnings 애너테이션은 개별 지역변수 선언부터 클래스 전체까지 어떤 선언에도 달 수 있다.
• 하지만 @SuppressWarnings 애너테이션은 항상 가능한 한 좁은 범위에 적용하도록 해야한다.
  • 보통은 변수선언, 아주 짧은 메서드, 혹은 생성자가 될 것이다.
  • 심각한 경고를 놓치는 일이 없도록 해야하며, 따라서 절대로 클래스 전체에 적용해서는 안 된다.

ArrayList.toArray() 예시

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

 

ArrayList를 컴파일하면 아래와 같은 경고가 발생한다.

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

애너테이션은 선언에만 달 수 있기 때문에 return 문에는 @SuppressWarnings를 다는 게 불가능하다.
메서드 전체에 애너테이션을 달 수도 있지만, 범위가 필요 이상으로 넘어갈 수 있으니 최대한 자제해야 한다.

해결책) 반환값을 담을 지역변수를 하나 선언하고 그 변수에 애너테이션을 달자.

지역변수를 추가해 @SuppressWarnings의 범위를 좁힌 코드

public class ArrayList<E> extends AbstractList<E> implements List<E>, RandomAccess, Cloneable, java.io.Serializable {
    // ...

    public <T> T[] toArray(T[] a) {
        if (a.length < size) {
            // 생성한 배열과 매개변수로 받은 배열의 타입이 모두 T[]로 같으므로 올바른 형변환이다.
            @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;
    }

    // ...
}​

이 코드는 깔끔하게 컴파일되고 비검사 경고를 숨기는 범위도 최소로 좁혔다.

 

• @Suppress Warnings("unchecked") 애너테이션을 사용할 때면 그 경고를 무시해도 안전한 이유를 항상 주석으로 남겨야 한다. (다른 사람이 그 코드를 이해하는데 도움이 되고 또한 그 코드를 잘못 수정하여 타입 안전성을 잃는 상황을 줄여준다.)