Τι είναι τα records και οι sealed classes;

Question

Accepted Answer

**Records** (Java 16+) είναι συνοπτικοί, αμετάβλητοι φορείς δεδομένων που δημιουργούν αυτόματα boilerplate, και **sealed classes** (Java 17+) περιορίζουν ποιες κλάσεις μπορούν να επεκτείνουν/υλοποιούν έναν τύπο. Και τα δύο είναι σύγχρονα χαρακτηριστικά που κάνουν τη Java πιο εκφραστική και επιτρέπουν καλύτερη μοντελοποίηση.

## Records — αμετάβλητα δεδομένα, χωρίς boilerplate

```java
// ❌ a traditional data class needs ~40 lines of boilerplate
// (fields, constructor, getters, equals, hashCode, toString)

// ✅ a record generates ALL of that automatically
public record Point(int x, int y) {}

Point p = new Point(3, 4);
p.x();              // 3 — accessor (note: x(), not getX())
p.equals(new Point(3, 4));   // true — equals() generated
p;                  // Point[x=3, y=4] — toString() generated
p.hashCode();       // generated, consistent with equals
```

Ένα record δημιουργεί αυτόματα τον κατασκευαστή, τις προσπελάσεις, `equals()`, `hashCode()`, και `toString()` από τα στοιχεία του. Τα πεδία είναι **final** (αμετάβλητα) — τα records έχουν σχεδιαστεί για διαφανείς, αμετάβλητους φορείς δεδομένων (DTOs, value objects, συντεταγμένες).

## Τα records μπορούν να έχουν επικύρωση και μεθόδους

```java
public record Range(int min, int max) {
    public Range {                          // compact constructor — validate
        if (min > max) throw new IllegalArgumentException("min > max");
    }
    public int size() { return max - min; }  // can add methods
}
```

## Sealed classes — ελεγχόμενη κληρονομικότητα

```java
// restrict WHO can extend/implement — only the named classes
public sealed interface Shape permits Circle, Square, Triangle {}

public final class Circle implements Shape { double radius; }
public final class Square implements Shape { double side; }
public final class Triangle implements Shape { double base, height; }
// no other class can implement Shape
```

Ένας `sealed` τύπος αναφέρει ρητά τους επιτρεπόμενους υποτύπους του — ελέγχετε το πλήρες σύνολο των υλοποιήσεων, το οποίο ο compiler επιβάλλει. Αυτό μοντελοποιεί μια **κλειστή ιεραρχία** (ένα σταθερό, γνωστό σύνολο παραλλαγών).

## Sealed + records + pattern matching = ισχυρή μοντελοποίηση

```java
// the compiler KNOWS all the cases → exhaustive switch (no default needed)
double area = switch (shape) {
    case Circle c -> Math.PI * c.radius() * c.radius();
    case Square s -> s.side() * s.side();
    case Triangle t -> 0.5 * t.base() * t.height();
    // no default needed — sealed guarantees these are ALL the cases
};
```

Επειδή οι υποτύποι ενός sealed τύπου είναι γνωστοί και πεπερασμένοι, ο compiler μπορεί να επαληθεύσει ότι ένας `switch` είναι **εξαντλητικός** — καταγράφοντας περιπτώσεις που λείπουν. Σε συνδυασμό με τα records και pattern matching, αυτό φέρνει στη Java μοντελοποίηση σε στυλ algebraic-data-type.

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

Τα records και τα sealed classes είναι σημαντικά σύγχρονα χαρακτηριστικά της Java που βελτιώνουν την εκφραστικότητα και την ασφάλεια. Τα **records** εξαλείφουν το κουραστικό, επιρρεπές σε σφάλματα boilerplate των κλάσεων δεδομένων (και εγγυώνται σωστά, συνεπή `equals`/`hashCode` — επιλύοντας αυτό το συνηθισμένο πρόβλημα) ενώ επιβάλλουν αμετάβλητα — κάνοντας τα DTOs, value objects, και μοντελοποίηση δεδομένων πολύ πιο καθαρά. Τα **sealed classes** επιτρέπουν κλειστές, ελεγχόμενες ιεραρχίες τύπων που ο compiler κατανοεί, οι οποίες — σε συνδυασμό με records και pattern-matching `switch` — επιτρέπουν εξαντλητικό, type-safe χειρισμό ενός σταθερού συνόλου παραλλαγών (algebraic data types).

Μαζί κάνουν τη Java πιο συνοπτική, με αμετάβλητα-by-default, και ικανή για ασφαλέστερη μοντελοποίηση τομέα που η παλαιότερη Java απαιτούσε πολύ περισσότερο κώδικα για να επιτύχει.

Η γνώση τους αντικατοπτρίζει ευχέρεια με την τρέχουσα Java και επιτρέπει πιο καθαρές, πιο ισχυρές σχεδιάσεις που η παλαιότερη Java απαιτούσε πολύ περισσότερο κώδικα για να επιτύχει.