Swift逃逸闭包、非逃逸闭包(@escaping & @noescape)

前言

很多刚开始写Swift的同学或许已经把闭包应用在很多地方了,也总是会把闭包跟OC中的block划等号,的确Swift中的的闭包跟OC中的block有很多相似之处,但是Swift毕竟是一门新的语言,出于性能、内存优化等原因的考虑,Swift比起OC而言在很多地方是有区别。以闭包来说,Swift 的闭包分为 逃逸非逃逸 两种。

逃逸闭包

概念:一个接受闭包作为参数的函数,逃逸闭包(可能)会在函数返回之后才被调用,也就是说闭包逃离了函数的作用域
场景举例:网络请求请求结束后才调用的闭包,因为发起请求后过了一段时间后这个闭包才执行,并不一定是在函数作用域内执行

func requestData() -> () {
        CCNetWorkTool.sharedInstance.request(method: .POST, URLString: API_TEST parameters: nil) {[weak self] (response, isSuccess) in
            // 请求失败
            if isSuccess == false {
                // 失败处理
                return
            }
            
            // 请求成功
            // ......
    }
非逃逸闭包

概念:一个接受闭包作为参数的函数, 闭包是在这个函数结束前内被调用
注意:关于非逃逸的闭包有一个默认规则:除了作为函数的即时参数传入的闭包是非逃逸的,其他类型的都是逃逸的。

场景举例:我们常用的masonry或者snapkit的添加约束的方法就是非逃逸的,创建完子控件,然后添加到父视图,紧接着就是需要把约束设置好,这种情况不需要再等什么条件满足后再来回调,所以就要求闭包马上执行。

class ViewController: UIViewController {
    
    override func viewDidLoad() {
        super.viewDidLoad()
        
        let orangeView = UIView()
        orangeView.backgroundColor = UIColor.orange
        view.addSubview(orangeView)
        
        orangeView.snp.makeConstraints { (make) in
            make.topMargin.equalTo(40)
            make.leftMargin.equalTo(10)
            make.rightMargin.equalTo(10)
            make.bottomMargin.equalTo(40)
            make.center.equalTo(view.center)
        }
    }
}

闭包为什么要分为逃逸和非逃逸

其实是为了管理内存。闭包会强引用它捕获的所有对象,比如你在闭包中访问了当前控制器的属性、函数,编译器会要求你在闭包中显示 self 的引用(其实当前对象的属性、函数隐形带了一个self参数,一旦调用他们,隐形中就使用了self),这样闭包会持有当前对象,容易导致循环引用。

非逃逸闭包不会产生循环引用,它会在函数作用域内释放,编译器可以保证在函数结束时闭包会释放它捕获的所有对象;使用非逃逸闭包的另一个好处是编译器可以应用更多强有力的性能优化,例如,当明确了一个闭包的生命周期的话,就可以省去一些保留(retain)和释放(release)的调用;此外非逃逸闭包它的上下文的内存可以保存在栈上而不是堆上。

综上所述,如果没有特别需要,开发中使用非逃逸闭包是有利于内存优化的,所以苹果把闭包区分为两种,特殊情况时再使用逃逸闭包

Swift3.0之后怎么允许一个闭包参数逃逸

Swift3.0之前闭包作为即时函数的参数默认为逃逸的(@escaping),但是很多开发者在开发中总是忽略去判断闭包是否为逃逸,这样就都被当做了逃逸闭包处理,对闭包的内存管理优化不太友好。Swift3.0中做出调整,所有作为即时函数的参数的闭包默认是非逃逸( @noescape)。如果开发者想使闭包具有逃逸性,需要用@escaping修饰闭包,@escaping 标识符还有警示开发者的作用,警示开发者这是一个逃逸闭包,注意循环引用问题,比如下面的代码


逃逸闭包1.png

以下是几个GCD的API用到了逃逸闭包

public func __dispatch_after(_ when: dispatch_time_t, _ queue: DispatchQueue, _ block: @escaping () -> Swift.Void)

public func __dispatch_barrier_async(_ queue: DispatchQueue, _ block: @escaping () -> Swift.Void)
注意

可选型的闭包总是逃逸的:更令人惊讶的是,即便闭包被用作参数,但是当闭包被包裹在其他类型(例如元组、枚举的 case 以及可选型)中的时候,闭包仍旧是逃逸的。由于在这种情况下闭包不再是即时的参数,它会自动变成逃逸闭包。

参考资料:
http://www.jianshu.com/p/120069d493f5
http://swift.gg/2016/11/15/optional-non-escaping-closures/

推荐阅读更多精彩内容