Εξηγήστε το ARC σε βάθος: weak έναντι unowned, και πώς εντοπίζετε διαρροές.

Question

IT Interview Practice · Accepted Answer

Το **ARC (Automatic Reference Counting)** διαχειρίζεται τη μνήμη για instances κλάσεων παρακολουθώντας τις strong references κατά τη μεταγλώττιση: ο compiler εισάγει κλήσεις `retain`/`release`, και όταν το strong count ενός αντικειμένου φτάσει στο μηδέν, αποδεσμεύεται άμεσα — ντετερμινιστικά, όχι από έναν garbage collector στο παρασκήνιο.

## Πώς οι αναφορές επηρεάζουν το count

- **strong** (προεπιλογή) — αυξάνει το count· κρατά το αντικείμενο ζωντανό.
- **weak** — *δεν* αυξάνει· ορίζεται αυτόματα σε `nil` κατά την αποδέσμευση. Πρέπει να είναι `var` και optional.
- **unowned** — *δεν* αυξάνει· υποτίθεται ότι είναι πάντα έγκυρη. Η πρόσβαση μετά την αποδέσμευση είναι crash (ή χειρότερα, απροσδιόριστη συμπεριφορά με `unowned(unsafe)`).

```swift
final class Customer {
    var card: Card?                 // strong: customer owns card
}
final class Card {
    unowned let owner: Customer     // unowned: card never outlives its owner
    init(owner: Customer) { self.owner = owner }
}
```

## weak έναντι unowned — η απόφαση

Επιλέξτε με βάση τη **σχέση διάρκειας ζωής**, όχι από συνήθεια:

| | weak | unowned |
|--|------|---------|
| Optional | ναι (γίνεται nil) | όχι |
| Κόστος ARC | ελαφρώς υψηλότερο (παρακολουθείται) | χαμηλότερο |
| Ασφαλές αν το άλλο αντικείμενο έφυγε | ναι | **crash** |
| Χρήση όταν | η αναφορά *μπορεί* νόμιμα να γίνει nil (delegates, γονέας που μπορεί να αποδεσμευτεί πρώτος) | η αναφορά είναι εγγυημένο ότι θα επιβιώσει περισσότερο από το self (παιδί → υποχρεωτικός γονέας) |

## Εντοπισμός διαρροών

1. **Xcode Memory Graph Debugger** — παύση και αναζήτηση αντικειμένων που θα έπρεπε να έχουν φύγει· οι μωβ ενδείξεις `!` επισημαίνουν κύκλους.
2. **Instruments → Leaks / Allocations** — παρακολουθήστε για μονότονα αυξανόμενη μνήμη καθώς επαναλαμβάνετε μια ροή.
3. **Καταγραφή `deinit`** — ο πιο γρήγορος έλεγχος λογικής: αν το `deinit` δεν εκτυπώνεται ποτέ όταν κλείνει μια οθόνη, αυτό το αντικείμενο διέρρευσε.

```swift
deinit { print("released \(Self.self)") }  // silence on dismiss = leak
```

## Συνηθισμένες πηγές διαρροών

Escaping closures που κάνουν capture το `self`, αμφίδρομες strong references γονέα/παιδιού, `Timer`/`DispatchSourceTimer` που κρατούν τον στόχο τους, και Combine subscriptions που δεν αποθηκεύονται σε ένα cancellable που αποδεσμεύεται.

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

Το ARC είναι ντετερμινιστικό, οπότε οι διαρροές είναι δική σας ευθύνη, όχι ενός GC — ένας μεμονωμένος view controller που κρατιέται μπορεί να καρφώσει megabytes εικόνων και ολόκληρο το object graph του. Οι συνεντεύξεις senior το διερευνούν επειδή η σωστή επιλογή weak έναντι unowned και η γνώση του πώς να *αποδείξετε* μια διαρροή με το memory graph είναι αυτό που κρατά τις εφαρμογές μακράς διάρκειας από το να φουσκώνουν.

	weak	unowned
Optional	ναι (γίνεται nil)	όχι
Κόστος ARC	ελαφρώς υψηλότερο (παρακολουθείται)	χαμηλότερο
Ασφαλές αν το άλλο αντικείμενο έφυγε	ναι	crash
Χρήση όταν	η αναφορά μπορεί νόμιμα να γίνει nil (delegates, γονέας που μπορεί να αποδεσμευτεί πρώτος)	η αναφορά είναι εγγυημένο ότι θα επιβιώσει περισσότερο από το self (παιδί → υποχρεωτικός γονέας)

Πώς οι αναφορές επηρεάζουν το count

weak έναντι unowned — η απόφαση

Εντοπισμός διαρροών

Συνηθισμένες πηγές διαρροών

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

Σχετικές ερωτήσεις