[[407967]]

與許多其他語言相比，使Swift更加安全，更不易出錯的原因之一是其先進的(并且在某種程度上是不容忍的)類型系統。這是一種語言功能，有時可能會給人留下深刻的印象，使您的工作效率提高很多，而有時卻令人沮喪。

今天，我想重點介紹在 Swift 中處理泛型時可能發生的一種情況，以及我通常如何使用基于閉包的類型擦除技術來解決這種情況。

假設我們要編寫一個類，使我們可以通過網絡加載模型。由于我們不想為應用程序中的每個模型都復制此類，因此我們選擇使其成為泛型類，如下所示：

class ModelLoader<T: Unboxable & Requestable> { 
    func load(completionHandler: (Result<T>) -> Void) { 
        networkService.loadData(from: T.requestURL) { data in 
            do { 
                try completionHandler(.success(unbox(data: data))) 
            } catch { 
                let error = ModelLoadingError.unboxingFailed(error) 
                completionHandler(.error(error)) 
            } 
        } 
    } 
} 

到目前為止，我們現在有了一個 ModelLoader，它能夠加載任何模型(只要它是遵守 Unboxable 協議的)，并且能夠向我們提供requestURL。但是，我們還希望啟用使用此模型加載器的代碼易于測試，因此我們將其API提取到一個協議中：

protocol ModelLoading { 
    associatedtype Model 
 
    func load(completionHandler: (Result<Model>) -> Void) 
} 

這和依賴注入一起使我們能夠輕松地在測試中模擬我們的模型加載API。但這帶來了一些復雜性——在每當我們要使用此API時，我們現在都必須將其稱為協議 ModelLoading，該協議具有相關的類型要求。這意味著僅引用 ModelLoading 是不夠的，因為在沒有更多信息的情況下編譯器無法推斷其關聯類型。因此，嘗試執行以下操作：

class ViewController: UIViewController { 
    init(modelLoader: ModelLoading) { 
        ... 
    } 
} 

會給我們這個錯誤：

Protocol 'ModelLoading' can only be used as a generic constraint because it as Self or associated type requirements 

但不用擔心，我們可以通過使用泛型輕松擺脫此錯誤，強制執行符合 Modelloading 的具體類型將由API用戶指定，并且它將加載我們期待的模型。像這樣：

class ViewController: UIViewController { 
    init<T: ModelLoading>(modelLoader: T) where T.Model == MyModel { 
        ... 
    } 
} 

這是有效的，但由于我們還希望在我們的視圖控制器中引用我們的模型加載程序，我們需要能夠指定屬性的類型。 T 只在我們的初始化程序的上下文中知道，因此我們無法定義T類型的屬性，除非我們使視圖控制器類本身成為泛型 - 這將非常迅速使我們進一步陷入到處都是通用課程的兔子洞中(down into a rabit hole 出自愛麗絲夢游記，意只簡單的事情變得越來來復雜和荒謬)。

相反，讓我們使用類型擦除，使我們能夠保存某種 T 的引用，而無需實際使用其類型。這可以通過創建擦除類型的類，例如 包裝類 來完成：

class AnyModelLoader<T>: ModelLoading { 
    typealias CompletionHandler = (Result<T>) -> Void 
 
    private let loadingClosure: (CompletionHandler) -> Void 
 
    init<L: ModelLoading>(loader: L) where L.Model == T { 
        loadingClosure = loader.load 
    } 
 
    func load(completionHandler: CompletionHandler) { 
        loadingClosure(completionHandler) 
    } 
} 

以上這種類型擦除技術，其實在 Swift 標準庫中也很常用，例如在 AnySequence 類型中?；旧?，您將關聯值要求的協議包裝為泛型類型，然后您可以直接使用它而無需使使用它的類也是泛型的。

我們現在可以更新我們之前的 ViewController，使用 AnyModelloader：

class ViewController: UIViewController { 
    private let modelLoader: AnyModelLoader<MyModel> 
 
    init<T: ModelLoading>(modelLoader: T) where T.Model == MyModel { 
        self.modelLoader = AnyModelLoader(loader: modelLoader) 
        super.init(nibName: nil, bundle: nil) 
    } 
} 

好了!我們現在擁有一個面向協議的API，具有易于Mock的特性，且仍然可以在普通類中使用，這歸功于類型擦除。

現在，獎勵時間的時間。上述技術實際上很好，但它確實涉及一個額外的步驟，為我們的代碼增加了一些復雜化。但是，事實證明，我們實際上可以直接在我們的視圖控制器中進行基于閉合的類型擦除 ——而不是必須通過 AnyModelloader 類。然后，我們的視圖控制器將如下所示：

class ViewController: UIViewController { 
    private let loadModel: ((Result<MyModel>) -> Void) -> Void 
 
    init<T: ModelLoading>(modelLoader: T) where T.Model == MyModel { 
        loadModel = modelLoader.load 
        super.init(nibName: nil, bundle: nil) 
    } 
} 

與我們的類型擦除類 AnyModelloader 一樣，我們可以參考 load 函數作為閉包的實現，并只需在我們的視圖控制器中保存引用?，F在，每當我們想要加載模型時，我們只需調用 loadmodel，就像我們的任何其他函數或閉包一樣：

override func viewWillAppear(_ animated: Bool) { 
    super.viewWillAppear(animated) 
 
    loadModel { result in 
        switch result { 
        case .success(let model): 
            render(model) 
        case .error(let error): 
            render(error) 
        } 
    } 
} 

就是這樣!希望在處理Swift代碼中的泛型和協議時，您可以找到上述技術。

本文轉載自微信公眾號「 Swift社區」，可以通過以下二維碼關注。轉載本文請聯系 Swift社區公眾號。