스터디/이펙티브 자바
[Effective Java] Item32. 제네릭과 가변인수를 함께 쓸 때는 신중하게
niniz
2022. 6. 18. 22:39
가변인수(varargs)
메서드에 넘기는 인수의 개수를 클라이언트가 조절할 수 있게 해주는데, 컴파일시 배열로 처리 됩니다. 따라서 가변인수 매개변수에 제네릭이나 매개변수화 타입이 포함되면 아래와 같은 컴파일 경고가 발생합니다.
public static void test(List<String>... stringLists) {
List<Integer> intList = List.of(1);
Object[] objects = stringLists;
objects[0] = intList; // 힙 오염
String s = stringLists[0].get(0); // ClassCastException
}
위 코드를 컴파일하면 아래와 같은 경고 메시지가 발생합니다.
java: Test.java uses unchecked or unsafe operations.
java: Recompile with -Xlint:unchecked for details.
-Xlint 옵션을 줘서 컴파일하면 아래와 같은 경고가 발생합니다.
heap pollution(힙오염) 발생 가능성이 있다고 합니다.
실제로 위 메서드를 사용하면 ClassCastException
이 발생합니다.
String s = stringLists[0].get(0);
부분에서 컴파일러가 생성한 형변환이 발생하기 때문입니다.
이처럼 타입 안전성이 깨지니 제네릭 가변인수 배열 매개변수에 값을 저장하는 것은 안전하지 않습니다.
만약 메서드가 타입 안전함을 보장한다면 @SafeVarargs
어노테이션을 추가하여 경고를 없앨 수 있습니다.
가변인수 메서드를 호출할 때 가변인수 매개변수를 담는 제네릭 배열이 만들어집니다.
메서드가 이 배열에 아무것도 저장하지 않고(매개변수들을 덮어쓰지 않고) 배열의 참조가 밖으로 노출되지 않는다면 타입 안전하다고 할 수 있습니다. 달리 말하면, 이 가변인수 매개변수 배열이 호출자로부터 순수하게 인수들을 전달하는 일만 한다면 해당 메서드는 안전하다고 할 수 있습니다.
반응형