|
| 1 | +## 제네릭과 가변인수를 함께 쓸 때는 신중하라 |
| 2 | + |
| 3 | + |
| 4 | +### 가변인수 메서드 |
| 5 | + |
| 6 | +하나의 메서드가 가변적인 수의 매개변수를 받을 수 있도록 지원 |
| 7 | + |
| 8 | + |
| 9 | + |
| 10 | +가변인수(Varargs)를 사용하는 메서드를 호출하면 Java 컴파일러가 자동으로 배열을 생성 |
| 11 | + |
| 12 | +```java |
| 13 | +public static void varargsExample(String... args) { |
| 14 | + // args는 배열로 처리됨 |
| 15 | + System.out.println("Length: " + args.length); |
| 16 | +} |
| 17 | +``` |
| 18 | +호출시 아래처럼 컴파일 |
| 19 | + |
| 20 | +```java |
| 21 | +varargsExample(new String[]{"A", "B", "C"}); |
| 22 | +``` |
| 23 | + |
| 24 | +### 이 배열은 내부로 감춰져야 하는데, 클라이언트에 공개되면서 문제가 발생할 수 있다. |
| 25 | + |
| 26 | + |
| 27 | + |
| 28 | +가변인수 매개변수에 제네릭이나 매개변수화 타입이 포함되면 컴파일 경고 발생 |
| 29 | + |
| 30 | +warning: [unchecked] Possible heap pollution from |
| 31 | + |
| 32 | +parameterized vararg type List<String> |
| 33 | + |
| 34 | +<b>매개변수화 타입의 변수가 타입이 다른 객체를 참조하면 힙 오염이 발생한다.</b> |
| 35 | + |
| 36 | + |
| 37 | + |
| 38 | +ex) |
| 39 | +```java |
| 40 | +static void dangerous(List<String>... stringLists) { |
| 41 | + List<Integer> intList = List.of(42); |
| 42 | + Object[] objects = stringLists; |
| 43 | + objects[0] = intList; // 힙 오염 발생 |
| 44 | + String s = stringLists[0].get(0); // ClassCastException |
| 45 | +} |
| 46 | +``` |
| 47 | + |
| 48 | +마지막 줄에 컴파일로가 생성한 형변환이 숨어 있기 때문에 ClassCastException 발생. |
| 49 | +```java |
| 50 | +String s = (String)stringLists[0].get(0); // ClassCastException |
| 51 | +``` |
| 52 | + |
| 53 | + |
| 54 | + |
| 55 | + |
| 56 | + |
| 57 | +-> 이처럼 타입 안전성이 깨지니 제네릭 가변인수 배열 매개변수에 값을 저장하는 것은 안전하지 않다. |
| 58 | + |
| 59 | + |
| 60 | + |
| 61 | +### 제네릭 가변인수 메서드를 선언할 수 있게 한 이유? |
| 62 | + |
| 63 | +실무에서 유용! |
| 64 | + |
| 65 | +자바 라이브러리에서도 이런 메서드를 여럿 제공 (타입 안전) |
| 66 | + |
| 67 | +ex. Arrays.asList(T... a), Collections.addAll(Collection<? super T> c, T... elements) |
| 68 | + |
| 69 | + |
| 70 | + |
| 71 | +타입 안전한 메서드의 조건 |
| 72 | + |
| 73 | +1. 메서드가 제네릭 배열에 아무것도 저장하지 않는다. |
| 74 | + |
| 75 | +2. 그 배열의 참조가 밖으로 노출되지 않는다. |
| 76 | + |
| 77 | +-> 가변인수(Varargs)를 사용하는 메서드가 전달된 데이터를 단순히 읽고 사용만 할 경우에는 문제가 발생하지 않는다 |
| 78 | + |
| 79 | +(가변인수의 목적 : 메서드 호출 시 임의의 개수의 인수를 간편하게 전달) |
| 80 | + |
| 81 | + |
| 82 | + |
| 83 | +### @SafeVarargs |
| 84 | + |
| 85 | +- 메서드 작성자가 그 메서드가 타입 안전함을 보장하는 장치 |
| 86 | + |
| 87 | +컴파일러는 이 약속을 믿고 그 메서드가 안전하지 않을 수 있다는 경고를 더 이상 하지 않는다. |
| 88 | + |
| 89 | +메서드가 안전한 게 확실하지 않다면 절대 @SafeVarargs 애너테이션을 달아서는 안 된다. |
| 90 | + |
| 91 | + |
| 92 | + |
| 93 | +### 제네릭 가변인수 매개변수를 안전하게 사용하는 메서드 |
| 94 | +```java |
| 95 | +@SafeVarargs |
| 96 | +static <T> List<T> flatten(List<? extends T>... lists) { |
| 97 | + List<T> result = new ArrayList<>(); |
| 98 | + for (List<? extends T> list : lists) |
| 99 | + result.addAll(list); |
| 100 | + return result; |
| 101 | +} |
| 102 | +``` |
| 103 | + |
| 104 | +flatten 메서드는 임의 개수의 리스트를 인수로 받아, 받은 순서대로 그 안의 모든 원소를 하나의 리스트로 옮겨 담아 반환한다. |
| 105 | +이 메서드에는 @SafeVarargs 어노테이션이 달려있으니 선언하는 쪽과 사용하는 쪽 모두에서 경고를 발생시키지 않는다. |
| 106 | +제네릭이나 매개변수화 타입의 varargs 매개변수를 받는 모든 메서드에 @SafeVarargs 어노테이션을 달자 |
| 107 | + |
| 108 | + |
| 109 | +### 제네릭 varargs 매개변수를 List로 대체한 예 - 타입 안전 |
| 110 | +```java |
| 111 | +static <T> List<T> flatten(List<List<? extends T>> lists) { |
| 112 | + List<T> result = new ArrayList<>(); |
| 113 | + for (List<? extends T> list : lists) |
| 114 | + result.addAll(list); |
| 115 | + return result; |
| 116 | +} |
| 117 | +``` |
| 118 | + |
| 119 | + |
| 120 | + |
| 121 | +### 정리 |
| 122 | + |
| 123 | +메서드에 제네릭 (혹은 매개변수화된) varargs 매개변수를 사용하고자 한다면, 먼저 그 메서드가 타입 안전한지 확인한 다음 |
| 124 | + |
| 125 | +@SafeVarargs 애너테이션을 달아 사용하는 테 불편함이 없게끔 하자. |
0 commit comments