27. 비검사 경고를 제거하라.

• 제네릭을 사용하기 시작하면 수많은 컴파일러 경고를 보게 된다.
• 비검사 형 변환, 메서드 호출, 매개변수화 가변 인수 타입 경고, 변환 경고 등이 있는데 제네릭에 익숙해질수록 마주치는 경고 수는 줄겠지만 새로 작성한 코드가 한번에 깨끗하게 컴파일되리라는 법은 없다.
• 대부분의 비검사 경고는 쉽게 제거할 수 있다.

 

 

Set<Lark> exaltation = new HashSet();

• 코드를 다음처럼 잘못 작성했다고 해보자.

 

• 그러면 컴파일러는 무엇이 잘못됐는지 친절히 설명해준다.

 

 

 

• 사실 컴파일러가 알려준 타입 매개변수를 명시하지 않고, 자바 7부터 지원하는 다이아몬드 연산자(<>)만으로 해결할 수 있다.
• 그러면 컴파일러는 올바른 실제 타입 매개변수를 추론해준다. 이 경우는 Lark이다.

Set<Lark> exaltation = new HashSet<>();

 

 

 

• 하지만 제거하기 훨씬 어려운 경고들도 있는데 이번 장은 그러한 경고를 내는 예제들이다.
• 곧바로 해결되지 않는 경고가 나타나도 포기하지 말고 할 수 있는 한 모든 비검사 경고를 제거하자.
• 모두 제거한다면 그 코드는 타입안정성이 보장된다.
• 즉 런타임에 ClassCastExxception이 발생할 일이 없고, 의도한 대로 잘 동작하리라 확신할 수 있다.

 

 

 

@Supress Warnings

---

 

• 경고를 제거할 수는 없지만 타입 안전하다고 확신할 수 있다면 @Supress Warnings("unchecked") 에너테이션을 달아 경고를 숨기자.
• 안전하다고 검증된 비검사 경고를 그대로 두면, 진짜 문제를 알리는 새로운 경고가 나와도 눈치채지 못할 수 있다. 제거하지 않은 수많은 거짓 경고 속에 새로운 경고가 파묻힐 것이기 때문이다.

 

 

 

• @SupressWarnings 에노테이션은 개별 지역변수 선언부터 클래스 전체까지 어떤 선언에도 달 수 있다.
• 하지만 @SupressWarnings 애노테이션은 항상 가능한 한 좁은 범위에 적용하자

 

 

• 한 줄이 넘는 메서드가 생성자에 달린 @SupressWarnings 애노테이션을 발견하면 지역변수 선언 쪽으로 옮기자.
• 이를 위해 지역변수를 새로 선언하는 수고를 해야 할 수도 있지만, 값어치가 있다.
• ArrayList에서 가져온 다음의 toArray 메서드를 예로 생각해보자.

 

 

• ArrayList를 컴파일하면 이 메서드에서 다음 경고가 발생한다. 
• 애노테이션은 선언에만 달 수 있기 때문에 return 문에는 @SupressWarnings를 다는게 불가능하다.
• 그렇다면 메서드 전체에 달고 싶지만, 범위가 필요 이상으로 넓어지니 자제하자.

 

 

• 그 대신 반환값을 담을 지역변수를 하나 선언하고 그 변수에 애노테이션을 달아주자.
• 해당 코드는 깔끔하게 컴파일되며 비검사 경고를 숨기는 범위도 최소로 좁혔다.
• @SupressWarnings("unchecked") 애노테이션을 사용할 때면 그 경고를 무시해도 안전한 이유를 항상 주석으로 남겨야 한다.
• 다른 사람이 그 코드를 이해하는 데 도움이 되며, 더 중요하게는 다른 사람이 그 코드를 잘못 수정하여 타입 안전성을 잃는 상황을 줄여준다.

 

 

 

핵심 정리

---

• 비검사 경고는 중요하니 무시하지 말자.
• 모든 비검사 경고는 런타임에 ClassCastException을 일으킬 수 있는 잠재적 가능성을 뜻하니 최선을 다해 제거하자.
• 경고를 없앨 방법을 찾지 못하겠다면, 그 코드가 타입 안전함을 증명하고 가능한 한 범위를 좁혀 @SupressWarnings("unchecked") 에노테이션으로 경고를 숨겨라.
• 그런 다음 경고를 숨기기로 한 근거를 주석으로 남겨라.

 

 

 

참고 자료 

---

이펙티브 자바