[이펙티브자바 3판] ITEM27. 비검사 경고를 제거하라

이번장의 핵심은...

비검사 경고는 중요하니 무시하지 말자

모든 비검사 경고는 런타임에 ClassCastException을 일으킬 수 있는 잠재적 가능성을 뜻하니 최선을 다해 제거하라

경고를 없앨 방법을 찾지 못하겠다면,

그 코드가 타입 안정함을 증명하고

가능한 한 범위를 좁혀 @SuppressWarnings("unchecked") 애너테이션으로 경고를 숨겨라

그런 다음 경고를 숨기기로 한 근거를 주석으로 남겨라

---

비검사 경고

제네릭을 사용하면 수많은 컴파일러 경고가 나온다

ex) 비검사 형변환 경고, 비검사 메서드 호출 경고.. 등등

제네릭에 익숙해질수록 경고 수가 줄어들 것이다

Set<Lark> exaltation = new HashSet();
//-> 컴파일러가 알려준 타입 매개변수를 명시하지 않고 <> 만으로 해결가능
Set<Lark> exaltation = new HashSet<>();

 

할 수 있는 한 모든 비검사 경고를 제거하라

모두 제거된다면 그 코드는 타입 안정성이 보장된다

즉, 런타임에 ClassCastException이 발생할 일이 없고, 의도한 대로 잘 동작하리라 확실할 수 있다

@SuppressWarnings

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

 

안전하다고 검증된 비검사 경고를 그대로 두면, 진짜 문제를 알리는 새로운 경고가 나와도 눈치채지 못할 수 있다.

@SuppressWarnings는 개별 지역변수 선언부터 클래스 전체까지 어떤 선언에도 달 수 있다

 

하지만, @SuppressWarnings 애너테이션은 항상 가능한 한 좁은 범위에 적용하자

 

자칫 심각한 경고를 놓칠 수 있으니 절대로 클래스 전체에 적용해서는 안 된다

또한, 한 줄이 넘는 메서드나 생성자에 달린 @SuppressWarnings을 발견하면 지역변수 선언 쪽으로 옮기자

 

Ex) 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 문에는 @SuppressWarnings를 다는 게 불가능하다

따라서 지연변수를 하나 선언하고 그 변수에 애너테이션을 달아주자

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") 애너테이션을 사용할 때면 그 경고를 무시해도 안전한 이유를 항상 주석으로 남겨야 한다

 

 

이 글은 “이펙티브 자바 3판” 책 내용을 정리한 글입니다.

만약 저작권 관련 문제가 있다면 “shk3029@kakao.com”로 메일을 보내주시면, 바로 삭제하도록 하겠습니다.