비검사는 자바 컴파일러가 type-safe를 보장하기 위해서 필요한 타입정보가 충분히 존재하지 않다는 것을 뜻한다.
기본적으로 자바 컴파일러는 비검사 경고를 활성화하지 않으며 이를 위해서는 컴파일러에 -Xlint:uncheck 옵션을 주어야한다.
public class Item27 { public static void main(String[] args) { Set<String> set_1 = new HashSet(); Set<String> set_2 = new HashSet<>(); // 자바 7부터 다이아몬드 연산자로 해결가능 }}
인스턴스로 생성한 HashSet을 Raw 타입으로 사용하고 있기 때문에 나타나는 비검사 경고이다.
이를 해결하기 위해서는 자바7부터 지원하는 다이아몬드 연산자<>를 통해 해결할 수 있다.
제네릭을 사용하게 되면서 만나게 되는 컴파일러 경고
비검사 변환 경고
아래의 예시를 보면 반환타입이 Raw 타입으로 되어있다. 따라서 호출하는 곳에서는 아래와 같은 경고를 확인할 수 있다.
public class Item27 {
public static void main(String[] args) {
List<String> elements = getElements();
}
private static List getElements() {
return new ArrayList<String>();
}
}
비검사 형변환 경고
비검사 변환 경고에서 발생한 문제를 강제로 형변환을 통해 해결해보려 한다면 아래와 같은 경고를 확인할 수 있다.
이 경우에는 자바 컴파일러가 List의 제네릭 타입을 String으로 정할 수 있는 방법이 없기 때문이다.
type erasure때문인 것 같다. 제네릭은 타입 정보가 소거가 되기 때문에 알 수 없어서 나타나는 경고인 것 같다.
public class Item27 {
public static void main(String[] args) {
List<String> elements = (List<String>) getElements();
}
private static List getElements() {
return new ArrayList<String>();
}
}
비검사 메서드 호출 경고
이 경우에는 Raw 타입으로 선언이 되어 있기때문에 어떤 타입의 값이 들어가도 컴파일 시점에 잡을 수 없게된다.
그리고 아래와 같은 경고를 확인할 수 있다. 이런 형식을 지원하는 이유는 제네릭이 나오기 전의 자바 버전에서는 존재하지 않는 개념이였기에 호환성을 위해 허용하고 있는 것 뿐이지 이런 방식으로 사용해서는 안된다.
public class Item27 {
public static void main(String[] args) {
List names = new ArrayList();
names.add("김형욱");
names.add(27);
System.out.println(names.contains("김형욱"));
System.out.println(names.contains(27));
}
}
비검사 매개변수화 가변인수 타입 경고
가변인수를 제네릭과 함께 사용하면 문제가 될 수 있다.
그 이유로 가변인수는 암묵적으로 배열을 생성하는데 제네릭은 배열을 허용하지 않기 때문이다. 이러한 불일치로 인해서 나타나는 경고다.
heap pollution?
제네릭 타입에서 변수화된 타입이 실제 다른 것을 의미한다.
public class Item27 {
public static void main(String[] args) {
List list = toList("1", 2, "3");
Iterator<String> iterator = list.iterator();
while (iterator.hasNext()) {
String next = iterator.next();
System.out.println(next);
}
}
private static <T> List<T> toList(T... elements) {
return Arrays.asList(elements);
}
}
할 수 있는 한 모든 비검사 경고를 제거하라
위의 예시 외에도 어려운 경고도 많이 존재하지만, 곧바로 해결되지 않는 경고가 나타나도 모든 비검사 경고를 제거해야 한다.
모두 제거한다면 그 코드는 타입 안정성이 보장된다. 즉 런타입에 ClassCastException이 발생할 일이 없으며 의도한 대로 잘 동작할 것이다.
경고를 제거할 수 없지만 타입 안전성을 확신할 수 있다면 @SuppressWarnings(“unchecked”) 애너테이션을 달아 경고를 숨기도록하자.
@SuppressWarnings 애너테이션은 개별 지역번수 선언부터 클래스 전체까지 어떤 선언에도 달 수 있지만 가능한 좁은 범위에 적용하도록 하자.
보통 변수선언, 아주 짧은 메서드, 생성자가 될 것이다.
심각한 경고를 놓칠 수 있기 때문에 절대 클래스 전체에 적용해서는 안된다.
애노테이션을 사용할 때 이 경고를 무시해도 되는 이유를 주석으로 남겨야 다른 사람이 그 코드를 이해할 수 있으며 잘못 수정하는 상황을 방지한다.
