快速可选的转义闭合

Question

编译器错误闭包使用非转义参数“完成”可能允许它转义，这是有意义的，因为它将在函数返回后调用。

func sync(completion:(()->())) {
    self.remoteConfig.fetch(withExpirationDuration: TimeInterval(expirationDuration)) { (status, error) -> Void in
        completion()
    }
}

但如果我将闭包设置为可选的，那么没有编译器错误，这是为什么？在函数返回后仍然可以调用闭包。

func sync(completion:(()->())?) {
    self.remoteConfig.fetch(withExpirationDuration: TimeInterval(expirationDuration)) { (status, error) -> Void in
        completion?()
    }
}

Answer 1

为了理解这种情况，实现以下代码将是有用的：

typealias completion = () -> ()

enum CompletionHandler {
    case success
    case failure

    static var handler: completion {
        get { return { } }
        set { }
    }
}

func doSomething(handlerParameter: completion) {
    let chObject = CompletionHandler.handler = handlerParameter
}

这个代码乍一看好像是合法的，其实不是！您会得到编译时错误抱怨:

错误:将非转义参数“handlerParameter”赋给@escaping闭包

对象CompletionHandler.handler

注意：

注意:参数“handlerParameter”是隐式非转义func do something(handler parameter:completion){

这是为什么呢？假设代码片段与< code>@escaping无关...

实际上，由于 Swift 3 已经发布，如果默认情况下在枚举、结构或类中声明，则闭包将被“转义”。

作为参考，报告了与此问题相关的错误:

• 可选的闭包类型始终被视为@escaping
• @在可选块上转义失败

虽然他们可能与本案没有100%的关联，但受让人的意见清楚地描述了本案：

第一条评论:

这里的实际问题是可选闭包现在隐式地@转义。

第二条评论：

不幸的是，Swift 3的情况就是这样。以下是Swift 3中转义的语义：

1）函数参数位置的闭包默认为非转义

2）所有其他闭包都在逃逸

因此，所有泛型类型参数闭包（如 Array 和 Optional）都是转义的。

显然，可选是枚举。

同样，如上所述，相同的行为也适用于类和结构：

类别案例：

typealias completion = () -> ()

class CompletionHandler {
    var handler: () -> ()

    init(handler: () -> ()) {
        self.handler = handler
    }
}

func doSomething(handlerParameter: completion) {
    let chObject = CompletionHandler(handler: handlerParameter)
}

结构案例：

typealias completion = () -> ()

struct CompletionHandler {
    var handler: completion
}

func doSomething(handlerParameter: completion) {
    let chObject = CompletionHandler(handler: handlerParameter)
}

上述两个代码段将导致相同的输出（编译时错误）。

为了修复这种情况，您需要让函数签名为：

func doSomething( handlerParameter: @escaping completion)

既然你期望你必须让完成：（（）-

Answer 2

将闭包包装在可选的文件中会自动将其标记为转义。从技术上讲，它已经通过嵌入到枚举中“转义”（可选）。