📌개요

Java 예외 처리는 프로그램의 안정성, 복원력, 유지보수성을 결정 짓는 핵심 설계 요소다.

예외는 크게 다음 세 가지로 구분된다.

• Checked Exception: 외부 자원 접근 등 복구 가능한 예외 상황을 명시적으로 선언 (컴파일 타임에 처리)
• Unchecked Exception: 실행 중 발생하는 로직 오류, 주로 프로그래머의 실수에서 기인, 명시적 처리 강제가 없다.
• Error: OutOfMemory, StackOverflowError와 같은 시스템 레벨의 치명적 오류

특히 Checked, Unchecked Exception 간의 선택은 단순한 문법 차원이 아니라 설계 전략과 깊은 연관이 있다.

📌내용

Java 예외 계층 구조

해당 계보도가 전부는 아니며 필요한 부분만 그렸다는 점을 참고하자.

    classDiagram
    Object <|-- Throwable
    Throwable <|-- Exception
    Throwable <|-- Error

    %% === Unchecked Exceptions
    Exception <|-- RuntimeException
    RuntimeException <|-- NullPointerException
    RuntimeException <|-- IllegalArgumentException
    RuntimeException <|-- ArithmeticException
    RuntimeException <|-- IllegalStateException
    RuntimeException <|-- UnsupportedOperationException


    %% === Checked Exceptions
    Exception ..> IOException : checked
    Exception ..> SQLException : checked
    IOException ..> FileNotFoundException : checked

    %% === Errors
    Error <|-- OutOfMemoryError
    Error <|-- StackOverflowError
    Error <|-- LinkageError
    Error <|-- VirtualMachineError
  

Checked Exception

• RuntimeException을 상속하지 않는 예외
• 컴파일 시점에 강제적으로 처리 필요(try/catch 또는 throws)
• 복구 가능성이 있는 외부 자원 오류 등

예시 코드

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16

import java.io.*;
import java.util.*;

public class CheckedExceptionExample {
    public static void main(String[] args) {
        try {
            Scanner scanner = new Scanner(new File("example.txt"));
            while (scanner.hasNextLine()) {
                System.out.println(scanner.nextLine());
            }
            scanner.close();
        } catch (FileNotFoundException e) {
            System.out.println("파일을 찾을 수 없습니다: " + e.getMessage());
        }
    }
}

Unchecked Exception

• RuntimeException 또는 그 하위 클래스
• 컴파일러 검사 없음, 개발자 의도에 따라 예외 처리 선택
• 대부분 개발자의 실수 또는 버그로 발생

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12

public class UncheckedExceptionExample {
    public static void main(String[] args) {
        int[] numbers = {1, 2, 3};
        int index = 10;

        try {
            System.out.println(numbers[index]);
        } catch (ArrayIndexOutOfBoundsException e) {
            System.out.println("잘못된 인덱스 접근: " + e.getMessage());
        }
    }
}

언제 어떤 예외를 사용할까?

예외 처리의 진화 흐름 요약

예외를 설계 관점에서 본다는 것

누가, 언제, 어떤 책임을 갖고 이 탈출권을 행사해야 할까?

• 사용자 입력 오류가 발생했을 때?
• DB 연결 실패가 발생했을 때?
• 도메인 규칙을 어겼을 때?

···사람들에게서 잊혀졌을 때다···!!!

모든 예외를 try-catch로 처리할 수도 있지만 그건 제어 흐름의 책임을 흐트러뜨리고 도메인의 진실을 숨기는 위험한 선택일 수 있다.

예외 설계의 3요소

예외는 무조건 처리하는 것이 아니라 올바른 계층에서 해석하는 것

예외를 너무 빨리 처리해버리면 문제를 숨기게 된다.

• 예시 코드

  1 2 3 4 5

  try { orderService.placeOrder(...); } catch (Exception e) { log.warn("에러 발생", e); // 그리고 그냥 끗-⭐. }

이렇게 하면 실제로 어떤 문제가 발생했는지 알 수 없고 서비스 로직에서의 책임 분리가 흐려진다. 반대로 모든 예외를 끝까지 전파하면 Controller, API 계층이 도메인의 모든 세부사항을 알아야 한다.

좋은 예외 설계의 기준

1. 도메인 계층에서는 의미 있는 커스텀 예외를 발생 시킨다.
   • 예: InsufficientBalanceException, InvalidCouponException
2. 서비스 계층에서는 예외를 변환하거나 해석하지 않는다.
   • 가능한 한 도메인 예외 그대로 전파 (또는 기술 예외를 도메인 예외로 래핑)
3. 컨트롤러/외부 인터페이스 계층에서 예외를 해석하고 사용자 메시지로 변환한다.
   • 예: @ControllerAdvice, @ExceptionHandler, HTTP 상태 코드 매핑

예외와 트랜잭션 롤백의 관계

Spring에서는 @Transactional을 사용할 경우, 예외 발생 시 해당 트랜잭션의 롤백 여부는 예외의 종류에 따라 자동으로 결정된다.

용어 정리부터

Spring의 기본 트랜잭션 롤백 규칙

예시 코드

1
2
3
4
5
6
7

@Transactional
public void processPayment(Order order) throws PaymentException {
    // ...
    if (!paymentGateway.charge(order)) {
        throw new PaymentException("결제 실패"); // Checked Exception
    }
}

위 예시는 기본적으로 트랜잭션이 커밋된다. 하지만 결제 실패 시에도 롤백되길 원할 수 있다.

롤백 대상 명시 방법

• rollbackFor 속성 사용

  1 2 3 4

  @Transactional(rollbackFor = PaymentException.class) public void processPayment(Order order) throws PaymentException { // ... }

• noRollbackFor로 반대로 명시도 가능

  1	@Transactional(noRollbackFor = ValidationException.class)

🎯결론

• Spring은 예외의 의미나 복구 가능성에 관계 없이 예외의 타입만을 기준으로 트랜잭션 롤백 여부를 결정한다.
• 기본적으로 RuntimeException 및 Error 만 롤백 대상이며, 체크 예외는 롤백되지 않는다.
• 체크 예외에 대해서도 롤백이 필요하다면, @Transactional 애너테이션의 rollbackFor 속성을 사용하여 명시적으로 지정하거나, 언체크 예외로 감싸서 던져야 한다.

⚙️EndNote

사전 지식

• Java의 상속 구조 (Object, Throwable, Exception)
• try-catch-finally 구문 이해
• throws와 throw의 차이
• Java의 기본 예외 클래스 예시 (NullPointerException, IOException 등)

더 알아보기

• Effective Java > Item 69~77: 예외 처리의 정석
• Spring의 전역 예외 처리 방식: @ControllerAdvice, @ExceptionHandler
• 도메인 기반 예외 설계: BusinessException, ValidationException, PolicyViolationException
• DDD에서의 예외 처리 전략: 도메인 규칙 위반 표현, 계층 간 책임 분리
• Exception vs Error: JVM에서의 메모리 관리와 예외 차이
• 로깅과 예외: log.warn, log.error 언제 쓰고, StackTrace는 어떻게 다룰 것인가

참고 자료

• 자바 예외 처리의 진화: Checked Exception에서 Unchecked Exception으로
• [Java] Checked Exception과 Unchecked Exception
• Rolling Back a Declarative Transaction