Mitä ovat record-luokat ja sealed-luokat?

Question

Accepted Answer

**Record-luokat** (Java 16+) ovat ytimekkäitä, muuttumattomia tietojen kantajia, jotka luovat automaattisesti kietaistua koodia, ja **sealed-luokat** (Java 17+) rajoittavat mitkä luokat voivat laajentaa/toteuttaa tyypin. Molemmat ovat moderneja ominaisuuksia, jotka tekevät Javasta ilmaisuvoimaisemman ja mahdollistavat paremman mallinnuksen.

## Record-luokat — muuttumattomat tiedot, nolla kietaistua koodia

```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-luokka luo automaattisesti konstruktorin, aksessorit, `equals()`-metodin, `hashCode()`-metodin ja `toString()`-metodin sen komponenteista. Kentät ovat **final** (muuttumattomia) — record-luokat on suunniteltu läpinäkyviksi, muuttumattomiksi tietojen kantajiksi (DTOt, arvoobjektit, koordinaatit).

## Record-luokat voivat sisältää validoinnin ja metodeja

```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-luokat — kontrolloidut perintähierarkiat

```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`-tyyppi luettelee eksplisiittisesti sen sallitut alatyypit — hallitset täydellisen joukon toteutuksia, jonka kääntäjä pakottaa. Tämä mallintaa **suljetun hierarkian** (kiinteä, tunnettu joukko variantteja).

## Sealed + record + pattern matching = tehokas mallintaminen

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

Koska sealed-tyypin alatyypit ovat tunnettuja ja äärellisiä, kääntäjä voi varmistaa, että `switch` on **kattava** — ottaen kiinni puuttuvat tapaukset. Yhdistettynä record-luokkiin ja pattern matchingiin, tämä tuo algebrallisen tyypin mallintamisen Javaan.

## Miksi sillä on merkitystä

Record-luokat ja sealed-luokat ovat merkittäviä modernin Javan ominaisuuksia, jotka parantavat ilmaisuvoiman ja turvallisuuden tasoa. **Record-luokat** poistavat tietojen luokkien ärsyttävän, virheille altiin kietaistun koodin (ja takaa oikean, johdonmukaisen `equals`/`hashCode`-toteutuksen — ratkaisee yleisen loukkausta) ja pakottavat muuttumattomuuden — tekevät DTOista, arvoobjekteista ja tietojen mallintamisesta paljon siistimpää. **Sealed-luokat** mahdollistavat suljetun, kontrolloidun tyyppi-hierarkian, jonka kääntäjä ymmärtää, mikä — yhdistettynä record-luokkiin ja pattern-matching `switch`-lauseisiin — mahdollistaa kattavan, tyyppiturvan käsittelyn kiinteää joukkoa variantteja (algebrallisia tietotyyppejä).

Yhdessä ne tekevät Javasta ytimekkäempää, muuttumattomuutta oletuksena ja kykenevää turvallisempaan toimialueen mallintamiseen, joka vanhempi Java vaati paljon enemmän koodia saavuttaakseen.

Niiden tunteminen heijastaa sujuvuutta nykyisen Javan kanssa ja mahdollistaa siistempiä, kestävämpiä malleja, jotka vanhempi Java vaati paljon enemmän koodia saavuttaakseen.