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

1. 제네릭 컴파일 경고

제네릭을 사용하다보면, 수 많은 컴파일 경고를 보게 될 것이다. 비검사 형변환 경고, 비검사 메서드 호출 경고, 비검사 매개변수화 가변인수 타입 경고, 비검사 변환 경고... 등등 수 많은 경고들이 있다.

대부분의 비검사 경고는 쉽게 제거할 수 있기 때문에, 가능한 모든 비검사 경고를 제거하자.

예시로, 코드를 아래처럼 잘못 작성했다고 가정해보자.

Set<Lark> exaltation = new HashSet();

무엇이 잘못되었을까? 경고를 통해 살펴보자.

Item27.java:10: warning: [unchecked] unchecked conversion
        Set<String> mySet = new HashSet();
                            ^
  required: Set<String>
  found:    HashSet
1 warning

컴파일러가 명시해준 것 처럼 타입 매개변수를 명시하지 않고 <> 다이아몬드 연산자만 활용해도, String 을 컴파일러가 추론해준다. 

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

 

2. @SuppressWarnings("unchecked")

경고를 제거할 수는 없지만, 타입이 안전하다고 확신할 수 있으면 @SuppressWarnings("unchecked") 애너테이션을 달아 경고를 숨기자. 런타임에선 여전히 ClassCastException 을 던지겠지만, 경고 없이 컴파일이 될 것이다.

@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[]
1 warning

메서드 전체에 달지 말고, 범위가 너무 넓어지니 반환값을 담을 지역변수를 새로 생성하고, 그 변수에 애너테이션을 달아주자.

public <T> T[] toArray(T[] a) {
        if (a.length < size) {
            @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") 애너테이션을 사용하면서, 그 경고를 무시해도 되는 이유를 항상 주석으로 남기자. 다른 사람이 이해할 수 있는 코드를 작성하고, 수정으로 인한 타입 안정성을 유지못하는 일이 발생하지 않도록 주의를 기울이자.

실제로는 함수 자체에 붙어있는 모습..