Swift необязательный параметр Escapeing Closure

Дано:

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

Есть ли способ сделать completionпараметр (и action) типа, Action?а также сохранить @escaping?

Изменение типа приводит к следующей ошибке:

Атрибут @escaping применяется только к типам функций

При удалении @escapingатрибута код компилируется и запускается, но, по-видимому, он не является правильным, поскольку completionзамыкание выходит за рамки функции.

Существует отчет SR-2552, который @escapingне распознает псевдоним типа функции. вот почему ошибка @escaping attribute only applies to function types. Вы можете обойти это, расширив тип функции в сигнатуре функции:

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, где ошибка SR-2552 еще не была решена. исправляя эту ошибку, представил новую (ту, с которой вы столкнулись), которая все еще открыта. см. SR-2444 .

Обходной путь @Michael Ilseman указал, что временное решение - удалить @escapingатрибут из необязательного типа функции, который сохраняет функцию как экранирующую .

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

РЕДАКТИРОВАТЬ 2 :

SR-2444 было закрыто , конкретно указав , что закрытие позиций в параметрах не избежать , и нужно , чтобы они были помечены , @escapingчтобы их избежать, но необязательные параметры будут неявно избежать, так как ((Int)->())?является синонимами Optional<(Int)->()>, факультативные закрытия убегают.

от: список рассылки swift-users

По сути, @escaping действителен только для замыканий в позиции параметров функции. Правило noescape по умолчанию применяется только к этим замыканиям в позиции параметров функции, в противном случае они экранируются. Агрегаты, такие как перечисления со связанными значениями (например, необязательные), кортежи, структуры и т. Д., Если они имеют замыкания, следуют правилам по умолчанию для замыканий, которые не находятся в положении параметра функции, т.е. они экранируются.

Поэтому необязательным параметром функции по умолчанию является @escaping.
@noeascape применяется только к параметру функции по умолчанию.

Я столкнулся с подобной проблемой, потому что смешивание @escapingи не @escapingочень сбивает с толку, особенно если вам нужно обойти замыкания.

Я закончил тем, что присвоил значение по умолчанию no-op параметру closure через = { _ in }, что, я думаю, имеет больше смысла:

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

Я получил его в Swift 3 без каких-либо предупреждений только так:

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

Важная вещь, которую нужно понять в этом примере, заключается в том, что если вы переходите Actionк Action?закрытию, это сбегание. Итак, давайте сделаем то, что вы предлагаете:

typealias Action = () -> ()

var action: Action? = { }

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

Хорошо, теперь мы позвоним 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
        }
    }
}

Ну, это требование возникает только для избежания замыканий. Так что закрытие ускользает. Вот почему вы не помечаете его как побег - он уже сбежал.