예외 처리와 checked/unchecked 구분은 어떻게 동작합니까?

Question

Accepted Answer

Java는 **`try`/`catch`/`finally`**로 오류를 처리하며, 독특하게 **checked** 예외(반드시 선언하거나 처리해야 함)와 **unchecked** 예외(런타임, 강제되지 않음)를 구분합니다. 이 구분을 이해하는 것은 Java 오류 처리의 핵심입니다.

## 기본 구조

```java
try {
    FileReader f = new FileReader("file.txt");   // IOException 을 던질 수 있음
    // ... 사용 ...
} catch (FileNotFoundException e) {
    System.out.println("not found: " + e.getMessage()); // 구체적인 것 먼저
} catch (IOException e) {
    System.out.println("io error");                      // 더 넓은 것 나중에
} finally {
    System.out.println("항상 실행됨 — 정리");            // 무슨 일이 있어도 실행됨
}
```

`finally`는 예외가 던져지거나 `return`이 발생해도 항상 실행됩니다(정리 작업).

## 예외 계층

```text
Throwable
  ├── Error            — 심각한 JVM 문제 (OutOfMemoryError) — 잡지 말 것
  └── Exception
        ├── RuntimeException  → UNCHECKED (컴파일러가 강제하지 않음)
        │     NullPointerException, IllegalArgumentException, IndexOutOfBounds...
        └── (기타 Exception) → CHECKED (컴파일러가 처리를 강제)
              IOException, SQLException...
```

## Checked 예외 — 컴파일러가 강제

```java
// 반드시 잡거나 `throws` 로 선언해야 함 — 컴파일러가 무시하도록 두지 않음
public void readFile() throws IOException {   // 선언
    Files.readAllLines(Paths.get("file.txt")); // checked IOException 을 던짐
}
```

**Checked** 예외(IOException, SQLException)는 복구 가능하고 예상되는 조건(파일 없음, 네트워크 실패)을 나타냅니다. 컴파일러가 이를 처리하거나 선언하도록 *강제*합니다 — 외부 실패 처리를 명시적으로 만듭니다.

## Unchecked 예외 — 런타임, 강제되지 않음

```java
// 선언하거나 잡을 필요 없음 — 보통 프로그래밍 버그를 나타냄
String s = null;
s.length();                       // NullPointerException (unchecked)
int x = arr[10];                   // ArrayIndexOutOfBoundsException (unchecked)
Integer.parseInt("abc");           // NumberFormatException (unchecked)
```

**Unchecked**(RuntimeException 하위 클래스)는 보통 프로그래밍 오류를 나타냅니다 — 곳곳에서 잡는 대신 버그를 고칩니다. 컴파일러가 처리를 강제하지 않습니다.

## try-with-resources (자동 정리)

```java
// AutoCloseable 을 구현한 리소스는 자동으로 닫힘
try (FileReader f = new FileReader("file.txt")) {
    // f 사용
}   // 예외가 발생해도 f.close() 가 자동 호출됨 — finally 불필요
```

## 모범 사례

```text
✓ 맨 Exception 이 아니라 구체적인 예외를 잡을 것
✓ 파일/연결에는 try-with-resources 를 사용 (자동 닫기)
✓ 예외를 조용히 삼키지 말 것 (빈 catch 블록)
✓ 의미 있는 예외를 던지고, 메시지에 컨텍스트를 포함할 것
✓ 커스텀 예외는 Exception(checked) 또는 RuntimeException(unchecked) 을 확장
```

## 왜 중요한가

견고한 오류 처리는 필수적이며, Java의 **checked/unchecked 구분은 깊이 이해할 가치가 있는 정의적(그리고 논쟁적) 특징**입니다.

Checked 예외는 예상되는 외부 실패(I/O, DB)의 명시적 처리를 강제합니다 — 신뢰성을 촉진하지만 때때로 장황하다고 비판받습니다; unchecked 예외는 일상적으로 잡기보다는 고쳐야 할 버그를 나타냅니다.

계층 구조, 각 종류가 언제 적용되는지, `try/catch/finally` 의미론, 그리고 자동 정리를 위한 현대적 **try-with-resources**를 아는 것은 올바르고 신뢰할 수 있는 Java를 작성하고 자신만의 예외를 적절히 설계하는 데 근본적입니다.

이 구분은 Java API가 설계되는 방식을 형성하며 흔한 면접 및 코드 리뷰 주제입니다.