Mitä ovat muuttumattomat objektit ja miksi niitä käytetään?

Question

Accepted Answer

**Muuttumaton objekti** ei voi muuttua sen luomisen jälkeen — jokainen kenttä asetetaan kerran, eikä ole menetelmiä, jotka muuttavat tilaa. Sen "muuttamiseksi" luot uuden objektin.

## Muuttumattoman tyypin rakentaminen

```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` ei muuta `this`-muuttujaa; se palauttaa uuden `Money`-objektin.

## Kuinka muuttumattomuus auttaa

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

## Kompromissit

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

Varo *pinnallista* muuttumattomuutta: `final`-kenttä, joka osoittaa muuttuvaan listaan, on silti muutettavissa sen viitteen kautta. Kopioi puolustuksellisesti tai käytä muuttumattomia kokoelmia.

## Miksi se on tärkeää

Muuttumattomuus poistaa kokonaisen virheluokan: mikään ei voi muuttaa objektia takaasi, joten päättely ja rinnakkaisuus tulevat dramaattisesti yksinkertaisemmiksi.

Se on syy, miksi arvotyypeissä (strings, `LocalDate`, records) on muuttumattomuus modernissa ohjelmointikielissä — ne ovat jaettuja, välimuistissa ja turvallisia käyttää avaimina ilman puolustuksellista kopiointi.