Closure — 知識ノート

周囲の環境を捕捉する、名前のない関数。

swift

let add = { (a: Int, b: Int) -> Int in a + b }
numbers.sorted { $0 < $1 }
numbers.map { $0 * 2 }

捕捉#

swift

func makeCounter() -> () -> Int {
    var count = 0
    return { count += 1; return count }   // count を捕捉する
}

count は関数を抜けても生き続ける。クロージャが参照を保持するため、 ヒープに移される（boxing）。

これが「クロージャ = 関数 + 環境」と言われる所以で、静的スコープの帰結。

クロージャは参照型なので、 ARC の循環を作りうる。

swift

class VC {
    var handler: (() -> Void)?
    func setup() {
        handler = { self.doSomething() }   // self を強参照 → 循環
    }
}

swift

handler = { [weak self] in self?.doSomething() }

捕捉リスト [weak self] で断ち切る。 エスケープするクロージャで self を捕捉したら疑う。

既定が non-escaping なのは、 保持されないことが分かれば最適化できるから。 self の明示が要求されるのは、循環参照の危険を書き手に意識させるため。

swift

items.filter { $0.isActive }
Button("OK") { save() }

最後の引数がクロージャなら括弧の外に出せる。 SwiftUI の宣言的な記法はこの構文の上に成り立っている。