なぜクロージャではselfを使うのか【Swift】

Question

##　なぜクロージャではselfを使うのか【Swift】

**selfをキャプチャすることを明示するため。**と書かれていたのですが、
参考サイト

以下コードの場合、下記の記述は正しいでしょうか？

関数scope_3へのキャプチャを明示する為、self.scope_3と記述する。

因みにselfは、Fooクラスを指しています。

####　質問

• Fooクラスを キャプチャしているのでしょうか？
• self.scope_3(= 関数scope_３) をキャプチャしているのでしょうか？

関数scope_３の変数teteへの参照を保持しているので、後者の説明がしっくり来るのですが...????
参考サイトの考えによると、前者が正しいっぽいですが..

// scope_4関数は、scope_3関数から返されたクロージャを２回実行しています。
class Foo {
    func scope_3() -> () -> Void {
        var tete = 10
        let closure = { tete += 1
            print(tete)
        }
        return closure
    }
    
    func scope_4() {
        let tutu = self.scope_3()
        tutu()
        tutu()
    }
}

質問は以上です。
お時間あるときに、ご返信頂けましたら幸いです????

Answer 1

質問のコードは、

• 引数でクロージャを受け取っているところがない
• クロージャがFooの変数やメソッドを一切使っていない
• scope_4で受け取ったクロージャはscope_4の終了で存在しなくなる

ので、質問に貼ってあるqiitaの記事に書いてあることとまったく関係がないコードになっています。

じっさい、

class Foo {
    func scope_3() -> () -> Void {
        var tete = 10
        let closure = { tete += 1
            print(tete)
        }
        return closure
    }

    func scope_4() {
        let tutu = scope_3()
        tutu()
        tutu()
    }
}

としても動きますね。

Comments

[kazuki_user]

ご返信ありがとうございます。

https://qiita.com/st43/items/20d8b643c1f2431b4609
このQiitaにて、
> 循環参照を起こす危険性があるので、クロージャーの中で親スコープを参照するときはselfをつけることになります。

とあるのですが、

「なぜクロージャではselfを使うのか」の答えとしては、
循環参照を防ぐ為。で良いのでしょうか？

[quickquip]

循環参照を起こす危険性があるから防ぐためにクロージャーの中で親スコープを参照するときはselfをつける
が真であっても
クロージャではselfを使うは循環参照を防ぐ為
が真であるとは限らないのでは? というのが素直な感想です。

あと
> 循環参照を起こす危険性があるので、クロージャーの中で親スコープを参照するときはselfをつけることになります
にはギャップがあるように思います。（納得感がありません）

[kazuki_user]

了解です。
ご返信ありがとうございました。????‍♀️

[quickquip]

https://docs.swift.org/swift-book/LanguageGuide/Closures.html#ID546
> Writing self explicitly lets you express your intent, and reminds you to confirm that there isn’t a reference cycle.
[雑訳]selfを明に書くことで、自分の意図を明記することになり、循環参照が存在しないよう確認することに注意するようになります。

（Escaping Closuresは）循環参照を起こす危険性があるので、（プログラマにそれを意識させるために）クロージャーの中で親スコープを参照するときはselfをつけることになります
だったなら納得感でます。

selfを付けることが循環参照を防ぐことに直結しているわけではなくて、コードの意図が明確になり、プログラマが循環参照しないかに意識を向けて書くようになる、という感じではないでしょうか。

[quickquip]

実際selfは強参照だから循環参照を防ぐ役には立たないですよね。
(selfを書くことで)ここに強参照があるぞ、とプログラマが気づくことが役に立つのでは。

[kazuki_user]

> selfを明示的に書くことで、自分の意図を明記する
> 循環参照を起こす危険性があるので、プログラマにそれを意識させるために、クロージャーの中で親スコープを参照するときはselfをつけることになります
> selfは強参照

大変勉強になりました。????‍♂️
次は、強・弱参照や、循環参照についてしっかりと学ぼうと思います。ありがとうございました。

Answer 2

（Escaping Closuresは）循環参照を起こす危険性があるので、

（プログラマにそれを意識させるために）クロージャーの中で親スコープを強参照するときはselfをつける。

selfを付けることが循環参照を防ぐことに直結しているわけではなくて、

コードの意図が明確になり、循環参照しないかにプログラマが意識を向けて書くようになる、

つまり、明示的なselfには、循環参照が存在しないよう確認を促す役割がある。