[EffectiveJava] item70 - 복구할 수 있는 상황에는 검사 예외를, 프로그래밍 오류에는 런타임 예외를 사용하라
14 Jul 2023자바는 문제 상황을 알리는 타입(throwable)으로 검사 예외, 런타임 예외, 에러, 이렇게 세 가지를 제공하는데, 언제 무엇을 사용해야 하는지 헷갈려 하는 프로그래머들이 종종 있다.
먼저 검사 예외(CheckedException) 와 비검사 예외(UncheckedException) 에 대해 간략하게 알아 보고 가자.
출처: https://www.javamadesoeasy.com/2015/05/exception-handling-exception-hierarchy.html
검사 예외 (CheckedException)
컴파일 단계에서 컴파일러가 체크한다, Exception 하위 클래스 중 Runtime 제외한 예외이다.
예외 발생시 트랜잭션을 롤백하지 않는다.
ex) IOException, SQLException
비검사 예외 (Unchecked Exception)
컴파일 단계에서 컴파일러가 체크하지 않고, 실행단계인 런타임 단계에서 예외가 발생한다.
예외 발생시 트랜잭션을 롤백한다.
ex) NullPointerException, OutOfBoundsException
검사 예외
호출하는 쪽에서 복구하리라 여겨지는 상황이라면 검사 예외를 사용하라.
이것이 검사와 비검사 예외를 구분하는 기본 규칙이다. 검사 예외를 던지면 호출자가 그 예외를 catch로 잡아 처리하거나 더 바깥으로 전파하도록 강제하게 된다. 따라서 검사 예외 각각은 그 메서드를 호출했을 때 발생할 수 있는 결과임을 API 사용자에게 알려주는 것이다.
비검사 예외 throwable
비검사 throwable은 두 가지로, 바로 런타임 예외와 에러다. 둘 다 동작 측면에서는 다르지 않다. 이 둘은 프로그램에서 잡을 필요가 없거나 혹은 통상적으로는 잡지 말아야 한다.
프로그램에서 비검사 예외나 에러를 던졌다는 것은 복구가 불가는하거나 더 실행해봐야 득보다는 실이 많다는 뜻이다.
런타임 예외
프로그래밍 오류를 나타낼 때는 런타임 예외를 사용하자. 런타임 예외의 대부분은 전제조건을 만족하지 못했을 때 발생한다.
전제조건 위배란 단순히 클라이언트가 해당 API의 명세에 기록된 제약을 지키지 못했다는 뜻이다.
예를 들면, 배열의 인덱스는 0에서 ‘배열 크기 -1’ 사이여야 한다. 이 전제 조건을 지키지 못할 경우 ArrayIndexOutOfBoundsException이 발생한다.
예외를 던지는 기준
해당 자원 고갈 상황이 복구될 수 있는 것인지는 API 설계자의 판단에 달렸다. 복구 가능하다고 믿는다면 검사 예외를, 그렇지 않다면 런타임 예외를 사용하자. 확인하기 어렵다면 아마도 비검사 예외를 선택하는 편이 나을 것이다.
에러의 상황
에러는 보통 JVM이 자원 부족, 불변식 깨짐 등 더 이상 수행을 계쏙할 수 없는 상황을 나타낼 때 사용한다.
Error클래스를 상속해 하위 클래스를 만드는 일은 자제 해야한다. 구현하는 비검사 throwable은 모두 RuntimeException의 하위 클래스여야 한다. Error는 상속하지 말아야 할 뿐 아니라, throw 문으로 직접 던지는 일도 없어야 한다. (AssertionError는 예외다.)
throwable
Excption, RuntimeException, Error를 상속하지 않는 throwable을 만들 수도 있다. 하지만 이런 throwable은 이로울게 없으니 절대로 사용하지 말자! throwable은 정상적인 검사 예외보다 나을 게 하나도 없으면서 API 사용자를 헷갈리게 할 뿐이다.
throwable 클래스들은 대부분 오류 메시지 포맷을 상세히 기술하지 않는데, 이는 JVM이나 릴리스에 따라 포맷이 달라질 수 있기 때문에, 메시지 문자열을 파싱해 얻은 코드는 깨지기가 쉽고 다른 환경에서 동작하지 않을 수 있다.
검사 예외의 상황
검사 예외는 일반적으로 복구할 수 있는 조건일 때 발생한다. 따라서 호출자가 예외 상황에서 벗어나는 데 필요한 정보를 알려주는 메서드를 함께 제공하는 것이 중요하다.
예를 들어 쇼핑몰에서 물건을 구입하려는 데 카드 잔고가 부족하여 검사 예외가 발생했다고 해보자. 그렇다면 이 예외는 잔고가 얼마나 부족한지 알려주는 접근자 메서드를 제공해야 한다.