Bagaimana cara kerja exception handling dan perbedaan checked/unchecked?

Question

Accepted Answer

Java menangani kesalahan dengan **`try`/`catch`/`finally`**, dan secara unik membedakan **checked** exceptions (harus dideklarasikan atau ditangani) dari **unchecked** exceptions (runtime, tidak dipaksakan). Memahami perbedaan ini adalah pusat dari penanganan kesalahan Java.

## Struktur dasar

```java
try {
    FileReader f = new FileReader("file.txt");   // may throw IOException
    // ... use it ...
} catch (FileNotFoundException e) {
    System.out.println("not found: " + e.getMessage()); // specific first
} catch (IOException e) {
    System.out.println("io error");                      // broader after
} finally {
    System.out.println("always runs — cleanup");         // runs no matter what
}
```

`finally` selalu dijalankan (pembersihan), bahkan jika pengecualian dilemparkan atau `return` terjadi.

## Hierarki exception

```text
Throwable
  ├── Error            — serious JVM problems (OutOfMemoryError) — don't catch
  └── Exception
        ├── RuntimeException  → UNCHECKED (not enforced by the compiler)
        │     NullPointerException, IllegalArgumentException, IndexOutOfBounds...
        └── (other Exceptions) → CHECKED (compiler enforces handling)
              IOException, SQLException...
```

## Checked exceptions — dipaksakan oleh compiler

```java
// MUST either catch it or declare `throws` — the compiler won't let you ignore it
public void readFile() throws IOException {   // declare it
    Files.readAllLines(Paths.get("file.txt")); // throws checked IOException
}
```

**Checked** exceptions (IOException, SQLException) mewakili kondisi yang dapat dipulihkan dan diharapkan (file hilang, kegagalan jaringan). Compiler *memaksa* Anda untuk menangani atau mendeklarasikannya — membuat penanganan kegagalan eksternal eksplisit.

## Unchecked exceptions — runtime, tidak dipaksakan

```java
// NOT required to declare or catch — usually indicate PROGRAMMING BUGS
String s = null;
s.length();                       // NullPointerException (unchecked)
int x = arr[10];                   // ArrayIndexOutOfBoundsException (unchecked)
Integer.parseInt("abc");           // NumberFormatException (unchecked)
```

**Unchecked** (subclass RuntimeException) biasanya menandakan kesalahan pemrograman — Anda memperbaiki bug daripada menangkapnya di mana-mana. Compiler tidak memaksa penanganan.

## try-with-resources (pembersihan otomatis)

```java
// resources implementing AutoCloseable are closed automatically
try (FileReader f = new FileReader("file.txt")) {
    // use f
}   // f.close() called automatically, even on exception — no finally needed
```

## Praktik terbaik

```text
✓ Catch specific exceptions, not bare Exception
✓ Use try-with-resources for files/connections (auto-close)
✓ Don't swallow exceptions silently (empty catch blocks)
✓ Throw meaningful exceptions; include context in messages
✓ Custom exceptions extend Exception (checked) or RuntimeException (unchecked)
```

## Mengapa ini penting

Penanganan kesalahan yang kokoh sangat penting, dan **perbedaan checked/unchecked Java adalah fitur yang mendefinisikan (dan diperdebatkan)** yang perlu dipahami secara mendalam.

Checked exceptions memaksa penanganan eksplisit dari kegagalan eksternal yang diharapkan (I/O, DB) — mempromosikan keandalan tetapi terkadang dikritik sebagai bertele-tele; unchecked exceptions mewakili bug yang akan diperbaiki daripada ditangkap secara rutin.

Mengetahui hierarki, kapan setiap jenis berlaku, semantik `try/catch/finally`, dan **try-with-resources** modern untuk pembersihan otomatis adalah fundamental untuk menulis Java yang benar dan dapat diandalkan — dan untuk merancang exception Anda sendiri dengan tepat.

Perbedaan membentuk cara API Java dirancang dan merupakan topik wawancara dan tinjauan kode yang sering.