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

[heon118]

Chapter : 5. 제네릭

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

Assignee : heon118

---

🍑 서론

제네릭을 사용하는 것이 익숙하지 않다면, 비검사 형변환 경고, 비검사 메서드 호출 경고, 비검사 매개변수화 가변인수 타입 경고, 비검사 변환 경고 등 수많은 컴파일러 경고를 보게 될 것이다. 이 때 경고를 무시하지 말고 가능한 제거하자.

🍑 본론

비검사 경고란?

• unchecked warning
• 에러는 아니지만 컴파일러가 보여주는 다양한 경고들
• 비검사 경고 확인 -> 컴파일러 Javac -Xlint:unchecked 옵션

  Set<Lark> exaltation = new HashSet();

  Venery.java:4: warning: [unchecked] unchecked conversion
  Set<Lark> exaltation = new HashSet();
                             ^
  required: Set<Lark>
  found:    HashSet

• 컴파일러가 알려준대로 <> 넣으면 해결

@SuppressWarnings

• 경고를 제거할 수 없지만 타입이 안전하다고 확신할 수 있을 때 사용
• 컴파일 경고는 없어지지만 문제가 있는 코드라면 런타임 시 ClassCastException이 발생
• 개별 지역변수 선언부터 클래스 전체까지 어떤 선언에도 적용 가능
• 가능한 좁은 범위에 사용 -> 클래스 전체에 적용 시 자잘하면서 심각한 경고를 놓칠 가능성
• 한 줄이 넘는 메서드나 생성자에 달린 @SuppressWarnings -> 지역변수 선언 쪽으로
• 경고를 무시해도 안전한 이유 주석 처리

public <T> T[] toArray(T[] a) {
    if (a.length < size) {
        return (T[]) Arrays.copyOf(elementData, size, a.getClass());
    System.arraycopy(elementData, 0, a, 0, size);
    if (a.length > size)
        a[size] = null;
    return a;
}

• retrun 문에는 @SuppressWarnings 불가

  public <T> T[] toArray(T[] a) {
  if (a.length < size) {
  // 생성한 배열과 매개변수로 받은 배열의 타입이 모두 T[]로 같으므로 올바른 형변환이다.
  @SuppressWarnings("unchecked")
  T[] result = (T[]) Arrays.copyOf(elementData, size, a.getClass());
      return result;
  }
  
  System.arraycopy(elementData, 0, a, 0, size);
  if (a.length > size)
      a[size] = null;
  return a;
  }

  🍑 결론

• 모든 비검사 경고는 런타임에 ClassCastException을 일으킬 수 있는 잠재적 가능성 -> 가능한 모두 제거
• 비검사 경고를 제거하면 코드의 타입 안정성 보장 -> 런타임에 ClassCastException이 발생할 일이 없고, 의도한 대로 잘 동작될 것을 확신

• 경고를 없애지 못하겠다? -> 해당 코드의 타입 안정성을 증명하고 범위를 좁혀 @SuppressWarnings("unchecked") 어노테이션으로 경고를 숨기기 -> 경고를 숨기기로 한 근거를 주석 처리

Referenced by

-