ARCが参照を数える仕組み

Automatic Reference Counting（ARC）は、クラスインスタンスのメモリを管理します。参照の数え方を理解すると、メモリリークのないコードを書けるようになります。

ARC は、各クラスインスタンスを指す*強い*参照の数を追跡します。カウントが 0 になると、`deinit` を呼び出してメモリを自動的に解放します。

```swift var a: Dog? = Dog(name: "Rex") // count = 1 var b = a // count = 2 a = nil // count = 1 b = nil // count = 0 → deinit ```

ARC は、ガベージコレクターのように実行時に処理するのではなく、コンパイル時に retain/release 呼び出しを挿入します。これにより、次の特徴があります: • GC による一時停止がない • 解放のタイミングが決定的である • retain/release 呼び出しによるコードサイズのわずかな増加がある

```swift class Node { var next: Node? } var n1: Node? = Node() var n2: Node? = Node() n1?.next = n2 n2?.next = n1 // cycle! n1 = nil; n2 = nil // both stuck at count=1 — leaked! ```

```swift class Engine {} var car1: Engine? = Engine() // count = 1 var car2 = car1 // count = 2 var car3 = car2 // count = 3 car1 = nil // count = 2 car2 = nil // count = 1 // Engine still alive — car3 holds it car3 = nil // count = 0 → deinit ```

```swift var dogs: [Dog] = [] dogs.append(Dog(name:"A")) // count = 1 dogs.append(Dog(name:"B")) // count = 1 each dogs.removeAll() // both deinit called ```

構造体、列挙型、タプルは参照カウントされません: ```swift struct Point { var x, y: Double } // no retain/release var p1 = Point(x:1,y:2) var p2 = p1 // copy — no ARC ```

```swift class Cat { let name: String init(name: String) { self.name = name; print("\(name) born") } deinit { print("\(name) deallocated") } } var c: Cat? = Cat(name: "Luna") c = nil // "Luna deallocated" printed ```

• GC: 定期的に実行を一時停止して回収するため、スループットとレイテンシのトレードオフがあります • ARC: カウントが 0 になるとすぐに解放するため、一時停止がありません • ARC のオーバーヘッド: 強い参照を介した代入ごとに、retain/release のペアが発生します

ARC はいつ `deinit` を呼び出して、オブジェクトのメモリを解放しますか。

重要なポイント: • ARC はクラスインスタンスへの強い参照を追跡します • カウントが 0 になると、`deinit` が呼び出され、メモリが解放されます • ARC はコンパイル時に動作するため、GC による一時停止がありません • 値型（struct/enum）は ARC によって管理されません • サイクルがあるとカウントは 0 になりません。weak/unowned を使ってください 次は、参照サイクルです。