Swift嵌套闭包的逃逸/非逃逸特性差异及编译报错解析

先明确基础规则：Swift中函数参数的闭包默认是**非逃逸（non-escaping）**的，这类闭包的生命周期严格限制在函数内部——不能被存储到函数外的变量/属性，也不能异步执行，以此保证参数的生命周期安全。

下面逐个分析不同场景的原理：

场景1：let定义闭包但未使用/传递 #

func perform(_ clsr: () -> Void) {
    let anotherClosure = {
        clsr()
    }
}

这段代码能正常编译，是因为anotherClosure是一个未被使用的常量闭包。编译器会自动做死代码消除优化，直接忽略这个闭包的定义，自然不会检查它对非逃逸参数的捕获问题。

场景2：var定义闭包 #

func perform(_ clsr: () -> Void) {
    var anotherClosure = { // 错误：Escaping closure captures non-escaping parameter 'clsr'
        clsr()
    }
}

用var定义时，编译器会认为这个变量后续可能被修改或赋值到函数外部（比如全局变量、类实例属性），这就存在闭包逃逸出perform函数的风险。而非逃逸参数clsr的生命周期只到perform函数执行结束，一旦闭包逃逸，clsr可能已经被销毁，会引发内存安全问题，所以编译器直接报错阻止。

场景3：let定义闭包并直接调用 #

func perform(_ clsr: () -> Void) {
    let anotherClosure = {
        clsr()
    }
    
    anotherClosure() // 错误：Escaping closure captures non-escaping parameter 'clsr'
}

这里的关键是类型推断逻辑：当你直接调用anotherClosure()时，编译器会把这个闭包的类型推断为逃逸闭包——因为无法排除后续代码（哪怕当前没有）将这个闭包转存到外部的可能性。而逃逸闭包不允许捕获非逃逸参数，否则会打破非逃逸参数的生命周期限制，所以编译器报错。

场景4：let定义闭包传入另一个函数 #

func perform(_ clsr: () -> Void) {
    let anotherClosure = {
        clsr()
    }
    
    anotherPerfom(anotherClosure) // 正常运行
}

func anotherPerfom(_ clsr: () -> Void){
  clsr()
}

anotherPerfom的参数闭包默认也是非逃逸的。当你把anotherClosure传入该函数时，编译器可以明确：anotherClosure的生命周期被严格限制在anotherPerfom内部，不会逃逸出perform的作用域。同时，clsr作为非逃逸参数，它的生命周期完全覆盖了anotherPerfom的执行周期，不存在内存安全风险，所以编译器允许这种操作。

内容的提问来源于stack exchange，提问作者itsAj