✒️ 핵심 정리
비검사 경고는 중요하니 무시하지 말자.
모든 비검사 경고는 런타임에 ClassCastException을 일으킬 수 있는 잠재적 가능성을 뜻하니 최선을 다해 제거하라.
경고를 없앨 방법을 찾지 못하겠다면, 그 코드가 타입 안전함을 증명하고 가능한 한 범위를 좁혀 @SuppressWarnings("unchecked") 어노테이션으로 경고를 숨겨라.
그런 다음 경고를 숨기기로 한 근거를 주석으로 남겨라.
제네릭을 사용하기 시작하면 수많은 컴파일러 경고를 보게 될 것이다.
비검사 형변환 경고, 비검사 메서드 호출 경고, 비검사 매개변수화 가변인수 타입 경고, 비검사 변환 경고 등.
이 문제는 타입 매개변수를 명시하지 않고, 자바 7부터 지원하는 다이아몬드 연산자만으로 해결 가능하다.
Set<Lark> exaltation = new HashSet<>();
제거하기 훨씬 어려운 경고들도 많지만 포기하지 말자! 할 수 있는 한 모든 비검사 경고를 제거하라.
📌 비검사 경고 해제 : @SuppressWarnings("unchecked")
경고를 제거할 수는 없지만 타입이 안전하다고 확신한다면, @SuppressWarnings("unchecked") 어노테이션을 달아 경고를 숨겨라
- unchecked : 자바 컴파일러가 type-safe를 보장하기 위한 타입 정보가 충분하지 않다는 의
- 지역 변수부터 클래스 전체까지 모두 선언 가능하다
- 가능한 가장 좁은 범위에 적용하라. (변수 선언 아주 짧은 메서드, 생성자 정도)
- 절대로 클래스 전체에 적용하지 않도록 하라.
- 한 줄이 넘는 메서드나 생성자에 달린 @SuppressWarnings는 지역변수 선언 쪽으로 옮기자
- 지역 변수를 새로 선언하는 수고를 해야할 수 있지만, 그만한 값어치가 있다.
- @SuppressWarnings 사용 시, 안전한 이유를 항상 주석으로 남겨두도록 하라.
- 안전하다고 검증된 비검사 경고를 숨기지 않으면, 진짜 문제가 가려질 수도 있다.
ArrayList에서 가져온 toArray 메서드를 예로 들어보자.
public <T> T[] toArray(T[] a) {
if (a.length < size)
return (T[] Arrays.copyOf(elements, size, a.getClass());
System.arraycopy(elements, 0, a, 0, size);
if (a.length > size)
a[size] = null;
return a;
}
ArrayList를 컴파일 해보면 경고가 발생한다.
어노테이션은 선언에만 달 수 있으므로 return 문에 작성할 수는 없고, 메서드 전체에 다는 것은 범위가 넓어진다.
그 대신 반환 값을 담을 지연변수 하나를 선언하고 그 변수에 어노테이션을 달아주자.
그 경고를 무시해도 안전한 이유도 항상 주석으로 남기는 것을 잊지 말자!
public <T> T[] toArray(T[] a) {
if (a.length < size)
// 생성한 배열과 매개변수로 받은 배열의 타입이 모두 T[]로 같으므로
// 올바른 형변환이다.
@SuppressWarnings("unchecked") T[] result =
(T[] Arrays.copyOf(elements, size, a.getClass());
return result;
System.arraycopy(elements, 0, a, 0, size);
if (a.length > size)
a[size] = null;
return a;
}