Πώς λειτουργεί η διαχείριση εξαιρέσεων και η διάκριση μεταξύ ελεγχόμενων και μη ελεγχόμενων εξαιρέσεων;

Question

Accepted Answer

Η Java χειρίζεται σφάλματα με **`try`/`catch`/`finally`** και διακρίνει μοναδικά μεταξύ **ελεγχόμενων** εξαιρέσεων (πρέπει να δηλωθούν ή να διαχειριστούν) και **μη ελεγχόμενων** εξαιρέσεων (χρόνος εκτέλεσης, μη επιβεβλημένες). Η κατανόηση αυτής της διάκρισης είναι κεντρική για την διαχείριση σφαλμάτων στη Java.

## Η βασική δομή

```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` εκτελείται πάντα (καθαρισμός), ακόμη και αν μια εξαίρεση ρίχνεται ή συμβαίνει `return`.

## Η ιεραρχία εξαιρέσεων

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

## Ελεγχόμενες εξαιρέσεις — επιβεβλημένες από τον μεταγλωττιστή

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

**Ελεγχόμενες** εξαιρέσεις (IOException, SQLException) αντιπροσωπεύουν ανακτήσιμες, αναμενόμενες συνθήκες (ένα αρχείο που λείπει, μια αποτυχία δικτύου). Ο μεταγλωττιστής *σας αναγκάζει* να τις διαχειριστείτε ή να τις δηλώσετε — κάνοντας την διαχείριση εξωτερικών σφαλμάτων σαφή.

## Μη ελεγχόμενες εξαιρέσεις — χρόνος εκτέλεσης, μη επιβεβλημένες

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

**Μη ελεγχόμενες** (υποκατηγορίες RuntimeException) συνήθως σηματοδοτούν σφάλματα προγραμματισμού — διορθώνετε το σφάλμα αντί να το τρυπώνετε παντού. Ο μεταγλωττιστής δεν επιβάλλει διαχείριση.

## try-with-resources (αυτόματος καθαρισμός)

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

## Βέλτιστες πρακτικές

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

## Γιατί έχει σημασία

Η ισχυρή διαχείριση σφαλμάτων είναι απαραίτητη, και η **διάκριση ελεγχόμενων/μη ελεγχόμενων της Java είναι ένα χαρακτηριστικό (και αμφιλεγόμενο) χαρακτηριστικό** που αξίζει να κατανοηθεί σε βάθος.

Οι ελεγχόμενες εξαιρέσεις επιβάλλουν ρητή διαχείριση αναμενόμενων εξωτερικών αποτυχιών (I/O, DB) — προάγοντας την αξιοπιστία αλλά μερικές φορές κριτικάρονται ως λεκτικές· οι μη ελεγχόμενες εξαιρέσεις αντιπροσωπεύουν σφάλματα που θα πρέπει να διορθωθούν αντί να τα τρυπώνονται συνήθως.

Η γνώση της ιεραρχίας, πότε ισχύει κάθε είδος, η σημασιολογία `try/catch/finally` και το σύγχρονο **try-with-resources** για αυτόματο καθαρισμό είναι θεμελιώδες για τη σύνταξη σωστής, αξιόπιστης Java — και για τον κατάλληλο σχεδιασμό των δικών σας εξαιρέσεων.

Η διάκριση διαμορφώνει πώς σχεδιάζονται τα Java API και είναι συχνό θέμα συνεντεύξεων και επιθεωρήσεων κώδικα.