Swift 中的 async/await

async-await 是在 WWDC 2021 期間的 Swift 5.5 中的結構化併發變化的一部分。Swift中的併發性意味着允許多段代碼同時運行。這是一個非常簡化的描述,但它應該讓你知道 Swift 中的併發性對你的應用程序的性能是多麼重要。有了新的 async 方法和 await 語句,我們可以定義方法來進行異步工作。

你可能讀過Chris Lattner的Swift併發性宣言Swift Concurrency Manifesto by Chris Lattner,這是在幾年前發佈的。Swift社區的許多開發者對未來將出現的定義異步代碼的結構化方式感到興奮。現在它終於來了,我們可以用async-await簡化我們的代碼,使我們的異步代碼更容易閱讀。

什麼是 async?

async 是異步的意思,可以看作是一個明確表示一個方法是執行異步工作的一個屬性。這樣一個方法的例子看起來如下:

func fetchImages() async throws -> [UIImage] {
    // ..  執行數據請求
}

fetchImages 方法被定義爲異步且可以拋出異常,這意味着它正在執行一個可失敗的異步作業。如果一切順利,該方法將返回一組圖像,如果出現問題,則拋出錯誤。

async 如何取代完成回調閉包

async 方法取代了經常看到的完成回調。完成回調在Swift中很常見,用於從異步任務中返回,通常與一個結果類型的參數相結合。上述方法一般會被寫成這樣:

func fetchImages(completion: (Result<[UIImage], Error>) -> Void) {
    // .. 執行數據請求
}

在如今的Swift版本中,使用完成閉包來定義方法仍然是可行的,但它有一些缺點,async 卻剛好可以解決。

  • 你必須確保自己在每個可能的退出方法中調用完成閉包。如果不這樣做,可能會導致應用程序無休止地等待一個結果。
  • 閉包代碼比較難閱讀。與結構化併發相比,對執行順序的推理並不那麼容易。
  • 需要使用弱引用weak references來避免循環引用。
  • 實現者需要對結果進行切換以獲得結果。無法從實現層面使用 try catch 語句。

這些缺點是基於使用相對較新的Result枚舉的閉包版本。很可能很多項目仍然在使用完成回調,而沒有使用這個枚舉:

func fetchImages(completion: ([UIImage]?, Error?) -> Void) {
    // .. 執行數據請求
}

像這樣定義一個方法使我們很難推理出調用者一方的結果。valueerror都是可選的,這要求我們在任何情況下都要進行解包。對這些可選項解包會導致更多的代碼混亂,這對提高可讀性沒有幫助。

什麼是 await?

await 是用於調用異步方法的關鍵字。你可以把它們(async-await)看作是Swift中最好的朋友,因爲一個永遠不會離開另一個,你基本上可以這樣說:

"Await 正在等待來自他的夥伴async 的回調"

儘管這聽起來很幼稚,但這並不是騙人的! 我們可以通過調用我們先前定義的異步方法 fetchImages方法來看一個例子:

do {
    let images = try await fetchImages()
    print("Fetched \(images.count) images.")
} catch {
    print("Fetching images failed with error \(error)")
}

也許你很難相信,但上面的代碼例子是在執行一個異步任務。使用 await 關鍵字,我們告訴我們的程序等待 fetchImages 方法的結果,只有在結果到達後才繼續。這可能是一個圖像集合,也可能是一個在獲取圖像時出了什麼問題的錯誤。

什麼是結構化併發?

使用 async-await 方法調用的結構化併發使得執行順序的推理更加容易。方法是線性執行的,不用像閉包那樣來回走動。

爲了更好地解釋這一點,我們可以看看在結構化併發到來之前,我們如何調用上述代碼示例:

// 1. 調用這個方法
fetchImages { result in
    // 3. 異步方法內容返回
    switch result {
    case .success(let images):
        print("Fetched \(images.count) images.")
    case .failure(let error):
        print("Fetching images failed with error \(error)")
    }
}
// 2. 調用方法結束

正如你所看到的,調用方法在獲取圖像之前結束。最終,我們收到了一個結果,然後我們回到了完成回調的流程中。這是一個非結構化的執行順序,可能很難遵循。如果我們在完成回調中執行另一個異步方法,毫無疑問這會增加另一個閉包回調:

