რა არის უცვლელი ობიექტები და რატომ გამოვიყენოთ ისინი?

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`, ჩანაწერი) უცვლელია თანამედროვე ენებში — გაზიარებული, ნაკეში შენახული და გამოყენებული ღილაკებად უსაფრთხოდ დამცავი კოპირების გარეშე.