# 아이템32 제네릭과 가변인수를 함께 쓸 때는 신중하라 > Effective Java 3e 아이템 32를 요약한 내용 입니다. **`가변인수 메서드`를 호출하면 가변인수를 담기 위한 배열이 자동으로 하나 만들어진다.** 그런데 내부로 감춰야 했을 이 배열을 그만 클라이언트에 노출하는 문제가 생겼다. 그 결과 `varargs` 매개변수에 제네릭이나 매개변수화 타입이 포함되면 알기 어려운 `컴파일 경고`가 발생한다. ```java warning: [unchecked] Possible heap pollution from parameterized vararg type List ``` 매개변수화 타입의 변수가 타입이 다른 객체를 참조하면 `힙 오염`이 발생한다. 다음 메서드를 통해 확인해보자. ```java static void danferous(List... stringLists) { List intList = List.of(42); Object[] objects = stringLists; objects[0] = intList; // 힙 오염 발생 String s = stringLists[0].get(0); // ClassCastException } ``` 이 메서드 에서는 형변환하는 곳이 보이지 않는데도 인수를 건네 호출하면 `ClassCastException`을 던진다. 마지막 줄에 컴파일러가 생성한 `(보이지 않는)형변환`이 숨어 있기 때문이다. **제네릭 배열을 프로그래머가 직접 생성하는 건 허용하지 않으면서 제네릭 varargs 매개변수를 받는 메서드를 선언할 수 있게 한 이유는 무엇일까?** 그 답은 `제네릭`이나 `매개변수화` 타입의 varargs 매개변수를 받는 메서드가 실무에서 매우 유용하기 때문이다. 사실 자바 라이브러리도 이런 메서드를 여럿 제공하는데, **Arrays.asList(T... a), Collections.addAll(Collection\ c, T... elements), EnumSet.of(E first, E...rest)**가 대표적이다. 그래서 사용자는 이 경고 들을 그냥 두거나 (더 흔하게는) 호출하는 곳마다 `@SuppressWarnings("unchkecked")` 에너테이션을 달아 경고를 숨겨야 했다. 그래서 자바 7에서는 `@SafeVarargs` 애너테이션이 추가되어 제네릭 가변인수 메서드 작성자가 클라이언트 측에서 발생하는 경고를 숨길 수 있게 되었다. `@SafeVarargs` 애너테이션은 메서드 작성자가 그 메서드가 타입 안전함을 보장하는 장치다. **컴파일러는 이 약속을 믿고 그 메서드가 안전하지 않을 수 있다는 경고를 더 이상 하지 않는다.** ### 그렇다면 메서드가 안전한지는 어떻게 확신할 수 있을까? 메서드가 이 배열에 아무것도 저장하지 않고(그 `매개변수`들을 덮어쓰지 않고) 그 배열의 참조가 밖으로 노출되지 않는다면(신뢰할 수 없는 코드가 배열에 접근할 수 없다면)타입 안전하다. ```java static T[] toArray(T... args) { return args; } ``` 이 메서드가 반환하는 배열의 타입은 이 메서드에 인수를 넘기는 `컴파일 타임`에 결정되는데, 그 시점에는 컴파일러에게 충분한 정보가 주어지지 않아 타입을 잘못 판단할 수 있다. ```java static T[] pickTwo(T a, T b, T c) { switch(ThreadLocalRandom.current().nextInt(3)) { case 0: return toArray(a, b); case 0: return toArray(a, b); case 0: return toArray(a, b); } throw new AssertionError(); // 도달할 수 없다. } ``` 다음 메서드는 T 타입 인수 3개를 받아 그중 2개를 무작위로 골라 담은 배열을 반환한다. ```java public static void main(String[] args) { String[] attributes = pickTwo("좋은", "빠른", "저렴한"); } ``` 아무런 문제가 없는 메서드이니 별다른 경고 없이 컴파일된다. 하지만 실행하려 들면 `ClassCastException`을 던진다. Object\[]는 String\[]의 하위 타입이 아니므로 이 형변환은 실패하기 때문이다. 즉, 다음 두 조건을 모두 만족하는 제네릭 `varargs` 메서드는 안전하다. 둘 중 하나라도 어겼다면 수정하라 * **varargs 매개변수 배열에 아무것도 저장하지 않는다.** * **그 배열(혹은 복제본)을 신뢰할 수 없는 코드에 노출하지 않는다.** 다음은 제네릭 `varargs` 매개변수를 안전하게 사용하는 전형적인 예다. 다음의 `flattern` 메서드는 임의 개수의 리스트를 인수로 받아, 받은 순서대로 그 안의 모든 원소를 하나의 리스트로 옮겨 담아 반환한다. ```java @SafeVarargs static List flatten(List... lists) { List result = new ArrayList<>(); for (List list : lists) result.addAll(list); return result; } ``` ## 정리 **`가변인수`와 `제네릭`은 궁합이 좋지 않다.** 가변인수 기능은 배열을 노출하여 `추상화`가 완벽하지 못하고, `배열`과 `제네릭`의 타입 규칙이 서로 다르기 때문이다. 메서드에 제네릭 (혹은 매개변수화된) varags 매개변수를 사용하고자 한다면, 먼저 그 메서드가 `타입 안전한지` 확인한 다음 `@SafeVarargs` 애너테이션을 달아 사용하는 데 불편함이 없게끔 하자 --- # Agent Instructions: Querying This Documentation If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question. Perform an HTTP GET request on the current page URL with the `ask` query parameter: ``` GET https://incheol-jung.gitbook.io/docs/study/effective-java/undefined-3/2020-03-20-effective-32item.md?ask= ``` The question should be specific, self-contained, and written in natural language. The response will contain a direct answer to the question and relevant excerpts and sources from the documentation. Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.