DEV ℧ Developer Diary

[EffectiveJava] item73 - 추상화 수준에 맞는 예외를 던져라

21 Jul 2023

수행하려는 일과 관련 없어 보이는 예왹 튀어나오면 당활스러울 것이다. 메서드가 저수준 예외를 처리하지 않고 바깥으로 전파해버릴 때 종종 일어나는 일이다.

이는 단순한 프로그래머를 당황시키는 데 그치지 않고, 내부 구현 방식을 드러내어 윗 레벨의 API를 오염시킨다.

예외 번역

이 문제를 피하려면 상위 계층에서는 저수준 예외를 잡아 자신의 추상화 수준에 맞는 예외로 바꿔 던져야 한다. 이를 예외 번역(exception translation)이라 한다.

예외 번역

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

예외 번역의 예시

다음은 AbstractSequentialList에서 수행하는 예외 번역의 예다. AbstractSequentialList는 List 인터페이스의 골격 구현이다.

/**
 * 이 리스트 안의 지정한 위치의 원소를 반환한다.
 * @throws IndexOutOfBoundsException index가 범위 밖이라면,
 *         즉 ({@code index < 0 || index >= size()})이면 발생한다.
 */
public E get(int index) {
    ListIterator<E> i = listIterator(index);
    try {
        return i.next();
    } catch (NoSuchElementException e) {
        throw new IndexOutOfBoundsException("인덱스 : " + index);
    }
}

예외를 번역할 때, 저수준 예외가 디버깅에 도움이 된다면 예외 연쇠(exception chaining)를 사용하는 게 좋다.

예외 연쇠

예외 연쇄
문제의 근본 원인(cause)인 저수준 예외를 고수준 예외에 실어 보내는 방식

그러면 별도의 접근자 메서드(Throwable의 getCause 메서드)를 통해 필요하면 언제든 저수준 예외를 꺼내볼 수 있다.

예외 연쇄

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

고수준 에외의 생성자는 상위 클래스의 생성자에 이 ‘원인’을 건네주어, 최종적으로 Throwable 생성자 까지 건네지게 한다.

예외 연쇄용 생성자

class HigherLevelException extends Exception {
    HigherLevelException(Throwable cause) {
        super(cause);
    }
}

예외 연쇄는 문제의 원인을 (getCause 메서드로) 프로그램에서 접근할 수 있게 해주며, 원인과 고수준 예외의 스택 추적 정보를 잘 통합해준다.

무턱대고 예외를 전파하는 것보다야 예외 번역이 우수한 방법이지만, 그렇다고 남용해서는 곤란하다.

가능하다면 저수준 메서드가 반드시 성공하도록 하여 아래 계층에서는 예외가발생하지 않도록 하는 것이 최선이다.

예외연쇄 차선책

아래 계층에서의 예외를 피할 수 없다면, 상위 계층에서 그 예외를 조용히 처리하여 문제를 API 호출자에까지 전파하지 않는 방법이 있다.

이 경우 발생한 예외는 java.util.logging 같은 적절한 로깅 기능을 활용하여 기록해두면 좋다.

Related posts