guard let self = self else { return } の意味を知りたい

Question

知りたいこと

guard let self = self else { return } の意味を知りたい

DevelopersIOさんのこのページの「実装」の部分のコードで
guard let self = self else { return }
を見つけたのですが、意味がよく理解できませんでした。

このインスタンスでなければreturnするだと思うのですが、
外部からの侵入を防ぐといったセキュリティの意味合いで書いているのでしょうか？

すみませんが、よろしくお願いします。

Answer 1

初心者にはかなりヘビーな内容になります。　覚悟してください。

##短い回答
[weak self] でキャプチャしたselfがクロージャ実行時に存在しているかどうかを確認しています。

##とんでもなく長い回答

guard let else

まず、

guard let xxx = yyy else { return }

はyyyがOptionalで、yyyに値がなければreturnして値があれば xxx にその値を入れる、という構文です。

例えば以下のように動きます。

func hoge(_ value: Int?) {
   gurad let v = value else { return }
   print(v)
}

hoge(10)  // prints 10
hoge(nil) // no prints

###変数のキャプチャ
次に、関数による変数のキャプチャというものがあります。

var val = 0

func fuga() {
   val += 2   //  valをキャプチャ
}

print(val)  // prints 0.

fuga()
print(val)  // prints 2.

関数にキャプチャされた変数valは関数内で値を変更することが可能です。

Swiftでは関数とクロージャは同等のものですので以下でも同じです。

var val = 0

let fuga = { val += 2 }

###インスタンスのオーナーシップ
最後にクラスのインスタンスのオーナーシップです。
クラスのインスタンスにはデータ領域がありますので、そのインスタンスを使わなくなった時にその領域が解放されなければメモリがひっ迫してしまいます。
しかし、使用中に開放されてしまうと、アプリケーションがクラッシュする事態になります。
このためSwiftではインスタンスにオーナーシップというものを設定しこれに対処しています。
原則として、使用中はオーナーを設定し使用が終わるとそれを外します。オーナーがすべてなくなった段階でインスタンスは解放されます。
これらは自動的に行われており、通常はプログラマは何も考える必要もありません。

ただし、循環参照という状態になるとインスタンスが解放されなくなるため、これを対処する必要があります。

class A {
  let b: B
  
  init(b: B) {
    self.b = b
    b.a = self
  }
}

class B {
   var a: A?
}

let a: A? = A(b: B())

この例は意味のあるコードではありませんが、循環参照の典型的な例です。
class Aのインスタンスはclass Bのインスタンスを、class Bのインスタンスはclass Aのインスタンスを参照しています。
そのため、上の例でa = nilとしてもa, b どちらのオーナーもなくならないため、どちらも解放されません。

この循環参照を回避するためにweakという修飾子が用意されています。
上の例ではclass Bの変数aをweakとします。

class B {
   weak var a: A?
}

このweakという修飾子は「インスタンスは参照するがオーナーとしては登録しない」という指示を与えます。

こうすることでa = nilが実行されると、aのオーナーがすべてなくなりaが解放され、それによってbのオーナーもなくなるためbも解放されるようになります。

###キャプチャによるオーナシップの獲得
まだまだ続きます。

つぎは今までできたことの複合技、キャプチャによるオーナシップの獲得です。

これは名前の通りです。先ほどのclass Aを使います。

var a: A? = A(b: B())

let f = { print(a) }  // インスタンスaをキャプチャ

a = nil // インスタンスaは解放されない

クロージャがインスタンスaをキャプチャした時、自動的にオーナーが設定されるため、a = nilを実行してもインスタンスaは解放されません。
これにも循環参照の問題が発生します。

class C {
  var f: (() -> Void)?
}

let c: C? = C()

c?.f = { print(c) }

c = nil  // c は解放されない

このようにインスタンスcが持つクロージャがcをキャプチャしてしまったため、循環参照が発生し、cが解放されなくなってしまいます。
この時もweak修飾子を使います。ただし、クロージャ自体をweak参照することができないため以下のように行います。

c?.f = { [weak c] in print(c) }

このweakはcをキャプチャする時にオーナーを設定するなという指示になります。
この指定をすることでc = nilの時にインスタンスcが解放されるようになります。

とこらが、これでも問題が発生する場合があります。class Aを使います。

var a: A? = A(b: B())

let f = { [weak a] in print(a) }

a = nil

f()  // prints nil

aが解放された後にクロージャfを実行しようとすると、クロージャ内で使用しているaがすでに存在していないためnilになってしまいます。

###キャプチャしたインスタンスの存在確認
では、質問の回答です。
この問題を解決するためには実行前にインスタンスaが存在することを確認する必要があります。
クロージャfを以下のようにします。

let f = { [weak a] in
    gurad let a = a else { return }
    print(a)
}

まず、gurad let a = a else { return }でインスタンスaの存在を確認し、その後それを使用するようにします。

ご質問のgurad let self = self else { return }も同じことです。
[weak self] でキャプチャしたselfがクロージャ実行時に存在しているかどうかを確認しています。

Comments

[reeeeet]

ご回答に多大な労力を割いて頂きありがとうございました。満足を通り越して、リスペクトしてしまいました。はやくこのレベルまで行けるように頑張りたいと思います。????????????????????????????????????????????????????????????????????