본 프로젝트 자료는 김영한님의 스프링 DB 1편 - 데이터 접근 핵심 원리을 참고 제작됐음을 알립니다.
예외 계층
- 다들 알다시피 Object 는 최상위 부모 다 <-> 예외의 부모도 최상위 부모다.
- Throwable : 최상위 예외, 그 밑에 Exception 과 Error 가 있다.
- 예외에는 체크 예외 와 언체크 예외가 있다.
- Error(언체크) : 메모리 부족이나 심각한 시스템 오류와 같이 애플리케이션에서 복구 불가능한 시스템 예외이다.
- Exception(체크) : 애플리케이션 로직에서 사용할 수 있는 실질적인 최상위 예외이다. 다음과 같이 하위 예외도 체크 예외로 따르지만, RuntimeException 만 예외로 빠진다.
- RuntimeException(언체크 예외, 런타임 예외) : 컴파일러가 체크 하지 않는 언체크 예외이다.
- RuntimeException 과 그 자식 예외는 모두 언체크 예외이다.
- RuntimeException 의 이름을 따라서 RuntimeException 과 그 하위 언체크 예외를 런타임 예외라고 많이 부른다.
예외 기본 규칙
예외에는 2가지 규칙이 있다.
예외 처리
예외 던짐
-
예외를 처리하거나 던질 수 있다는 가정하에 지정한 예외 뿐만 아니라 그 하위 예외까지 함께 처리된다.
-
하지만 처리 와 던짐 둘 다 해결하지 못하고 계속 넘길 경우 어떻게 될까?
- 자바 main() 쓰레드의 경우 예외 로그를 출력하면서 시스템이 종료된다.
- 하나의 예외 때문에 시스템 종료되면 안된다. WAS가 해당 예외를 받아서 처리하는데, 주로 사용자에게 개발자가 지정한, 오류 페이지를 보여준다.
이제 차례대로 체크와 언체크 예외가 뭔지 알아보자.
체크 예외 기본 이해
Exception 과 그 하위 예외는 모두 컴파일러가 체크하는 체크 예외이다(RuntimeException 제외). 체크 예외는 무조건 잡거나 던지는 것을 사용해 처리해야 한다.
테스트로 어떻게 사용되는 대략적으로 알아보자.
CheckedTest - 테스트 생성
하나씩 알아보자.
- MyCheckedException 은 Exception 받은 체크 예외 다.
- 예외가 제공하는 기본 기능들 중에 오류 메시지를 보관하는 기능이 있다. 이걸 사용해볼려고 한다.
먼저 예외를 잡아서 처리하는 코드를 실행해보자.
Repository.call() 에서 MyCheckedException 예외가 발생하고, 그 예외를 Service.callCatch() 에서 잡는 것을 확인할 수 있다.
예외를 잡고 남긴 메시지를 처리해주는 것을 확인 할 수 있다.
이번에는 예외를 처리하지 않고, 밖으로 던지는 코드를 살펴보자.
service.callThrow() 에서 예외를 처리하지 않고, 밖으로 던졌기 때문에 예외가 테스트 메서드까지 올라온다.
테스트에서는 기대한 것 처럼 MyCheckedException 예외가 던져지면 성공으로 처리한다.
여기서는 MyCheckedException 을 밖으로 던지도록 지정해주었다.
체크 예외의 장단점
- 장점: 개발자가 실수로 예외를 누락하지 않도록 컴파일러를 통해 문제를 잡아주는 훌륭한 안전 장치이다.
- 단점: 하지만 실제로는 개발자가 모든 체크 예외를 반드시 잡거나 던지도록 처리해야 하기 때문에, 너무 번거로운 일이 된다. 크게 신경쓰고 싶지 않은 예외까지 모두 챙겨야 한다.
언체크 예외 기본 이해
RuntimeException 과 그 하위 예외는 언체크 예외로 분류된다.
언체크 예외는 컴파일러가 예외를 체크하지 않는다는 뜻 이다.
체크 예외 와 언체크 예외는 기본적으로 비슷하다. 다른 점은 체크 예외와 다르게 언체크 예외는 throws 를 선언하지 않고, 생략할 수 있다.
- 이 경우 자동으로 예외를 던진다.
점검
- 체크 예외: 예외를 잡아서 처리하지 않으면 항상 throws 에 던지는 예외를 선언해야 한다.
- 언체크 예외: 예외를 잡아서 처리하지 않아도 throws 를 생략할 수 있다.
이제 언체크도 테스트를 통해 어떻게 사용되는 대략적으로 알아보자.
UncheckedTest - 테스트 생성
하나씩 알아보자.
언체크 예외를 잡아서 처리하는 코드
- 필요한 경우 예외 체크처럼 이렇게 잡아서 처리할 수 있다.
생략 가능한 코드1
public void callThrow() {
repository.call();
}- 언체크 예외는 체크 예외와 다르게 throws 예외 를 선언하지 않아도 된다.
- 말 그대로 컴파일러가 이런 부분을 체크하지 않기 때문에 언체크 예외이다.
생랙 가능한 코드2
public void callThrow() throws MyUncheckedException {
repository.call();
}- 위 처럼 선언해도 된다. 물론 생략도 가능.
- 중요한 예외의 경우 이렇게 선언해두면 해당 코드를 호출하는 개발자가 이런 예외가 발생한다는 점을 IDE를 통해 좀 더 편리하게 인지할 수 있다.
- 컴파일 시점에 막을 수 있는 것은 아니고, IDE를 통해서 인지할 수 있는 정도이다.
언체크 예외의 장단점
- 장점: 신경쓰고 싶지 않은 언체크 예외를 무시할 수 있다. 체크 예외의 경우 처리할 수 없는 예외를 밖으로 던지려면 항상 throws 예외 를 선언해야 하지만, 언체크 예외는 이 부분을 생략할 수 있다. 이후에 설명하겠지만, 신경쓰고 싶지 않은 예외의 의존관계를 참조하지 않아도 되는 장점이 있다.
- 단점: 언체크 예외는 개발자가 실수로 예외를 누락할 수 있다. 반면에 체크 예외는 컴파일러를 통해 예외 누락을 잡아준다.
체크 예외 활용
언제 체크 예외를 사용하고 언제 언체크(런타임) 예외를 사용하면 좋을지 알아보자.
기본 원칙은 다음 2가지를 기억하자.
- 기본적으로 언체크(런타임) 예외를 사용하자.
- 체크 예외는 비즈니스 로직상 의도적으로 던지는 예외에만 사용하자.
- 이 경우 해당 예외를 잡아서 반드시 처리해야 하는 문제일 때만 체크 예외를 사용해야 한다.
- 체크 예외 예)
- 계좌 이체 실패 예외
- 결제시 포인트 부족 예외
- 로그인 ID, PW 불일치 예외
- 물론 이 경우에도 100% 체크 예외로 만들어야 하는 것은 아니다. 다만 계좌 이체 실패처럼 매우 심각한 문제는 개발자가 실수로 예외를 놓치면 안된다고 판단할 수 있다. 이 경우 체크 예외로 만들어 두면 컴파일러를 통해 놓친 예외를 인지할 수 있다.
체크 예외의 문제점
- Repository 는 DB에 접근해서 데이터를 저장하고 관리한다. SQLException 체크 예외를 던진다.
- NetworkClient 는 외부 네트워크에 접속해서 어떤 기능을 처리하는 객체이다. ConnectException 체크 예외를 던진다.
- Service 는 Repository 와 NetworkClient 둘 다 호출한다.
- 따라서 두 곳에서 올라오는 체크 예외인 SQLException 과 ConnectException 을 처리해야 한다.
- 하지만 서비스는 이 둘을 처리할 방법을 모른다. 따라서 둘 다 밖으로 던진다.
- method() throws SQLException, ConnectException
- Controller 도 Service 와 마찬가지로 처리할 방법이 없어 던져버린다.
- method() throws SQLException, ConnectException
- 웹 애플리케이션이라면 서블릿의 오류 페이지나, 또는 스프링 MVC가 제공하는 ControllerAdvice 에서 이런 예외를 공통으로 처리한다.
- 이렇게 해결이 불가능한 공통 예외는 별도의 오류 로그를 남기고, 개발자가 오류를 빨리 인지할 수 있도록 메일, 알림(문자, 슬랙)등을 통해서 전달 받아야 한다. 예를 들어서 SQLException 이 잘못된 SQL을 작성해서 발생했다면, 개발자가 해당 SQL을 수정해서 배포하기 전까지 사용자는 같은 문제를 겪게 된다.
이제 어떻게 돌아가는지 대충 파악했으니 테스트 코드로 처리과정을 배워보자.
CheckedAppTest - 테스트 생성
지금까지 설명한 예시와 코드를 보면 크게 2가지 문제를 알 수 있다.
1. 복구 불가능한 예외
예외는 일부 빼고 복구가 불가능하다. 따라서 이런 문제들을 공통으로 처리할 방법을 찾아야 하는데, 그게 바로 ControllerAdvice 다.
2. 의존 관계에 대한 문제
체크 예외의 또 다른 심각한 문제는 예외에 대한 의존 관계 문제이다.
앞서 대부분의 예외는 복구 불가능한 예외라고 했다. 그런데 체크 예외이기 때문에 컨트롤러나 서비스 입장에서는 본인이 처리할 수 없어도 어쩔 수 없이 throws를 통해 던지는 예외를 선언해야 한다.
다음과 같이 예외를 던지는 부분이 서비스 와 컨트롤러에서 java.sql.SQLException 을 의존하기 때문에 문제가 발생한다.
향후 JPAException 로 교환할 때 전에 쓰던 Exception에 의존하는 부분을 전부 수정해야 한다.'
서비스나 컨트롤러 입장에서는 어차피 본인이 처리할 수 도 없는 예외를 의존해야 하는 큰 단점이 발생하게 된다.
결과적으로 OCP, DI를 통해 클라이언트 코드의 변경 없이 대상 구현체를 변경할 수 있다는 장점이 체크 예외 때문에 발목을 잡게 된다.
체크 예외 구현 기술 변경시 파급 효과
정리
처리할 수 있는 체크 예외라면 서비스나 컨트롤러에서 처리하겠지만, 지금처럼 데이터베이스나 네트워크 통신처럼 시스템 레벨에서 올라온 예외들은 대부분 복구가 불가능하다. 그리고 실무에서 발생하는 대부분의 예외들은 이런 시스템 예외들이다.
- Exception 최상위 예외 던지면 아래까지 전부 한번에 처리할 수 있지만, 중요한 체크 예외를 다 놓칠 수 있어 이것도 좋은 방법은 아니다.
언체크 예외 활용
런타임 예외를 테스트를 통해 확인해볼려고 한다.
런타임 예외 사용
- SQLException -> RuntimeSQLException
- ConnectException -> RuntimeConnectException
런타임 예외이기 때문에 서비스, 컨트롤러는 해당 예외들을 처리할 수 없다면 별도의 선언 없이 그냥 두면 된다.
UncheckedAppTest - 테스트 생성
위 설명과 같이 예외를 모두 전환했다.
런타임 예외 - 대부분 복구 불가능한 예외
시스템에서 발생한 예외는 대부분 복구 불가능 예외이다. 런타임 예외를 사용하면 서비스나 컨트롤러가 이런 복구 불가능한 예외를 신경쓰지 않아도 된다. 물론 이렇게 복구 불가능한 예외는 일관성 있게 공통으로 처리해야 한다.
런타임 예외 - 의존 관계에 대한 문제
런타임 예외는 해당 객체가 처리할 수 없는 예외는 무시하면 된다. 따라서 체크 예외 처럼 예외를 강제로 의존하지 않아도 된다.
런타임 예외 throws 생략
런타임이기에 기존에 throws 를 전부 지워 생략하도록 했다.
따라서 컨트롤러와 서비스에서 해당 예외에 대한 의존 관계가 발생하지 않는다.
런타임 예외 구현 기술 변경시 파급 효과
- 런타임 예외를 사용하면 중간에 기술이 변경되어도 해당 예외를 사용하지 않는 컨트롤러, 서비스에서는 코드를 변경하지 않도록 했다.
- 구현 기술이 변경되는 경우, 예외를 공통으로 처리하는 곳에서는 예외에 따른 다른 처리가 필요할 수 있다. 하지만 공통 처리하는 한곳만 변경하면 되기 때문에 변경의 영향 범위는 최소화 된다.
추가로 런타임 예외는 놓칠 수 있기 때문에 문서화가 중요하다.
throws 런타임예외 을 남겨서 중요한 예외를 인지할 수 있게 해준다.
