Miten poikkeuksien käsittely ja tarkistettujen/tarkistamattomien eroavaisuus toimivat?

Question

Accepted Answer

Java käsittelee virheitä **`try`/`catch`/`finally`** avulla ja erottaa ainutlaatuisesti **tarkistetut** poikkeukset (on ilmoitettava tai käsiteltävä) **tarkistamattomista** poikkeuksista (ajonaikainen, ei pakotettu). Tämän erottelun ymmärtäminen on keskeistä Java-virheenkäsittelyyn.

## Perusrakenne

```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` suoritetaan aina (siivous), vaikka poikkeus heitetään tai `return` tapahtuu.

## Poikkeuskierarkia

```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...
```

## Tarkistetut poikkeukset — kääntäjän pakotetut

```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
}
```

**Tarkistetut** poikkeukset (IOException, SQLException) edustavat palautettavia, odotettuja olosuhteita (puuttuva tiedosto, verkkovirhe). Kääntäjä *pakottaa* sinut käsittelemään tai ilmoittamaan ne — tekemällä ulkoisten virheiden käsittelyn eksplisiitiksi.

## Tarkistamaton poikkeukset — ajonaikainen, ei pakotettu

```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)
```

**Tarkistamaton** (RuntimeException-aliluokat) osoittavat yleensä ohjelmointivirheitä — korjaat vian sen sijaan, että pitäisit siitä kiinni kaikkialla. Kääntäjä ei pakota käsittelyä.

## try-with-resources (automaattinen siivous)

```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
```

## Parhaat käytännöt

```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)
```

## Miksi tämä on tärkeää

Vakaa virheenkäsittely on välttämätöntä, ja Javan **tarkistettu/tarkistamaton erottelu on määrittelevä (ja kiistelty) ominaisuus**, jonka arvoinen ymmärtää syvällisesti.

Tarkistetut poikkeukset pakottavat odotettavien ulkoisten virheiden nimenomaisen käsittelyn (I/O, DB) — edistäen luotettavuutta mutta joskus kritisoitu sanalliseksi; tarkistamaton poikkeukset edustavat virheitä, jotka on korjattava sen sijaan, että ne jatkuvasti pidettäisiin.

Kierarkian tunteminen, milloin kutakin tyyppiä sovelletaan, `try/catch/finally`-semantiikka ja moderni **try-with-resources** automaattista siivoustoimintoa varten on olennaista oikean, luotettavan Javan kirjoittamiseen — ja omien poikkeuksien asianmukaiseen suunnitteluun.

Erottelu muokkaa sitä, miten Java API:t suunnitellaan, ja on usein esiintyvä haastattelu- ja koodin tarkistusaihe.