Swift是一个可选的转义闭包参数

Question

鉴于：

typealias Action = () -> ()

var action: Action = { }

func doStuff(stuff: String, completion: @escaping Action) {
    print(stuff)
    action = completion
    completion()
}

func doStuffAgain() {
    print("again")
    action()
}

doStuff(stuff: "do stuff") { 
    print("swift 3!")
}

doStuffAgain()

有什么方法可以使Action？类型的完成参数（和action）并且还保留@逃逸？

更改类型会产生以下错误：

@escaping属性仅适用于函数类型

删除转义属性，代码将编译并运行，但似乎不正确，因为完成闭包正在转义函数的范围。

Answer 1

匿名用户

我遇到了一个类似的问题，因为混合使用< code>@escaping和非< code>@escaping非常令人困惑，尤其是当您需要传递闭包的时候。

我最终通过={_在}为闭包参数分配了一个no-op默认值，我认为这更有意义：

func doStuff(stuff: String = "do stuff",
        completion: @escaping (_ some: String) -> Void = { _ in }) {
     completion(stuff)
}

doStuff(stuff: "bla") {
    stuff in
    print(stuff)
}

doStuff() {
    stuff in
    print(stuff)
}

Answer 2

有一个SR-2552报告@逃逸无法识别函数类型别名。这就是为什么错误@逃逸属性仅适用于函数类型。您可以通过扩展函数签名中的函数类型来解决问题：

typealias Action = () -> ()

var action: Action? = { }

func doStuff(stuff: String, completion: (@escaping ()->())?) {
    print(stuff)
    action = completion
    completion?()
}

func doStuffAgain() {
    print("again")
    action?()
}

doStuff(stuff: "do stuff") {
    print("swift 3!")
}

doStuffAgain()

编辑1:

我实际上是在xcode 8 beta版本下，其中错误SR-2552尚未解决。修复了那个错误，引入了一个仍然开放的新错误（您面临的错误）。请参阅SR-2444。

@Michael Ilseman指出的临时解决方案是从可选函数类型中删除@escaping属性，该属性将函数保持为转义。

func doStuff(stuff: String, completion: Action?) {...}

编辑2::

SR-2444 已关闭，明确指出参数位置中的闭包不是转义的，需要用 @escaping 标记它们以使它们转义，但可选参数是隐式转义的，因为 （（Int）-

Answer 3

来自:swift-用户邮件列表

基本上，@escaping仅在函数参数位置的闭包上有效。noescape-by default 规则仅适用于函数参数位置处的这些闭包，否则它们将被转义。聚合，例如具有关联值的枚举（例如可选），元组，结构等，如果它们具有闭包，则遵循不在函数参数位置的闭包的默认规则，即它们正在转义。

因此，可选函数参数默认为@escaping
@noeascape默认情况下仅适用于函数参数。