// 1. 調用這個方法
fetchImages { result in
    // 3. 異步方法內容返回
    switch result {
    case .success(let images):
        print("Fetched \(images.count) images.")
        
        // 4. 調用 resize 方法
        resizeImages(images) { result in
            // 6. Resize 方法返回
            switch result {
            case .success(let images):
                print("Decoded \(images.count) images.")
            case .failure(let error):
                print("Decoding images failed with error \(error)")
            }
        }
        // 5. 獲圖片方法返回
    case .failure(let error):
        print("Fetching images failed with error \(error)")
    }
}
// 2. 調用方法結束

每一個閉包都會增加一層縮進,這使得我們更難理解執行的順序。

通過使用 async-await 重寫上述代碼示例,最好地解釋了結構化併發的作用。

do {
    // 1. 調用這個方法
    let images = try await fetchImages()
    // 2.獲圖片方法返回
    
    // 3. 調用 resize 方法
    let resizedImages = try await resizeImages(images)
    // 4.Resize 方法返回
    
    print("Fetched \(images.count) images.")
} catch {
    print("Fetching images failed with error \(error)")
}
// 5. 調用方法結束

執行的順序是線性的,因此,容易理解,容易推理。當我們有時還在執行復雜的異步任務時,理解異步代碼會更容易。

在一個不支持併發的函數中調用異步方法

在第一次使用 async-awai t時,你可能會遇到這樣的錯誤。

當我們試圖從一個不支持併發的同步調用環境中調用一個異步方法時,就會出現這個錯誤。我們可以通過將我們的fetchData方法也定義爲異步來解決這個錯誤:

func fetchData() async {
    do {
        try await fetchImages()
    } catch {
        // .. handle error
    }
}

然而,這將把錯誤轉移到另一個地方。相反,我們可以使用Task.init方法,從一個支持併發的新任務中調用異步方法,並將結果分配給我們視圖模型中的一個屬性:

final class ContentViewModel: ObservableObject {
    
    @Published var images: [UIImage] = []
    
    func fetchData() {
        Task.init {
            do {
                self.images = try await fetchImages()
            } catch {
                // .. handle error
            }
        }
    }
}

使用尾隨閉包的異步方法,我們創建了一個環境,在這個環境中我們可以調用異步方法。一旦異步方法被調用,獲取數據的方法就會返回,之後所有的異步回調都會在閉包內發生。

在一個現有項目中採用 async-await

當在現有項目中採用 async-await 時,你要注意不要一下子破壞所有的代碼。在進行這樣的大規模重構時,最好考慮暫時維護舊的實現,這樣你就不必在知道新的實現是否足夠穩定之前更新所有的代碼。這與SDK中被許多不同的開發者和項目所使用的廢棄方法類似。

顯然,你沒有義務這樣做,但它可以使你更容易在你的項目中嘗試使用 async-await。除此之外,Xcode使重構你的代碼變得超級容易,還提供了一個選項來創建一個單獨的 async 方法:

每個重構方法都有自己的目的,並導致不同的代碼轉換。爲了更好地理解其工作原理,我們將使用下面的代碼作爲重構的輸入:

struct ImageFetcher {
    func fetchImages(completion: @escaping (Result<[UIImage], Error>) -> Void) {
        // .. 執行數據請求
    }
}

將函數轉換爲異步 (Convert Function to Async)

第一個重構選項將 fetchImages 方法轉換爲異步變量,而不保留非異步變量。如果你不想保留原來的實現,這個選項將很有用。結果代碼如下:

struct ImageFetcher {
    func fetchImages() async throws -> [UIImage] {
        // .. 執行數據請求
    }
}

添加異步替代方案 (Add Async Alternative)

添加異步替代重構選項確保保留舊的實現,但會添加一個可用(available) 屬性:

struct ImageFetcher {
    @available(*, renamed: "fetchImages()")
    func fetchImages(completion: @escaping (Result<[UIImage], Error>) -> Void) {
        Task {
            do {
                let result = try await fetchImages()
                completion(.success(result))
            } catch {
                completion(.failure(error))
            }
        }
    }


