วัตถุที่ไม่เปลี่ยนแปลงคืออะไร และเหตุใดจึงต้องใช้วัตถุเหล่านี้

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` เรคคอร์ด) จึงไม่เปลี่ยนแปลงในภาษาสมัยใหม่ — ใช้ร่วมกัน แคชและใช้เป็นคีย์อย่างปลอดภัยโดยไม่ต้องคัดลอกแบบป้องกัน