Apakah itu records dan sealed classes?

Question

Accepted Answer

**Records** (Java 16+) ialah pembawa data ringkas dan kekal-tak-berubah yang menjana boilerplate secara automatik, dan **sealed classes** (Java 17+) menyekat kelas mana yang boleh memanjangkan/melaksanakan sesuatu jenis. Kedua-duanya merupakan ciri moden yang menjadikan Java lebih ekspresif dan membolehkan pemodelan yang lebih baik.

## Records — data kekal-tak-berubah, sifar 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
```

Sebuah record menjana secara automatik constructor, accessor, `equals()`, `hashCode()`, dan `toString()` daripada komponennya. Medannya adalah **final** (kekal-tak-berubah) — records direka untuk pembawa data yang telus dan kekal-tak-berubah (DTO, value object, koordinat).

## Records boleh mempunyai pengesahan dan kaedah

```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 — pewarisan terkawal

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

Satu jenis `sealed` menyenaraikan secara eksplisit subjenis yang dibenarkannya — anda mengawal set lengkap pelaksanaan, yang dikuatkuasakan oleh pengkompil. Ini memodelkan **hierarki tertutup** (set varian yang tetap dan diketahui).

## Sealed + records + pattern matching = pemodelan berkuasa

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

Kerana subjenis bagi jenis sealed diketahui dan terhingga, pengkompil boleh mengesahkan bahawa sesuatu `switch` adalah **menyeluruh** — menangkap kes yang tertinggal. Digabungkan dengan records dan pattern matching, ini membawa pemodelan bergaya algebraic-data-type kepada Java.

## Mengapa ia penting

Records dan sealed classes merupakan ciri Java moden yang penting yang meningkatkan keekspresifan dan keselamatan. **Records** menghapuskan boilerplate kelas data yang membosankan dan terdedah kepada ralat (dan menjamin `equals`/`hashCode` yang betul dan konsisten — menyelesaikan perangkap biasa itu) sambil menguatkuasakan kekal-tak-berubah — menjadikan DTO, value object, dan pemodelan data jauh lebih kemas. **Sealed classes** membolehkan hierarki jenis tertutup dan terkawal yang difahami oleh pengkompil, yang — digabungkan dengan records dan `switch` pattern-matching — membenarkan pengendalian yang menyeluruh dan selamat-jenis bagi set varian yang tetap (algebraic data type).

Bersama-sama, kedua-duanya menjadikan Java lebih ringkas, kekal-tak-berubah-secara-lalai, dan mampu melakukan pemodelan domain yang lebih selamat.

Mengetahuinya mencerminkan kefasihan dengan Java semasa dan membolehkan reka bentuk yang lebih kemas dan teguh yang memerlukan jauh lebih banyak kod pada Java lama.