필요 없는 검사 예외 사용은 피하라

검사 예외 회피 방법

1. 비검사 예외

• API를 제대로 사용해도 발생할 수 있는 예외이거나 프로그래머가 의미 있는 조치를 취할 수 있는 경우라면 이 정도 부담쯤은 받아들일 수 있을 것이다.
• 하지만 이 경우들이 아니라면 비검사 예외를 사용하는 것이 좋다. (item70)

아래 두 코드는 프로그래머(API 사용자)가 검사 예외를 책임지는 사례다.

// 프로그래머가 비검사 예외를 호출하는 것으로 해결
} catch (TheCheckedException e) { 
    throw new AssertionError();  

}

// 에러 스택 코드를 호출하고 시스템을 종료시킨다.
} catch (TheCheckedException e) {
    e.printStackTrace();
    System.exit(1);
}

두 경우 모두 애초에 비검사 예외로 API를 만들면 됐을 것이다.

2. Optional

• 검사 예외를 회피하는 두 번째 방법은 적절한 결과 타입을 담은 옵셔널을 반환하는 것이다. (item55) 검사 예외를 던지는 대신 단순히 빈 옵셔널을 반환하면 된다.
• 하지만 이 방식은 단점이 있다. 예외가 발생한 이유를 알려주는 부가 정보를 담을 수 없다는 점이다. (예외를 사용하면 구체적인 예외 타입과 그 타입이 제공하는 메서드들을 활용해 부가 정보를 제공할 수 있다.(item70))

3. 메서드 쪼개기

• 검사 예외를 던지는 메서드를 2개로 쪼개어 비검사 예외로 바꾸는 것이다. 쪼개진 첫 번째 메서드는 예외가 던져질지 여부를 boolean값으로 반환한다.

// 메서드 쪼개기 before

try {
    Obj.action(args);    
} catch (TheCheckedException e) {
    //do something
}

// 메서드 쪼개기 after
if (obj.actionPermitted(args)) {
    obj.action(args);
} else {
    //do something
}

• action 내의 로직을 2개 매소드 (actionPermitted, action) 으로 나눈 모습이다.
• 깔끔함을 어느정도 포기하고 유연함을 얻었다. 한편 actionPermitted는 상태 검사 메서드에 해당하므로 주의를 기울일 필요가 있다.
• 외부 동기화 없이 여러 스레드가 동시에 접근할 수 있거나 외부 요인에 의해 상태가 변할 수 있다면 이 리팩터링은 적절하지 않다. (item69)
• actionPermitted와 action 호출 사이에 객체의 상태가 변할 수 있고, 또 두 메서드가 동일한 로직을 중복해서 가지고 있을 수 있기 때문이다.

핵심 정리

• 꼭 필요한 곳에만 사용한다면 검사 예외는 프로그램의 안전성을 높여주지만 남용하면 쓰기 고통스러운 API를 낳는다. API 호출자가 예외 상황에서
• 복구할 방법이 없다면 비검사 예외를 던지자. 복구가 가능하고 호출자가 그 처리를 해주길 바란다면, 옵셔널 사용을 검토해보자.
• 그래도 여의치 않으면 그때서야 검사 예외를 사용하자.

---

자바에서 예외는 RuntimeException을 상속하지 않고 꼭 처리해야 하는 Checked Exception(검사 예외)과 반대로 명시적으로 처리하지 않아도 되는 Unchecked Exception(비 검사 예외) 로 구분할 수 있다.

검사 예외 - 발생한 문제를 프로그래머가 처리하여 안정성을 높이게끔 해준다. 검사 예외를 과하게 사용하면 오히려 쓰기 불편한 API가 된다.

• 어떤 메서드가 검사 예외를 던질 수 있다고 선언됐다면 이를 호출하는 코드에서는 catch 블록을 두어 그 예외를 붙잡아 처리하거나 더 바깥으로 던져 문제를 전파해야만 한다.
• 검사예외를 던지는 메서드는 스트림 안에서 직접 사용할 수 없기 때문에 (아이템 45-48) 자바 8부터는 부담이 더욱 커졌다.

public static void throwsException(int millisecond) throws IOException {
        
    File file = new File("/test.txt");
    // createNewFile()에서 IOException이 발생하므로 함수 선언부에 throws를 명시하였다. 
    boolean b = file.createNewFile();    

• 먼저 이렇게 throws에 명시를 해야 하는 것과 그렇지 않은 것에 대한 차이를 알아보자.
• 명시를 해야 하는 것은 검사 예외 즉 Checked Exception이다. 목적은 함수 수행 중에 날만한 예외이니 호출하는 측에서는 이를 대비하라.
• 즉 예외가 있는지 검사하고 예외 발생 시 조치하라 이다.
• InterruptedException이 그 대표적인 예이다.

아래 예제를 해석해보면 이렇다 sleep() 함수는 interrupt() 함수 호출 시 InterruptedException이 발생할 수 있으니 대비해야 한다는 것이다.

public static void sleep(int millisecond) {
    try {
        Thread.sleep(millisecond);
    } catch (InterruptedException e) {
        Thread.currentThread().interrupt();
    }
}

• 이 코드와 같이 호출부에서 try - catch로 처리하지 않으면 해당 함수에서 throws 해야 한다.
• (throwsException 함수 예제처럼) 그렇다 이 의미는 호출부에서 처리하지 않고 이 함수를 호출하는 호출자에게 책임을 떠 넘기겠다는 의미다.
• 그러나 특별한 이유가 없다면 예외를 검출할 수 있는 최 전방의 위치에서 잡아서 Logging을 하던 로직에 이를 반영하던 하는 것이 좋다.
• 이 Checked Exception은 통상 발생하더라도 응용프로그램을 계속 운영할 수 있는 상황에서 사용한다.