[이펙티브자바] 아이템70-복구할 수 있는 상황에는 검사 예외를 프로그래밍 오류에는 런타임 예외를 사용하라

핵심 정리: 복구할 수 있는 상황이면 검사 예외를, 프로그래밍 오류라면 비검사 예외를 던지자. 확실하지 않다면 비검사 예외를 던지자. 검사 예외도 아니고 런타임 예외도 아닌 Throwable은 정의하지도 말자. 검사 예외라면 복구에 필요한 정보를 알려주는 메서드도 제공하자.

자바는 문제 상황을 알리는 타입(throwable)으로 검사 예외, 런타임 예외, 에러 이렇게 세 가지를 제공한다. 이 세 가지를 언제 사용하는지 명확히 알고 사용하자.

검사 예외(Checked Exception)

• 호출하는 쪽에서 복구하리라 여겨지는 상황이라면 검사 예외(checked exception)를 사용하라. 검사와 비검사 예외를 구분하는 기본 규칙이다.
• checked exception은 호출자가 그 예외를 catch로 잡아 처리하거나, 위로 전파하도록 강제한다.
• 따라서 메서드 선언에 포함된 checked exception 각각은 그 메서드를 호출했을 때 발생할 수 있는 유력한 결과임을 클라이언트에게 알려주는 것이다.
• 달리 말하면, API설계자는 API사용자에게 검사 예외를 던져주어 그 상황에서 회복해내라고 요구한 것이다.

비검사 예외

• 두 가지로, 바로 런타임 예외와 에러다.
• 둘 다 동작 측면에선 다르지 않다.
• 이 둘은 프로그램에서 잡을 필요가 없거나 혹은 통상적으론 잡지 말아야 한다.
• 프로그램에서 비검사 예외를 던졌따는 건 복구가 불가능하거나 더 실행해봐야 득보단 실이 많다는 뜻이다.
• 이런 throwable 을 잡지 않은 스레드는 적절한 오류 메시지를 내뱉으며 중단된다.

비검사 예외1 - 런타임 예외(Unchecked Exception)

• 프로그래밍 오류를 나타낼 때는 런타임 예외를 사용하자.
• 런타임 예외의 대부분은 전제조건을 만족하지 못했을 때 발생한다.
  • 예를 들어, 배열 인덱스를 -1로 접근하는건 0에서 시작한다는 전제조건을 만족시키지 못한 것이고 그로 인해 ArrayIndexOutOfBoundsException이 발생한 것이다.
• 이상의 조건에서 문제가 하나 있따면, 복구할 수 있는 상황인지 프로그래밍 오류가 항상 명확히 구분되지 않는다는 사실이다.
  • 예를 들어, 자원 고갈은 말도 안되는 크기의 배열을 할당해 생긴 프로그래밍 오류일 수도 있고 진짜로 자원이 부족해서 발생한 문제일 수 있다.
  • 만약 자원이 일시적으로만 부족하거나 수요가 순간적으로만 몰린 것이라면 충분히 복구할 수 있는 상황일 것이다.
  • 따라서 해당 자원 고갈 상황이 복구될 수 있는 것인지는 API설계자의 판단에 달렸다.
• 복구 가능하다고 믿는다면 검사 예외를, 그렇지 않다면 런타임 예외를 사용하자. 확신하기 어렵다면 아마도 비검사 예외를 선택하는 편이 나을 것이다(이유는 아이템71에서 이야기 하겠다.)

비검사 예외2 - 에러

• 보통 JVM이 자원 부족, 불변식 깨짐 등 더 이상 수행을 계속할 수 없는 상황을 나타낼 때 사용한다.
• Error 클래스를 상속해 하위 클래스를 만드는 일은 하지 말자.
  • 자바 언어 명세가 요구하는건 아니지만 업계에 널리 퍼진 규약이다.
• 즉, 여러분이 구현하는 비검사 throwable은 모두 RuntimeException의 하위 클래스여야 한다.(직접적이든 간접적이든)
• Error는 상속하지 말아야 할 뿐 아니라, throw문으로 직접 던지는 일도 없어야 한다.(AssetionError는 예외다)

Exception, RuntimeException, Error를 상속하지 않는 throwable을 절대 만들지 마라.

• 실제로 throwable을 상속하는건 불가능한 것은 아니다.
  • 암묵적으로 일반적인 Checked Exception처럼 다룬다(RuntimeException을 상속하지 않은)
• 하지만 위와 같은 방법은 절대로 사용하지 말자.
  • 정상적인 검사 예외보다 나을게 하나도 없으면서 API사용자를 헷갈리게 할 뿐이다.

API 설계자들도 예외 역시 어떤 메서드라도 정의할 수 있는 완벽한 개체라는 사실을 잊곤 한다.

• 예외의 메서드는 주로 그 예외를 일으킨 상황에 관한 정보를 코드 형태로 전달하는데 쓰인다.
• 이런 메서드가 없다면 프로그래머들은 오류 메시지를 파싱해 정보를 빼내야 하는데, 대단히 나쁜 습관이다(아이템12)
• throwable 클래스들은 대부분 오류 메시지 포맷을 상세히 기술하지 않는데, 이는 JVM이나 릴리스에 따라 포맷이 달라질 수 있단 뜻이다.
• 따라서 문자열을 파싱해 얻은 코드는 깨지기 쉽고 다른 환경에서 동작하지 않을 수 있다.

검사 예외는 일반적으로 복구할 수 있는 조건일 때 발생하기에 호출자가 예외 상황에서 벗어나는데 필요한 정보를 알려주는데 메서드를 함께 제공하는 것이 중요하다.

• 예컨대 쇼핑몰에서 물건을 구입하려는데 카드 잔고가 부족하여 Checked Exception 이 발생했다고 해보자.
• 그렇다면 이 예외는 잔고가 얼마나 부족한지를 알려주는 접근자 메서드를 제공해야 한다.
  • 이 주제는 아이템75에서 더 이야기 할 것이다.