Kas yra nepersodinami objektai ir kodėl jais naudotis?

Question

Accepted Answer

**Nepersodinama objekta** negali būti pakeista po jos sukūrimo — kiekvienas laukas nustatomas kartą, ir nėra metodų, kurie keistų būseną. Jei norite "pakeisti" objektą, turite sukurti naują objektą.

## Nepersodinto tipo sukūrimas

```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` nekeičia `this`; jis grąžina naują `Money`.

## Kodėl nepersodimas padeda

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

## Darnumo kompromisai

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

Saugokitės *paviršinio* nepersodimo: `final` laukas, nurodantis į mutabilų sąrašą, vis dar yra mutabilus per tą nuorodą. Apsaugotai nukopijuokite arba naudokite nekeičiamas kolekcijas.

## Kodėl tai svarbu

Nepersodimas pašalina visą klasę klaidų: niekas negali iš nežinio pakeisti objekto, todėl samprotavimas ir lygiagretumas žymiai supaprastėja.

Tai yra priežastis, kodėl reikšmių tipai (eilutės, `LocalDate`, įrašai) yra nepersodami šiuolaikiškose kalbose — bendrinami, kešuojami ir saugiai naudojami kaip raktai be apsauginio kopijavimo.