    func fetchImages() async throws -> [UIImage] {
        // .. 執行數據請求
    }
}

可用屬性對於瞭解你需要在哪裏更新你的代碼以適應新的併發變量是非常有用的。雖然,Xcode提供的默認實現並沒有任何警告,因爲它沒有被標記爲廢棄的。要做到這一點,你需要調整可用標記,如下所示:

@available(*, deprecated, renamed: "fetchImages()")

你可以在我的文章如何在Swift中使用#available屬性中瞭解更多關於available標記的信息。

使用這種重構選項的好處是,它允許你逐步適應新的結構化併發變化,而不必一次性轉換你的整個項目。在這之間進行構建是很有價值的,這樣你就可以知道你的代碼變化是按預期工作的。利用舊方法的實現將得到如下的警告。

你可以在整個項目中逐步改變你的實現,並使用Xcode中提供的修復按鈕來自動轉換你的代碼以利用新的實現。

添加異步包裝器 (Add Async Wrapper)

最後的重構方法將使用最簡單的轉換,因爲它將簡單地利用你現有的代碼:

struct ImageFetcher {
    @available(*, renamed: "fetchImages()")
    func fetchImages(completion: @escaping (Result<[UIImage], Error>) -> Void) {
        // .. 執行數據請求
    }

    func fetchImages() async throws -> [UIImage] {
        return try await withCheckedThrowingContinuation { continuation in
            fetchImages() { result in
                continuation.resume(with: result)
            }
        }
    }
}

新增加的方法利用了Swift中引入的withCheckedThrowingContinuation方法,可以不費吹灰之力地轉換基於閉包的方法。不拋出的方法可以使用withCheckedContinuation,其工作原理與此相同,但不支持拋出錯誤。

這兩個方法會暫停當前任務,直到給定的閉包被調用以觸發 async-await 方法的繼續。換句話說:你必須確保根據你自己的基於閉包的方法的回調來調用``continuation閉包。在我們的例子中,這歸結爲用我們從最初的fetchImages`回調返回的結果值來調用繼續。

爲你的項目選擇正確的 async-await 重構方法

這三個重構選項應該足以將你現有的代碼轉換爲異步的替代品。根據你的項目規模和你的重構時間,你可能想選擇一個不同的重構選項。不過,我強烈建議逐步應用改變,因爲它允許你隔離改變的部分,使你更容易測試你的改變是否如預期那樣工作。

解決 "Reference to captured parameter ‘self’ in concurrently-executing code "錯誤

在使用異步方法時,另一個常見的錯誤是下面這個:

“Reference to captured parameter ‘self’ in concurrently-executing code”

這大致意思是說我們正試圖引用一個不可變的self實例。換句話說,你可能是在引用一個屬性或一個不可變的實例,例如,像下面這個例子中的結構體:

不支持從異步執行的代碼中修改不可變的屬性或實例。

可以通過使屬性可變或將結構體更改爲引用類型(如類)來修復此錯誤。

async-await 將是Result枚舉的終點嗎?

我們已經看到,異步方法取代了利用閉包回調的異步方法。我們可以問自己,這是否會是Swift中Result枚舉的終點。最終我們會發現,我們真的不再需要它們了,因爲我們可以利用try-catch語句與async-await相結合。

Result枚舉不會很快消失,因爲它仍然在整個Swift項目的許多地方被使用。然而,一旦async-await 的採用率越來越高,我就不會驚訝地看到它被廢棄。就我個人而言,除了完成回調,我沒有在其他地方使用結果枚舉。一旦我完全使用 async-await,我就不會再使用這個枚舉了。

繼續你的Swift併發之旅

併發的變化不僅僅是 async-await,還包括許多新的功能,你可以從你的代碼中受益。現在你已經瞭解了async和await的基礎知識,現在是時候深入瞭解其他新的併發功能了。

結論

Swift中的 async-await 允許結構化併發,這將提高複雜異步代碼的可讀性。不再需要完成閉包,而在彼此之後調用多個異步方法的可讀性也大大增強。一些新的錯誤類型可能會發生,通過確保異步方法是從支持併發的函數中調用的,同時不改變任何不可變的引用,這些錯誤將可以得到解決。

轉自 Async await in Swift explained with code examples

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章