[아이템 27] 비검사 경고를 제거하라

• 제네릭을 사용하기 시작하면 수많은 컴파일러 경고를 보게 될 것임

• 비검사 형변환 경고, 비검사 메서드 호출 경고, 비검사 매개변수화 가변인수 타입 경고, 비검사 변환 경고 등

• 대부분의 비검사 경고는 쉽게 제거할 수 있음, 아래의 예시를 볼 수 있음

// 잘못된 코드, 비검사 경고 발생
Set<Lark> exaltation = new HashSet();

// 컴파일러가 알려준대로 경고 수정 - 다이아몬드 연산자 활용
Set<Lark> exaltation = new HashSet<>();

• 이처럼 할 수 있는 한 모든 비검사 경고를 제거하는게 좋음, 모두 제거하면 그 코드는 타입 안전성이 보장됨

• 경고를 제거할 수 없지만 타입 안전하다고 확신할 수 있다면 @SuppressWarnings("unchecked") 애너테이션을 달아 경고를 숨기면 됨

• 단 타입 안전함을 검증하지 않은 채 경고를 숨기면 런타임에서 예외를 던질 수 있고 잘못된 방식임

• 안전하다고 검증된 비검사 경고를 그대로 두면, 제거하지 않은 수많은 거짓 경고 속에 새로운 경고가 파묻힐 것임

• @SuppressWarnings 애너테이션은 개별 지역변수 선언부터 클래스 전체까지 어떤 선언에도 달 수 있음, 하지만 이 애너테이션은 항상 가능한 한 좁은 범위에 적용하는게 좋음

• 보통은 변수 선언, 아주 짧은 메서드, 혹은 생성자에만, 클래스 전체에 적용하다가 심각한 경고를 놓칠 수 있음

• 한 줄이 넘는 메서드나 생성자에 달린 @SuppressWarnings 애너테이션을 발견하면 지역변수 선언 쪽으로 옮기자, 이를 위해 지역변수를 새로 선언할 수도 있지만 그렇게 하는게 나음

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;
}

• 위의 메서드를 컴파일시 경고가 뜸, 여기서 애너테이션은 선언에만 달 수 있어서 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;
}

• 위와 같이 수정해줄 수 있음, 비검사 경고를 숨기는 범위를 최소로 좁힘

• @SuppressWarnings("unchecked") 애너테이션을 사용할 때면 그 경고를 무시해도 안전한 이유를 항상 주석으로 남겨야함