Parameter penutupan lolos opsional Swift

Diberikan:

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

Apakah ada cara untuk membuat completionparameter (dan action) bertipe Action?dan juga menyimpannya @escaping?

Mengubah jenisnya memberikan kesalahan berikut:

Atribut @escaping hanya berlaku untuk tipe fungsi

Menghapus @escapingatribut, kode mengkompilasi dan menjalankan, tetapi tampaknya tidak benar karena completionpenutupan keluar dari ruang lingkup fungsi.

Ada pelaporan SR-2552 yang @escapingtidak mengenali jenis fungsi alias. itu sebabnya kesalahan @escaping attribute only applies to function types. Anda bisa mengatasinya dengan memperluas jenis fungsi di tanda tangan fungsi:

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 ::

Saya sebenarnya di bawah versi beta xcode 8 di mana bug SR-2552 belum diselesaikan. memperbaiki bug itu, memperkenalkan bug baru (yang Anda hadapi) yang masih terbuka. lihat SR-2444 .

Solusinya @Michael Ilseman menunjuk sebagai solusi sementara adalah menghapus @escapingatribut dari tipe fungsi opsional, yang menjaga fungsi sebagai melarikan diri .

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

EDIT 2 ::

The SR-2444 telah ditutup menyatakan secara eksplisit bahwa penutupan di posisi parameter tidak melarikan diri dan membutuhkan mereka harus ditandai dengan @escapinguntuk membuat mereka melarikan diri, tetapi parameter opsional yang secara implisit melarikan diri, karena ((Int)->())?merupakan sinonim dari Optional<(Int)->()>, penutupan opsional melarikan diri.

dari: milis swift-pengguna

Pada dasarnya, @escaping hanya valid pada penutupan pada posisi parameter fungsi. Aturan noescape-by-default hanya berlaku untuk penutupan ini pada posisi parameter fungsi, jika tidak maka mereka akan lolos. Agregat, seperti enum dengan nilai terkait (misalnya Opsional), tupel, struct, dll., Jika mereka memiliki penutupan, ikuti aturan default untuk penutupan yang tidak pada posisi parameter fungsi, yaitu mereka melarikan diri.

Jadi parameter fungsi opsional adalah @escaping secara default.
@noecape hanya berlaku untuk parameter fungsi secara default.

Saya mengalami masalah yang sama karena pencampuran @escapingdan non @escaping-sangat membingungkan, terutama jika Anda harus melewati penutupan.

Saya akhirnya memberikan nilai default no-op ke parameter penutupan via = { _ in }, yang menurut saya lebih masuk akal:

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

Saya membuatnya bekerja di Swift 3 tanpa peringatan apa pun hanya dengan cara ini:

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

Yang penting untuk memahami dalam contoh adalah bahwa jika Anda mengubah Actionke Action?penutupan yang melarikan diri. Jadi, mari kita lakukan apa yang Anda usulkan:

typealias Action = () -> ()

var action: Action? = { }

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

Oke, sekarang kita akan menelepon 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
        }
    }
}

Nah, persyaratan itu hanya muncul untuk lolos dari penutupan. Jadi penutupannya keluar. Itu sebabnya Anda tidak menandainya melarikan diri - itu sudah melarikan diri.