[이펙티브 자바] Item73 - 추상화 수준에 맞는 예외를 던지라

수행하려는 일과 관련 없는 예외가 나오면 당황스럽기 마련이다. 이는 메서드가 저수준 예외를 처리하지 않고 바깥으로 전파(throw)할 때 종종 일어나는 문제이다.

내부 구현 방식을 드러내어 윗 레벨 API를 오염시킬 수 있고, 구현 방식을 바꾸면 다른 예외가 튀어나와 기존 클라이언트 프로그램을 깨지게 할 수도 있다.

 

상위 계층에서 예외 번역을 하자

예외 번역이란 상위 계층에서 저수준 예외를 잡아 자신의 추상화 수준에 맞는 예외로 바꾸는 것을 말한다. 위에서 언급한 문제점을 피하기 위해서는 상위 계층에서의 예외 번역이 필요하다.

try {
	..// 저수준 추상화를 이용
} catch (LowerLevelException e) {
  // 추상화 수준에 맞게 번역
  throw new HigherLevelException(...);
}

 

AbstractSequentialList의 예외 번역 예제

AbstractSequentialList는 List의 추상 골격 클래스이다.

 

이 예에서 수행한 예외 번역은 List<E> 인터페이스의 get() 메서드 명세에 명시된 필수 사항이다.

 

저수준 예외가 필요하면 예외 연쇄를 사용하자

예외 연쇄(exception chaining)란 문제의 원인(cause)인 저수준 예외를 고수준 예외에 실어 보내는 것을 말한다. 별도의 접근자 메서드(Throwable의 getCause 메서드)를 통해 언제든 저수준 예외를 꺼내 볼 수 있다.

// 예외 연쇄
try {
  // 저수준 추상화를 이용한다.
} catch (LowerLevelException cause) {
  // 저수준 예외를 고수준 예외에 실어 보낸다.
  throw new HigherLevelException(cause);
}

 

고수준 예외의 생성자는 예외 연쇄용으로 설계된 상위 클래스의 생성자에 원인(cause)을 건네주어 Throwable 생성자로 건네 지게 한다.

// 예외 연쇄용 생성자
class HigherLevelException extends Exception {
  HigherLevelException(Throwable cause) {
    super(cause);
  }
}

 

대부분의 표준 예외는 예외 연쇄용 생성자를 갖추고 있다. 만약 예외 연쇄용 생성자를 갖추고있지 않은 예외라도 Throwable의 initCause 메서드를 이용해 직접 원인을 설정할 수 있다. 예외 연쇄는 문제의 원인을 프로그램에서 접근할 수 있게 해 주며, 원인과 고수준 예외의 스택 추적 정보(stack trace)를 잘 통합해준다.

 

예외 번역을 남용하지 말자

예외 번역은 예외 전파보다 우수한 방법이지만 그렇다고 남용해선 안된다. 가능하면 저수준 메서드가 반드시 성공하도록하여 아래 계층에서는 예외가 발생하지 않도록 하는 것이 최선이다. 때론 상위 계층 메서드의 매개변수 값을 넘기기 전에 validator를 통해 미리 검사하는 방법으로 이 목적을 달성할 수 있다.

만약, 아래 계층에서 예외를 피할 수 없다면 상위 계층에서 그 예외를 처리하여 API 호출자에게 전파하지 않는 방법도 있다. 이 경우 로깅을 통해 로그를 기록해두고 프로그래머가 로그를 분석해 추가 조치를 취할 수 있게 하면 된다.

 

핵심 정리

• 아래 계층의 예외를 예방하거나 스스로 처리할 수 없고, 그 예외를 상위 계층에 노출하기 곤란하다면 예외 번역을 사용하자
• 예외 연쇄를 이용하면 상위 계층에는 맥락에 어울리는 고수준 예외를 던지면서 근본 원인(cause)도 함께 알려주어 오류를 분석하기 좋다.