Mik a rekordok és a sealed osztályok?

Question

Accepted Answer

**Rekordok** (Java 16+) tömör, immutábilis adathordozók, amelyek automatikusan generálnak boilerplate kódot, és a **sealed osztályok** (Java 17+) korlátozják, hogy mely osztályok terjesszék ki/implementálják a típust. Mindkettő modern funkció, amely expresszebbé és jobb modellezhetővé teszi a Javát.

## Rekordok — immutábilis adatok, nulla 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
```

Egy rekord automatikusan generálja a konstruktort, az akcesszorokat, az `equals()`, `hashCode()` és `toString()` metódusokat a komponenseiből. A mezők **final** (immutábilis) — a rekordok transzparens, immutábilis adathordozók (DTO-k, érték objektumok, koordináták) számára készültek.

## A rekordok tartalmazhatnak validációt és metódusokat

```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 osztályok — kontrolált öröklés

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

Egy `sealed` típus explicit módon felsorolja az engedélyezett altípusait — Ön irányítja az implementációk teljes halmazát, amelyet a fordító kikényszerít. Ez egy **zárt hierarchiát** modellez (rögzített, ismert variánsok halmaza).

## Sealed + rekordok + pattern matching = erőteljes modellezés

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

Mivel egy sealed típus altípusai ismertek és végesek, a fordító ellenőrizheti, hogy egy `switch` **kimerítő** — felismeri a hiányzó eseteket. A rekordokkal és pattern matchinggel kombinálva ez az algebrai adattípusok stílusú modellezést hoz a Javába.

## Miért fontos

A rekordok és sealed osztályok jelentős modern Java funkciók, amelyek javítják az expresszivitást és a biztonságot. **A rekordok** kiküszöbölik az adatosztályok unalmas, hibára hajlamos boilerplate kódját (és garantálnak helyes, konzisztens `equals`/`hashCode` értékeket — megoldva ezt a gyakori buktatót), miközben kikényszerítik az immutabilitást — így a DTO-kat, érték objektumokat és adatmodellezést sokkal tisztábbá teszik. **A sealed osztályok** zárt, kontrolált típushierarchiákat tesznek lehetővé, amelyeket a fordító megért, amely — kombinálva a rekordokkal és pattern-matching `switch`-szel — lehetővé teszi a kimerítő, típusbiztos kezelést egy rögzített variánsok halmazából (algebrai adattípusok).

Együttesen tömörebbé, immutábilis-alapértelmezés szerint, és képessé teszik a Javát arra, hogy biztonságosabb domain modellezést érjünk el, amely az idősebb Java verzióban sokkal több kódot igényelt volna.

Az ismeretük a jelenlegi Java-hoz való jártasságot tükrözi, és lehetővé teszi a tisztább, robusztusabb terveket, amelyeket az idősebb Java sokkal több kóddal érhetett volna el.