Što su nepromjenjivi objekti i zašto ih koristiti?

Question

Accepted Answer

**Nepromjenjivi objekt** ne može se promijeniti nakon što je konstruiran — svako polje se postavlja jednom, i nema metoda koje mutiraju stanje. Da ga "promijenite", stvarate novi objekt.

## Izgradnja nepromjenjivog tipa

```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` ne mijenja `this`; vraća novi `Money`.

## Zašto nepromjenjivost pomaže

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

## Kompromisi

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

Pazite na *plitku* nepromjenjivost: `final` polje koje pokazuje na mljencivu listu je još uvijek mljenciva kroz tu referencu. Defenzivno kopirajte ili koristite nepromjenjive kolekcije.

## Zašto je to važno

Nepromjenjivost elimira cijelu klasu grešaka: ništa ne može promijeniti objekt iza tvojih leđa, pa je rasuđivanje i konkurentnost dramatično jednostavniji.

To je zašto su tipovi vrijednosti (stringovi, `LocalDate`, zapisi) nepromjenjivi u modernim jezicima — dijeljeni, cacheirani, i sigurno korišteni kao ključevi bez defenzivnog kopiranja.