イミュータブルオブジェクトとは何か、またなぜ使用するのか？

Question

Accepted Answer

**イミュータブルオブジェクト**は、構築後に変更できないオブジェクトです。すべてのフィールドは一度だけ設定され、状態を変更するメソッドはありません。"変更"するには、新しいオブジェクトを作成します。

## イミュータブル型の構築

```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`は`this`を修正しません。新しい`Money`を返します。

## イミュータビリティが役に立つ理由

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

## トレードオフ

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

*浅い*イミュータビリティに注意してください。ミュータブルなリストを指す`final`フィールドは、そのリファレンスを通じてまだミュータブルです。防御的にコピーするか、変更不可能なコレクションを使用してください。

## なぜ重要なのか

イミュータビリティはバグの根本的なクラス全体を排除します。何もオブジェクトを意図しない方法で変更することができないため、推論と並行処理が劇的に簡潔になります。

これが、値型（文字列、`LocalDate`、レコード）がモダン言語でイミュータブルである理由です。共有され、キャッシュされ、防御的なコピーなしで安全にキーとして使用されます。