Kaj so zapisi in zapečateni razredi?

Question

Accepted Answer

**Zapisi** (Java 16+) so jedrnati, nespremenljivi nosilci podatkov, ki samodejno ustvarjajo standardno kodo, in **zapečateni razredi** (Java 17+) omejijo, kateri razredi lahko razširijo/implementirajo tip. Oba sta sodobni lastnosti, ki Java naredita bolj izrazito in omogočita boljše modeliranje.

## Zapisi — nespremenljivi podatki brez standardne kode

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

Zapis samodejno ustvari konstruktor, dostopnike, `equals()`, `hashCode()` in `toString()` iz svojih komponent. Polja so **final** (nespremenljiva) — zapisi so zasnovani kot prozorni, nespremenljivi nosilci podatkov (DTOs, objekti vrednosti, koordinate).

## Zapisi lahko vsebujejo validacijo in metode

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

## Zapečateni razredi — nadzorovana dednost

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

Tip `sealed` izrecno našteje svoje dovoljene podtipe — nadzorujete popoln niz implementacij, ki jih kompajler prisili. To modelira **zaprto hierarhijo** (fiksni, znani niz variant).

## Zapečateni razredi + zapisi + ujemanje vzorcev = zmogljivo modeliranje

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

Ker so podtipi zapečatenega tipa znani in končni, kompajler lahko preverí, da je `switch` **izčrpen** — ujame manjkajoče primere. V kombinaciji z zapisi in ujemanjem vzorcev to prinaša modeliranje v slogu algebrskih podatkovnih tipov v Javo.

## Zakaj je to pomembno

Zapisi in zapečateni razredi so pomembne sodobne Java lastnosti, ki izboljšajo izrazitost in varnost. **Zapisi** odpravijo dolgočasno, nagnjeno k napakam standardno kodo podatkovnih razredov (in zagotavljajo pravilne, skladne `equals`/`hashCode` — reševanje tega pogostega problema) ter obvezno nespremenljivost — kar DTOs, objekte vrednosti in modeliranje podatkov nared veliko čistejše. **Zapečateni razredi** omogočajo zaprte, nadzorovane tipske hierarhije, ki jih kompajler razume, kar — v kombinaciji z zapisi in ujemanjem vzorcev `switch` — omogoča izčrpno, tipsko varno obravnavanje fiknega niza variant (algebrski podatkovni tipi).

Skupaj naredijo Javo bolj jedrnato, s privzetimi nespremenljivimi vrednostmi, in sposobno varnejšega domenskega modeliranja.

Znanje le-teh odraža tekoče znanje trenutne Jave in omogoča čistejši, robustnejši oblikovalski pristop, ki bi ga starejša Java zahtevala veliko več kode.