티스토리 뷰
제네릭을 사용하기 시작하면 수많은 컴파일러 경고를 보게 될 것입니다.
(비검사 형변환 경고, 비검사 메서드 호출 경고, 비검사 매개변수화 가변인수 타입 경고, 비검사 경고 등)
제네릭에 익숙해질수록 마주치는 경고 수는 줄겠지만 새로 작성한 코드가 한 번에 깨끗하게 컴파일되리라 기대하지는 말아야 합니다.
대부분의 비검사 경고는 쉽게 제거할 수 있습니다.
코드를 다음처럼 잘못 작성했다고 해봅시다.
Set<Lark> exaltation = new HashSet();
그러면 컴파일러는 무엇이 잘못됐는지 친절히 설명해줄 것입니다.
(javac 명령줄 인수에 -Xlint:uncheck 옵션을 추가해야 합니다.)
Venery.java:4: warning: [unchecked] unchecked conversion
Set<Lark> exaltation = new HashSet();
^
required: Set<Lark>
found: HashSet
컴파일러가 알려준 대로 수정하면 경고가 사라집니다.
사실 컴파일러가 알려준 타입 매개변수를 명시하지 않고, 자바 7부터 지원하는 다이아몬드 연산자(<>)만으로 해결할 수 있습니다.
그러면 컴파일러가 올바른 실제 타입 매개변수(이 경우는 Lark)를 추론해줍니다.
Set<Lark> exaltation = new HashSet<>();
제거하기 훨씬 어려운 경고도 있습니다.
이번 장은 그러한 경고를 내는 예제들로 가득 채웠습니다.
곧바로 해결되지 않는 경고가 나타나도 포기하지 맙시다.
할 수 있는 한 모든 비검사 경고를 제거합시다.
모두 제거한다면 그 코드는 타입 안전성이 보장됩니다.
즉, 런타임에 ClassCastException이 발생할 일이 없고, 여러분이 의도한 대로 잘 동작하리라 확신할 수 있습니다.
경고를 제거할 수는 없지만 타입 안전하다고 확신할 수 있다면 @SuppressWarnings("unchecked") 에너테이션을 달아 경고를 숨깁니다.
단, 타입 안전함을 검증하지 않은 채 경고를 숨기면 스스로에게 잘못된 보안 인식을 심어주는 꼴입니다.
그 코드는 경고 없이 컴파일되겠지만, 런타임에는 여전히 ClassCastException을 던질 수 있습니다.
한편, 안전하다고 검증된 비검사 경고를 그대로 두면, 진짜 문제를 알리는 새로운 경고가 나와도 눈치채지 못할 수 있습니다.
제거하지 않은 수많은 거짓 경고 속에 새로운 경고가 파묻힐 것이기 때문입니다.
@SuppressWarnings 애너테이션은 개별 지역변수 선언부터 클래스 전체까지 어떤 선언에도 달 수 있습니다.
하지만 @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 > sizse) a[size] = null;
return a;
}
ArrayList를 컴파일하면 이 메서드에서 다음 경고가 발생합니다.
ArrayList.java:305: warning: [unchecked] unchecked cast
return (T[]) Arrays.copyOf(elements, size, a.getClass());
^
required: T[]
found: Object[]
애너테이션은 선언에만 달 수 있기 때문에 return 문에는 @SuppressWarnings를 다는 게 불가능합니다.
그렇다면 이제 메서드 전체에 달고 싶겠지만, 범위가 필요 이상으로 넓어지니 자제합시다.
그 대신 반환값을 담을 지역변수를 하나 선언하고 그 변수에 애너테이션을 달아줍시다.
다음은 toArray를 이렇게 수정했습니다.
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 > sizse) a[size] = null;
return a;
}
이 코드는 깔끔하게 컴파일되고 비검사 경고를 숨기는 범위도 최소로 좁혔습니다.
@SuppressWarnings("unchecked") 애너테이션을 사용할 때면 그 경고를 무시해도 안전한 이유를 항상 주석으로 남겨야 합니다.
다른 사람이 그 코드를 이해하는 데 도움이 되며, 더 중요하게는, 다른 사람이 그 코드를 잘못 수정하여 타입 안전성을 잃는 상황을 줄여줍니다.
코드가 안전한 근거가 쉽게 떠오르지 않더라도 끝까지 포기하지 맙시다.
근거를 찾는 중에 그 코드가 사실은 안전하지 않다는 걸 발견할 수도 있습니다.
정리
- 비검사 경고는 중요하니 무시하지 말자.
- 모든 비검사 경고는 런타임에 ClassCastException을 일으킬 수 있는 잠재적 가능성을 뜻하니 최선을 다해 제거하라.
- 경고를 없앨 방법을 찾지 못하겠다면, 그 코드가 타입 안전함을 증명하고 가능한 한 범위를 좁혀 @SuppressWarnings("unchecked") 애너테이션으로 경고를 숨겨라.
- 그런 다음 경고를 숨기기로 한 근거를 주석으로 남겨라.
'JAVA > 이펙티브 자바' 카테고리의 다른 글
아이템[29]. 이왕이면 제네릭 타입으로 만들라 (0) | 2022.04.13 |
---|---|
아이템[28]. 배열보다는 리스트를 사용하라 (0) | 2022.04.13 |
아이템[26]. 로 타입은 사용하지 말라 (0) | 2022.04.13 |
아이템[25]. 톱레벨 클래스는 한 파일에 하나만 담으라 (0) | 2022.04.10 |
아이템[24]. 멤버 클래스는 되도록 static으로 만들라 (0) | 2022.04.10 |
- Total
- Today
- Yesterday
- Olympiad
- 이팩티브 자바
- 정규표현식
- kkoon9
- JPA
- 코테
- kotest
- AWS
- 프로그래머스
- 테라폼
- 객체지향
- 클린 코드
- 디자인패턴
- MSA
- Algorithm
- Java
- programmers
- BOJ
- Spring Boot
- 이펙티브 자바
- 클린 아키텍처
- Kotlin
- C++
- Spring
- BAEKJOON
- 디자인 패턴
- 백준
- Effective Java
- node.js
- 알고리즘
일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
1 | ||||||
2 | 3 | 4 | 5 | 6 | 7 | 8 |
9 | 10 | 11 | 12 | 13 | 14 | 15 |
16 | 17 | 18 | 19 | 20 | 21 | 22 |
23 | 24 | 25 | 26 | 27 | 28 |