我们是否需要在Swift关闭中明确使用捕获列表？

Question

我对关闭的理解是，它将捕获所有直接引用的对象，无论对象变量是否被声明 strong 在关闭外，如果我们想要要弱捕获它们，然后我们需要明确定义捕获列表，并在该捕获列表中标记它们。

obj?.callback = { [weak obj] in
    obj?.perform()
}

但是，在我的测试中，我发现，如果该变量已经弱在闭合外，那么我们就不需要使用捕获列表来弱捕获它。

class Foo {
    var callback: (() -> ())?
    
    init() {
        weak var weakSelf = self
        callback = {
            weakSelf?.perform()
        }
//        is above equivalent to below in terms of memory management?
//        callback = { [weak self] in
//            self?.perform()
//        }
    }
    
    func perform() {
        print("perform")
    }
    
    deinit {
        print("deinit")
    }
}

let foo = Foo() // prints "deinit foo"

以上片段没有创建任何保留周期。这是否意味着我们不需要在捕获列表中明确捕获对象变量，如果该变量已经声明为弱 ，而捕获列表仅提供句法优势，而不是创建>在使用闭合之前，可变。

Answer 1

在这个特定的例子中，是这样的，但是你需要非常小心地思考如何看待正在发生的事情。

首先，是的，这是相同的。我们可以通过生成 SIL (swiftc -emit-sil main.swift) 来判断这一点。除了 self 与 weakSelf 的名称不同之外，它们生成完全相同的未优化 SIL。为了使它更清楚，我将更改捕获列表中变量的名称（这只是重命名，它不会改变行为）：

weakSelfweak_self

    weak var weakSelf = self
    callback = {
        weakSelf?.perform()
    }

除了

    callback = { [weak weakSelf = self] in
        weakSelf?.perform()
    }

比较它们

$ swiftc -emit-sil weakSelf.swift > weakSelf.sil
$ swiftc -emit-sil weak_self.swift > weak_self.sil
$ diff -c weakSelf.sil weak_self.sil

*** weakSelf.sil    2022-03-27 10:58:13.000000000 -0400
--- weak_self.sil   2022-03-27 11:01:22.000000000 -0400
***************
*** 102,108 ****

  // Foo.init()
  sil hidden @$s4main3FooCACycfc : $@convention(method) (@owned Foo) -> @owned Foo {
! // %0 "self"                                      // users: %15, %8, %7, %2, %22, %1
  bb0(%0 : $Foo):
    debug_value %0 : $Foo, let, name "self", argno 1, implicit // id: %1
    %2 = ref_element_addr %0 : $Foo, #Foo.callback  // user: %4
--- 102,108 ----

  // Foo.init()
  sil hidden @$s4main3FooCACycfc : $@convention(method) (@owned Foo) -> @owned Foo {
! // %0 "self"                                      // users: %8, %7, %15, %2, %22, %1
  bb0(%0 : $Foo):
    debug_value %0 : $Foo, let, name "self", argno 1, implicit // id: %1
    %2 = ref_element_addr %0 : $Foo, #Foo.callback  // user: %4

用户评论的顺序之外self，它们是相同的。

但使用这些知识时要非常非常小心。这碰巧是正确的，因为在其他地方存在对self的强引用。在这条路上走得太远可能会导致混乱。例如，考虑以下两种方法：

// Version 1
weak var weakObject = Object()
let callback = {
    weakObject?.run()
}
callback()


// Version 2
var weakObject = Object()
let callback = { [weak weakObject] in
    weakObject?.run()
}
callback()

它们的行为根本不同。在第一个版本中，weakObject 在创建 callback 时已被释放，因此 callback() 不执行任何操作。编译器将生成有关此问题的警告，因此在大多数情况下，这不太可能创建，但作为规则，您通常应该在捕获列表中进行弱捕获，以便它尽可能接近闭包创建发生，并赢得胜利不小心意外地被释放。