Ποια είναι η διαφορά μεταξύ μεταβλητών και αμετάβλητων αντικειμένων;

Question

Accepted Answer

Ένα **αμετάβλητο** αντικείμενο δεν μπορεί να αλλάξει μετά τη δημιουργία. ένα **μεταβλητό** αντικείμενο μπορεί. Αυτή η διάκριση είναι κεντρική στην Python και επηρεάζει aliasing, dict keys, arguments συναρτήσεων και μια κατηγορία λεπτών σφαλμάτων.

## Οι δύο κατηγορίες

```text
Immutable: int, float, bool, str, tuple, frozenset, bytes, None
Mutable:   list, dict, set, bytearray, and most custom objects
```

## Αμετάβλητο: "αλλαγή" δημιουργεί ένα νέο αντικείμενο

```python
x = "hello"
x.upper()       # returns a NEW string "HELLO" — x is unchanged
x += " world"   # rebinds x to a NEW string; the original "hello" is untouched

n = 5
n += 1          # creates a new int 6; doesn't modify the int object 5
```

Με τα αμετάβλητα, οι λειτουργίες που φαίνεται να "αλλάζουν" την τιμή στην πραγματικότητα παράγουν ένα νέο αντικείμενο και επανδεσμεύουν τη μεταβλητή. Το αρχικό δεν αλλάζει ποτέ.

## Μεταβλητό: τροποποιημένο στη θέση

```python
lst = [1, 2, 3]
lst.append(4)   # modifies the SAME list object → [1, 2, 3, 4]
lst[0] = 99     # in-place change
```

## Η παγίδα aliasing (το πρακτικό κίνδυνο)

```python
# mutable — two names point to the SAME object
a = [1, 2, 3]
b = a            # b is NOT a copy — it's the same list
b.append(4)
print(a)         # [1, 2, 3, 4] ← a changed too! (they're aliases)

# to actually copy:
b = a.copy()     # or list(a), or a[:]
```

Η ανάθεση ενός μεταβλητού αντικειμένου δεν το αντιγράφει — και τα δύο ονόματα αναφέρονται στο ίδιο αντικείμενο, επομένως η τροποποίηση μέσω του ενός επηρεάζει το άλλο. Αυτό εκπλήσσει πολλούς και προκαλεί πραγματικά σφάλματα.

## Γιατί τα αμετάβλητα μπορούν να είναι dict keys / set members

```python
d = {(1, 2): "point"}   # ✅ tuple key — immutable, hashable
d = {[1, 2]: "x"}       # ❌ TypeError — lists are unhashable (mutable)
```

Oι dict keys και τα set members πρέπει να είναι **hashable**, που απαιτεί αμετάβλητα (ένα μεταβλητό κλειδί θα μπορούσε να αλλάξει και να σπάσει τον πίνακα hash).

## Arguments συναρτήσεων

```python
def modify(lst): lst.append(99)   # mutates the caller's list (passed by reference)
def rebind(n): n += 1             # rebinds locally; caller's int unchanged
```

## Γιατί έχει σημασία

Η μεταβλητότητα είναι μια θεμελιώδης έννοια της Python που εξηγεί ένα ευρύ φάσμα συμπεριφοράς και σφαλμάτων: την παγίδα aliasing (η ανάθεση δεν αντιγράφει τα μεταβλητά), γιατί οι συναρτήσεις μπορούν να τροποποιήσουν μια λίστα που περνάει αλλά όχι έναν int, γιατί μόνο τα αμετάβλητα αντικείμενα μπορούν να είναι dict keys/set members, και την παγίδα mutable-default-argument.

Η κατανόηση του ποιοι τύποι είναι μεταβλητοί έναντι αμετάβλητων — και ότι η τροποποίηση ενός κοινόχρηστου αντικειμένου επηρεάζει όλες τις αναφορές σε αυτό — είναι απαραίτητη για τη σύνταξη σωστής Python και την αποφυγή ορισμένων από τις πιο συνηθισμένες εκπλήξεις της.