Swift3.0中的逃逸闭包和非逃逸闭包

本文乃纯翻译

原文地址

函数和闭包是Swift中的一类对象, 你可以存储他们, 将他们作为参数传递到函数当中, 像处理任何值或者对象一样处理他们, 将闭包作为完成回调是很多API的通用做法, 我们也非常熟悉和喜欢这种模式

在Swift3.0中, 如果我们要将闭包作为参数传递到函数中去, 这里面有个小坑: 编译器默认闭包参数是非逃逸的, 这是什么意思呢? 逃逸闭包和非逃逸闭包的区别是什么呢?

非逃逸闭包

非逃逸闭包的生命周期是很简单的:

1. 将闭包参数传入函数
2. 函数内部执行闭包(或者不执行)
3. 函数执行结束

非逃逸闭包

请注意, 闭包没有逃逸出函数体, 当函数结束的时候, 闭包也不在作用域内, 所以闭包也没有附加的引用了.

如果你记得内存管理, 你可能会说retain和release平衡了, 闭包对象的引用计数在函数执行结束之后和在函数被调用之前是一致的

逃逸闭包

你大概猜到了"逃逸闭包"是什么意思了, 在函数内部, 你依然能够执行闭包(或者不执行), 不同之处在于: 闭包被存储在另外某个地方, 生存周期比函数的要长, 有几种方法可以让闭包逃逸其所处的函数:

• 异步执行:

如果你在一个调度队列中异步执行闭包, 那么这个队列将会对这个闭包强引用, 你不知道闭包什么时候会执行, 也无法保证在函数执行结束之后闭包会执行完毕

• 存储:

将闭包作为全局的变量或者属性存储, 意味着闭包同样可以逃逸

逃逸闭包

当函数执行完毕之后, 闭包依然存在, 没有被销毁, 为什么这个很重要呢?

Swift3.0中的逃逸和非逃逸

在Swift1.0和2.0中, 闭包参数默认是逃逸的, 如果你知道你的闭包参数是不会逃逸函数体的, 你可以用@escaping关键字修饰闭包参数.

在Swift3.0中, 变成了另外一种情况: 闭包参数默认是非逃逸的, 如果你的闭包试图逃逸函数体, 那么你要用@non-escaping来修饰闭包参数.

如果闭包是非逃逸的, 那么久存在一些潜在的优势, 因为闭包无法逃逸函数体, 那么编译器就可以优化闭包的存储和调用

class ClassA {
  // takes a closure (non-escaping by default)
  func someMethod(closure: () -> Void) {
    // secret stuff
  }
}

class ClassB {
  let classA = ClassA()
  var someProperty = "Hello"

  func testClosure() {
    classA.someMethod {
      // self is captured!
      someProperty = "Inside the closure!"
    }
  }
}

当你调用包含有闭包参数的someMethod函数时, 请注意, someProperty是ClassB的属性, 在闭包中使用self会发生什么呢? 由于在Swift3.0中, 闭包默认是非逃逸的, 所以这段代码没有任何问题.

闭包中仍然捕获了self, 但由于闭包的生存周期不会长于someMethod函数, 所以编译器认为不存在循环引用的风险

反之, 如果函数的声明是这样子的:

func someMethod(closure: @escaping () -> Void) {
  // secret stuff
}

现在就是另外一种情况了, 谁知道函数内部会对闭包做怎样的处理呢? 存储, 还是将其置于某个队列中? 当你在调用这个函数, 提供一个引用属性的闭包的时候, 你必须明确地在闭包内部写出self以便提醒自己捕获了self, 否则, 编译器会报错!

----------------分割线----------------

我个人的理解:

对于逃逸闭包来说, 因为其生命周期是比函数体要长的, 那么很有可能, 一个类的对象已经销毁了, 但闭包依然存储于内存中的某个地方, 当闭包中的代码块要执行的时候, 这个时候涉及到的属性其实是为空的, 所以必须添加self对这个类对象进行强引用.

当使用异步执行闭包的时候, 编译器会自动提示加上@escaping关键字, 使闭包成为逃逸闭包, 延长生命周期.

这样写法的话就需要注意循环引用的问题了, 默认是非逃逸的, 就不需要考虑循环引用的问题