ما هي الكائنات غير القابلة للتغيير ولماذا نستخدمها؟

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` يشير إلى قائمة قابلة للتغيير لا يزال قابلاً للتعديل من خلال تلك الإشارة. انسخ بحذر أو استخدم مجموعات غير قابلة للتعديل.

## لماذا هذا مهم

عدم القابلية للتغيير يلغي فئة كاملة من الأخطاء: لا يمكن لأحد تعديل الكائن دون علمك، لذا التفكير والتزامن يصبحان أبسط بكثير.

هذا هو السبب في أن أنواع القيم (strings, `LocalDate`, records) غير قابلة للتغيير في اللغات الحديثة — مشتركة ومخزنة مؤقتاً وآمنة للاستخدام كمفاتيح دون نسخ دفاعي.