Parâmetro de fechamento de escape opcional rápido

Dado:

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()

Existe alguma maneira de fazer o completionparâmetro (e action) do tipo Action?e também manter @escaping?

Alterar o tipo gera o seguinte erro:

O atributo @escaping se aplica apenas a tipos de função

Removendo o @escapingatributo, o código compila e executa, mas não parece estar correto, pois o completionfechamento está escapando do escopo da função.

Há um relatório SR-2552 que @escapingnão reconhece o alias do tipo de função. é por isso que o erro @escaping attribute only applies to function types. você pode solucionar esse problema expandindo o tipo de função na assinatura da função:

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()

EDIT 1 :

Na verdade, eu estava na versão beta do xcode 8, onde o bug SR-2552 ainda não havia sido resolvido. corrigindo esse erro, introduziu um novo (o que você está enfrentando) que ainda está aberto. veja SR-2444 .

A solução alternativa @Michael Ilseman apontada como uma solução temporária é remover o @escapingatributo do tipo de função opcional, que mantém a função como escapada .

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

EDIT 2 :

O SR-2444 foi fechado informando explicitamente que os fechamentos nas posições dos parâmetros não estão escapando e precisa que eles sejam marcados com @escapingpara fazê-los escapar, mas os parâmetros opcionais estão implicitamente escapando, já que ((Int)->())?é um sinônimo de Optional<(Int)->()>, os fechamentos opcionais estão escapando.

de: lista de discussão swift-users

Basicamente, @escaping é válido apenas em fechamentos na posição de parâmetro de função. A regra noescape por padrão se aplica apenas a esses fechamentos na posição do parâmetro de função, caso contrário, eles estão escapando. Agregados, como enumerações com valores associados (por exemplo, opcional), tuplas, estruturas, etc., se tiverem fechamentos, siga as regras padrão para fechamentos que não estão na posição do parâmetro de função, ou seja, estão escapando.

Portanto, o parâmetro de função opcional é @escaping por padrão.
O @noeascape se aplica apenas ao parâmetro function por padrão.

Eu tive um problema semelhante porque misturar @escapinge não @escapingé muito confuso, especialmente se você precisar passar pelos fechamentos.

Acabei atribuindo um valor padrão no-op ao parâmetro de fechamento via = { _ in }, o que acho que faz mais sentido:

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)
}

Eu consegui trabalhar no Swift 3 sem nenhum aviso apenas desta maneira:

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

O importante a entender no exemplo é que, se você mudar Actionpara Action?o fechamento, está escapando. Então, vamos fazer o que você propõe:

typealias Action = () -> ()

var action: Action? = { }

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

Ok, agora vamos ligar doStuff:

class ViewController: UIViewController {
    var prop = ""
    override func viewDidLoad() {
        super.viewDidLoad()
        doStuff(stuff: "do stuff") {
            print("swift 3!")
            print(prop) // error: Reference to property 'prop' in closure 
                        // requires explicit 'self.' to make capture semantics explicit
        }
    }
}

Bem, esse requisito só surge para escapar de fechamentos. Então o fechamento está escapando. É por isso que você não marca como escapando - já está escapando.