[이펙티브 자바] Item28 완벽공략. @SafeVarags

 

[이펙티브 자바] Item28. 배열보다는 리스트를 사용하라. 

[이펙티브 자바] Item28. 배열보다는 리스트를 사용하라. (tistory.com)

[이펙티브 자바] Item28. 배열보다는 리스트를 사용하라.

p.166 제네릭 타입과 가변인수 메서드(varargs method)를 함께 쓰면 해석하기 어려운 경고 메시지를 받게 된다. 

가변인수 메서드를 호출할 때마다 가변인수 매개변수를 담을 배열이 하나 만들어지는데, 이때 그 배열의 원소가 실체화 불가 타입이라면 경고가 발생하는 것이다. 이 문제는 @SafeVarags 어노테이션을 사용하면 대처할 수 있다. 

 

 

 

@SafeVarags 

: 생성자와 메서드의 제네릭 가변인자에 사용할 수 있는 어노테이션 

static <T> void safe(T... values)
{
   for (T value : values)
   {
      System.out.println("value = " + value);
   }
}

제네릭 가변인자는 근본적으로 타입 안전하지 않고, 가변 인자의 내부 데이터가 오염될 가능성이 있어서 경고 메시지가 뜨는 것을 확인할 수 있다. 

근데 이 메서드를 보면 단순히 출력만 하고 아무 문제가 없다고 판단되면 @SafeVarags 어노테이션을 붙여서 경고를 숨길 수 있다. 

 

static void notSafe(List<String>... stringLists)
{
      Object[] array = stringLists; // List<String>... => List[], 그리고 배열은 공변이니까.
   List<Integer> tmpList = List.of(42);
   array[0] = tmpList;
   String s = stringLists[0].get(0); // ClassCastException RuntimeException 발생
}

notSafe() 메서드를 보면  List<String>...은 배열이므로 List<String>[]과 같다고 할 수 있다. 

따라서 stringLists[0].get(0)을 할 때 형변환 exception이 발생한다. 

그리고 notSafe() 메서드에도 경고 메시지가 뜨는데 여기에 @SafeVarargs 어노테이션을 붙인다고 해서 에러가 발생하지 않는 것이 아니다. 

경고 메시지만 숨겨줄 뿐 .. 

따라서 안전하지 않은 곳에는 이 어노테이션을 사용하면 안된다!!!