자바 예외 처리 메커니즘과 반환값 동작 원리

예외의 기본 개념 및 유의사항

프로그램 실행 흐름을 방해하는 비정상적인 이벤트를 예외(Exception)라고 합니다. 동일한 코드라도 입력값이나 사용자 조작, 실행 환경에 따라 예외가 발생할 수도 있고 정상적으로 실행될 수도 있습니다. 견고한 소프트웨어를 개발하기 위해서는 예외 발생 가능성을 최소화하는 방향으로 코드를 작성해야 합니다.

예외 상황을 처리하기 위해 과도하게 조건문(if-else)을 남발하면 코드가 비대해지고 유지보수가 어려워집니다. 자바는 이러한 문제를 해결하기 위해 체계적인 예외 처리 메커니즘을 제공합니다. 예외 처리를 활용하면 프로그램의 비정상 종료를 방지하고, 오류 발생 시에도 후속 코드가 계속 실행되도록 제어할 수 있습니다.

예외를 처리할 때는 단순히 오류 발생 여부만 출력하기보다, 문제의 원인을 정확히 파악할 수 있도록 상세한 스택 트레이스 정보를 기록해야 합니다. e.printStackTrace() 메서드를 사용하면 예외가 발생한 경로를 추적할 수 있으며, 이를 통해 오류가 발생한 구체적인 클래스와 메서드를 신속하게 찾아낼 수 있습니다.

예외 처리 핵심 키워드

자바의 예외 처리는 주로 다음 다섯 가지 예약어를 통해 이루어집니다.

try: 예외가 발생할 가능성이 있는 코드를 감쌉니다.
catch: try 블록에서 발생한 예외를 포착하여 처리합니다.
finally: 예외 발생 여부와 관계없이 반드시 실행되어야 하는 코드를 포함합니다.
throw: 메서드 내부에서 명시적으로 예외 객체를 발생시킵니다.
throws: 메서드 선언부에 작성하여, 해당 메서드에서 발생할 수 있는 예외를 호출부로 전달합니다.

예외 처리 방식

1. 예외 포착 (try-catch-finally)

가장 기본적인 예외 처리 구조입니다. 구체적인 예외 유형별로 별도의 catch 블록을 두어 맞춤형 오류 처리를 구현할 수 있습니다. 다중 catch 블록을 사용할 때는 상속 관계에 주의해야 합니다. 자식 클래스(더 구체적인 예외)의 catch 블록을 부모 클래스(더 일반적인 예외)보다 앞에 배치해야 컴파일 오류를 방지할 수 있습니다.

실행 흐름은 다음과 같이 나뉩니다:

정상 실행: try 블록의 모든 코드가 순차적으로 수행됩니다.
예외 발생: 예외 발생 지점 이전의 코드만 실행되며, 이후 코드는 건너뜁니다. 발생된 예외와 일치하는 catch 블록으로 제어가 이동합니다.
매칭 실패: 발생한 예외가 어떤 catch 블록과도 일치하지 않으면 프로그램이 비정상 종료됩니다. 이를 방지하기 위해 가장 마지막 catch 블록에 모든 예외의 조상인 Exception을 배치하는 것이 권장됩니다.

finally 블록의 역할

finally 블록은 예외 발생 여부와 무관하게 항상 실행됩니다. 주로 파일 입출력(IO) 스트림 닫기, 데이터베이스 연결 해제 등 자원 반환 작업에 활용됩니다.

try-catch-finally와 반환값(Return)의 상호작용

메서드 내에 try-catch-finally 구조가 존재하고 반환값이 있을 때, 각 블록의 return문이 어떻게 처리되는지 정확히 이해해야 합니다. 다음 네 가지 사례를 통해 그 원리를 분석해 보겠습니다.

사례 1: finally에 return문이 없는 경우

public class ReturnValueAnalysis1 {
    public static void main(String[] args) {
        System.out.println(calculateData());
    }

    private static int calculateData() {
        int metric = 20;
        try {
            System.out.println("Try 블록 진입");
            return metric += 30; 
        } catch (Exception e) {
            System.out.println("예외 포착");
        } finally {
            System.out.println("Finally 블록 실행");
        }
        return metric;
    }
}
// 출력 결과:
// Try 블록 진입
// Finally 블록 실행
// 50

분석: try 블록의 return metric += 30은 덧셈 연산과 반환 연산으로 분리됩니다. 먼저 metric이 50으로 계산되어 반환 대기 상태가 됩니다. 이후 finally 블록이 실행된 후, 대기 중이던 50이 최종적으로 반환됩니다.

사례 2: finally에 return문이 존재하는 경우

public class ReturnValueAnalysis2 {
    public static void main(String[] args) {
        System.out.println(calculateData());
    }

    private static int calculateData() {
        int metric = 20;
        try {
            System.out.println("Try 블록 진입");
            return metric += 30;
        } catch (Exception e) {
            System.out.println("예외 포착");
        } finally {
            System.out.println("Finally 블록 실행");
            metric = 999;
            return metric;
        }
    }
}
// 출력 결과:
// Try 블록 진입
// Finally 블록 실행
// 999

