Selitä ARC syvällisesti: weak vs. unowned ja miten havaita vuodot.

Question

IT Interview Practice · Accepted Answer

**ARC (Automatic Reference Counting)** hallitsee luokkainstanssien muistia seuraamalla vahvoja viittauksia käännösaikana: kääntäjä lisää `retain`/`release`-kutsut, ja kun olion vahva laskuri saavuttaa nollan, se deallokoidaan välittömästi — deterministisesti, ei taustalla toimivan roskienkerääjän toimesta.

## Miten viittaukset vaikuttavat laskuriin

- **strong** (oletus) — kasvattaa laskuria; pitää olion elossa.
- **weak** — *ei* kasvata; asetetaan automaattisesti `nil`-arvoon deallokoinnissa. Oltava `var` ja optional.
- **unowned** — *ei* kasvata; oletetaan aina validiksi. Käyttö deallokoinnin jälkeen on kaatuminen (tai pahempaa, määrittelemätöntä käyttäytymistä `unowned(unsafe)`-muodolla).

```swift
final class Customer {
    var card: Card?                 // strong: customer omistaa cardin
}
final class Card {
    unowned let owner: Customer     // unowned: card ei koskaan elä omistajaansa kauemmin
    init(owner: Customer) { self.owner = owner }
}
```

## weak vs. unowned — päätös

Valitse **elinkaarisuhteen** mukaan, ei tottumuksesta:

| | weak | unowned |
|--|------|---------|
| Optional | kyllä (muuttuu niliksi) | ei |
| ARC-kustannus | hieman korkeampi (seurataan) | matalampi |
| Turvallinen jos toinen olio poissa | kyllä | **kaatuu** |
| Käytä kun | viittaus *voi* legitiimisti muuttua niliksi (delegaatit, vanhempi joka voi vapautua ensin) | viittauksen taataan elävän selfiä kauemmin (lapsi → pakollinen vanhempi) |

## Vuotojen havaitseminen

1. **Xcode Memory Graph Debugger** — pysäytä ja etsi olioita, joiden pitäisi olla poissa; violetit `!`-merkit ilmaisevat syklit.
2. **Instruments → Leaks / Allocations** — tarkkaile monotonisesti kasvavaa muistia, kun toistat virran.
3. **`deinit`-lokitus** — nopein järkitarkistus: jos `deinit` ei koskaan tulostu näytön sulkeutuessa, kyseinen olio vuoti.

```swift
deinit { print("released \(Self.self)") }  // hiljaisuus sulkiessa = vuoto
```

## Yleiset vuotolähteet

Karkaavat closuret, jotka kaappaavat `self`n, kaksisuuntaiset vanhempi/lapsi-vahvat viittaukset, `Timer`/`DispatchSourceTimer` joka pitää kohdettaan, ja Combine-tilaukset, joita ei ole tallennettu deallokoituvaan cancellableen.

## Miksi se on tärkeää

ARC on deterministinen, joten vuodot ovat sinun vastuullasi, eivät GC:n — yksi elossa pidetty view controller voi kiinnittää megatavuja kuvia ja koko oliograafinsa. Senior-haastattelut luotaavat tätä, koska weak vs. unowned -valinnan tekeminen oikein ja sen tietäminen, miten *todistaa* vuoto memory graphilla, on se, mikä estää pitkään ajettavia sovelluksia paisumasta.

	weak	unowned
Optional	kyllä (muuttuu niliksi)	ei
ARC-kustannus	hieman korkeampi (seurataan)	matalampi
Turvallinen jos toinen olio poissa	kyllä	kaatuu
Käytä kun	viittaus voi legitiimisti muuttua niliksi (delegaatit, vanhempi joka voi vapautua ensin)	viittauksen taataan elävän selfiä kauemmin (lapsi → pakollinen vanhempi)

Miten viittaukset vaikuttavat laskuriin

weak vs. unowned — päätös

Vuotojen havaitseminen

Yleiset vuotolähteet

Miksi se on tärkeää

Aiheeseen liittyvät kysymykset