Çfarë janë objektet e pandryshuar dhe pse t'i përdorim ato?

Question

Accepted Answer

Një **objekt i pandryshuar** nuk mund të ndryshohet pasi të përbëhet — çdo fushë vendoset një herë dhe nuk ka metoda që ndryshojnë gjendjen. Për të e "ndryshuar" atë, krijoni një objekt të ri.

## Ndërtimi i një tipi të pandryshuar

```java
public final class Money {              // final: can't be subclassed to add mutation
    private final int cents;            // final fields, set once
    private final String currency;

public Money(int cents, String currency) {
        this.cents = cents;
        this.currency = currency;
    }

public Money plus(Money other) {    // returns a NEW object, no mutation
        return new Money(this.cents + other.cents, currency);
    }
    public int cents() { return cents; }
}
```

`plus` nuk modifikon `this`; kthen një `Money` të ri.

## Pse pandryshueshmëria ndihmon

```text
✓ Thread-safe by default → no shared mutable state, no locks needed
✓ Safe to share/cache    → no defensive copies
✓ Valid forever          → if valid at construction, stays valid
✓ Usable as map keys     → hashCode never changes
```

## Kompromiste

```text
⚠️ Creates new objects on every change → more allocation/GC pressure
⚠️ Awkward for large objects updated frequently (mitigated by builders / persistent
   data structures)
```

Ruajuni nga pandryshueshmëria *sipërfaqësore*: një fushë `final` që tregon në një listë të ndryshuar është ende e ndryshueshme përmes asaj reference. Kopjoni në mënyrë mbrojtëse ose përdorni koleksione të pamodifikueshme.

## Pse është e rëndësishme

Pandryshueshmëria elimina një klasë të tërë të defekteve: asgjë nuk mund të ndryshojë një objekt pas jush, kështu që arsyetimi dhe konkurenca bëhen dramatikisht më të thjeshta.

Ja pse tipet e vlerës (vargje, `LocalDate`, recordet) janë të pandryshuar në gjuhë moderne — të ndara, të ruajtura në memorje dhe të përdorura si çelësa në mënyrë të sigurt pa kopjim mbrojtës.