Çfarë janë records dhe sealed classes?

Question

Accepted Answer

**Records** (Java 16+) janë transportues të dhënash të koncizë dhe të pandryshueshme që gjenerohen automatikisht pa kërkuar kod repetitiv, dhe **sealed classes** (Java 17+) kufizojnë se cilat klasa mund të zgjerohen ose të zbatohen. Të dy janë veçori moderne që e bëjnë Java-n më shprehëse dhe mundësojnë modelim më të mirë.

## Records — të dhëna të pandryshueshme, pa kod repetitiv

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

Një record gjeneron automatikisht konstruktorin, aksesorët, `equals()`, `hashCode()`, dhe `toString()` nga përbërësit e tij. Fushat janë **final** (të pandryshueshme) — records janë të dizajnuar për transportues të dhënash transparent, të pandryshueshëm (DTOs, objekte vlere, koordinata).

## Records mund të kenë validim dhe metoda

```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 — trashëgimi e kontrolluar

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

Një tip `sealed` liston në mënyrë eksplicite nëntipet e lejuara — ti kontrollon bashkësinë e plotë të zbatimeve, të cilën përpiluesi e zbaton. Kjo modelon një **hierarki të mbyllur** (një bashkësi fikse, e njohur e varianteve).

## Sealed + records + pattern matching = modelim i fuqishëm

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

Meqenëse nëntipet e një tipi sealed janë të njohur dhe të fundmtë, përpiluesi mund të verifikojë që një `switch` është **exhaustive** — duke kapë rastet që mungojnë. E kombinuar me records dhe pattern matching, kjo sjell modelim të tipit të të dhënave algjebrike në Java.

## Pse ka rëndësi

Records dhe sealed classes janë veçori moderne të rëndësishme në Java që përmirësojnë shprehshmërinë dhe sigurinë. **Records** eleminohet kodin të lodhshëm dhe të ndjeshëm ndaj gabimeve të klasave të dhënash (dhe garantojnë `equals`/`hashCode` të saktë dhe të qëndrueshëm — duke zgjidhur atë burim të zakonshëm gabimi) ndërkohë që detyrojnë pandryshueshmërinë — duke bërë DTOs, objekte vlere, dhe modelim të dhënash shumë më të pastër. **Sealed classes** mundësojnë hierarki të mbyllura dhe të kontrolluara të tipit që përpiluesi i kupton, e cila — e kombinuar me records dhe pattern-matching `switch` — lejon trajtime exhaustive dhe të sigurta për llojin e një bashkësie fikse variantesh (të dhëna algjebrike).

Së bashku ato e bëjnë Java-n më të koncizë, të padryshueshmë sipas parazgjedhjes, dhe të aftë për modelim më të sigurt të domenës që Java më e vjetër kërkon shumë më shumë kod për ta arritur.

Dija e tyre reflekton rrjedhshmërinë me Java-n aktuale dhe mundëson dizajne më të pastër dhe më të qëndrueshme që kodi më i vjetër i Java-s kërkonte shumë më shumë për t'u arritur.