X'inhuma records u sealed classes?

Question

Accepted Answer

**Records** (Java 16+) huma data carriers konċiżi u immutabbli li jiġġeneraw boilerplate awtomatikament, u **sealed classes** (Java 17+) jirrestrinġu liema klassijiet jistgħu jestendu/jimplimentaw tip. It-tnejn huma features moderni li jagħmlu Java aktar espressiv u jippermettu mudellazzjoni aħjar.

## Records — data immutabbli, żero 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 jiġġenera awtomatikament il-konstruttore, l-accessors, `equals()`, `hashCode()`, u `toString()` mill-komponenti tiegħu. Il-fields huma **final** (immutabbli) — records huma ddisinjati għal data carriers trasparenti u immutabbli (DTOs, value objects, koordinati).

## Records jistgħu jkollhom validazzjoni u metodi

```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 — inheritance ikkontrollat

```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` jindika esplisitament is-subtypes permessi tiegħu — inti tikkontrolla s-sett kompletu tal-implimentazzjonijiet, li l-compiler jenforzaha. Dan jumuddella **ġerarċija magħluqa** (sett fiss u magħruf ta' varjanti).

## Sealed + records + pattern matching = mudellazzjoni qawwa

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

Bħala li s-subtypes ta' tip sealed huma magħrufa u finiti, il-compiler jista' jivverrifika li `switch` huwa **exhaustive** — jaqbad każi mqassra. Flimkien ma' records u pattern matching, dan iġib algebraic-data-type style mudellazzjoni għal Java.

## Għaliex importa

Records u sealed classes huma features Java moderni sinifikanti li jtejbu l-espressività u s-sigurtà. **Records** jeluminaw il-boilerplate teddjuż u error-prone ta' klassi data (u jiggarantiżżu `equals`/`hashCode` korretti u konsistenti — jisolvew dil-pitfall komuni) filwaqt li jenforzaw immutabbilità — jagħmlu DTOs, value objects, u mudellazzjoni tal-data ħafna aktar nadifa. **Sealed classes** jippermettu ġerarċiji ta' tipi magħluqa u kkontrollata li l-compiler jifhem, li — flimkien ma' records u pattern-matching `switch` — jippermettew immaniġġjar exhaustive u type-safe ta' sett fiss ta' varjanti (algebraic data types).

Flimkien jagħmlu Java iktar konċiżi, immutabbli-by-default, u kapaċi ta' mudellazzjoni tad-dominju aktar sigura li Java aktar anzjana teħtieġ ħafna aktar kodiċi biex tinkiseb.

Il-magħrifa tagħhom tirrifletti fluwenza ma' Java kurrenti u tippermetti disenjn aktar nadif u robust li kodiċi Java aktar antik kien jeħtieġ ħafna aktar biex jakkumpanja.