분석: finally 블록 내의 return문이 try 블록의 return을 강제로 덮어씁니다. 결과적으로 try에서 반환하려던 값은 무시되고 finally에서 지정한 값이 반환됩니다.

사례 3: 기본 자료형 반환 시 finally에서 값 변경

public class ReturnValueAnalysis3 {
    public static void main(String[] args) {
        System.out.println(calculateData());
    }

    private static int calculateData() {
        int metric = 20;
        try {
            System.out.println("Try 블록 진입");
            return metric;
        } catch (Exception e) {
            System.out.println("예외 포착");
        } finally {
            System.out.println("Finally 블록 실행");
            metric = 100;
        }
        return metric;
    }
}
// 출력 결과:
// Try 블록 진입
// Finally 블록 실행
// 20

분석: finally 블록에서 변수의 값을 100으로 변경했음에도 불구하고 20이 반환됩니다. try 블록에서 기본 자료형의 return을 만날 때, 해당 시점의 값이 이미 별도의 공간에 보존되기 때문입니다. finally에서 로컬 변수를 수정해도 보존된 반환값에는 영향을 미치지 않습니다.

사례 4: 참조 자료형 반환 시 finally에서 상태 변경

class AppData {
    int value = 20;
}

public class ReturnValueAnalysis4 {
    public static void main(String[] args) {
        System.out.println(calculateData().value);
    }

    private static AppData calculateData() {
        AppData data = new AppData();
        try {
            System.out.println("Try 블록 진입");
            return data;
        } catch (Exception e) {
            System.out.println("예외 포착");
        } finally {
            System.out.println("Finally 블록 실행");
            data.value = 100;
        }
        return data;
    }
}
// 출력 결과:
// Try 블록 진입
// Finally 블록 실행
// 100

분석: 사례 3과 달리 이번에는 finally에서 변경한 값이 그대로 반영되었습니다. 참조 자료형의 return은 객체의 주소값을 보존합니다. finally 블록에서 객체 내부의 속성값을 수정하면, 보존된 주소값이 가리키는 실제 힙 메모리 영역의 데이터가 변경되는 것이므로 최종적으로 수정된 상태를 반환하게 됩니다.

요약:

finally에 return문이 있으면 try의 return을 덮어씁니다.
finally에 return문이 없고 기본 자료형의 값을 변경하면, 변경 사항이 반영되지 않고 try 진입 시점의 값이 반환됩니다.
finally에 return문이 없고 참조 자료형의 내부 상태를 변경하면, 변경 사항이 반영된 객체가 반환됩니다.

2. 예외 선언 (throws)

현재 메서드에서 예외를 직접 처리하지 않고, 자신을 호출한 상위 메서드로 예외 처리 책임을 전가할 때 사용합니다. 여러 계층의 메서드 호출이 일어날 때 각 메서드마다 try-catch를 중복으로 작성하는 것을 방지하고, 최상위 호출부에서 일괄적으로 예외를 처리할 수 있어 코드의 가독성을 높여줍니다.

3. 예외 발생 (throw)

특정 조건에서 개발자가 의도적으로 예외를 발생시키고자 할 때 사용합니다. 메서드 시그니처에 throws를 명시한 후, 메서드 내부의 로직에서 throw new Exception("오류 메시지");와 같이 새로운 예외 객체를 생성하여 던질 수 있습니다.

4. 사용자 정의 예외 (Custom Exception)

자바에서 기본적으로 제공하는 예외 클래스만으로 비즈니스 로직의 특수한 오류 상황을 명확히 표현하기 어려울 때 직접 예외 클래스를 정의하여 사용합니다. Exception 클래스를 상속받고, 상황에 맞는 생성자를 구현합니다.

public class InvalidTransactionException extends Exception {

    public InvalidTransactionException() {
        super("유효하지 않은 거래 요청입니다.");
    }
    
    public InvalidTransactionException(String customMessage) {
        super(customMessage);
    }
}

// 다른 클래스에서의 활용 예시:
// throw new InvalidTransactionException("잔액이 부족합니다.");

예외 계층 구조

자바의 모든 예외와 오류 클래스는 Throwable 클래스를 최상위 조상으로 둡니다. Throwable은 크게 두 가지 하위 클래스로 나뉩니다.

Error: JVM의 메모리 부족(StackOverflowError, OutOfMemoryError) 등 시스템 수준에서 발생하는 심각한 문제입니다. 애플리케이션 코드에서 이를 포착하여 복구하는 것은 사실상 불가능합니다.
Exception: 개발자가 코드를 통해 처리할 수 있는 예외 상황입니다. 이는 다시 두 가지로 세분화됩니다.
- Checked Exception: 컴파일 시점에 반드시 예외 처리 코드를 작성해야 하는 예외입니다 (예: IOException, SQLException).
- Runtime Exception (Unchecked Exception): 실행 시점에 발생하며, 주로 프로그래머의 논리적 실수로 인해 발생합니다. 컴파일러가 강제적으로 처리를 요구하지 않습니다 (예: NullPointerException, IndexOutOfBoundsException).

태그: java ExceptionHandling TryCatchFinally throws THROW

9월 19일 00:37에 게시됨

괴물 클럽