什么是Opaque Types

Opaque Types 是在 Swift5.7 新添加的一個特性。主要是和 Protocol 來搭配使用，用來定義函數(shù)中的參數(shù)類型。它的作用就是隱藏參數(shù)的具體類型，從而使代碼變得更加通用，減少冗余代碼。廢話不多說，下面來看一看它如何使用。

如何使用

假設(shè)我們有一個定義動物行為的 Protocol Behavior，有兩個動物類 Cat 和 Dog 遵守了該協(xié)議：

protocol Behavior {
    func run()
}
struct Cat: Behavior {
    func run() {
        print("Cat run")
    }
}
struct Dog: Behavior {
    func run() {
        print("Dog run")
    }
}

如果我們想測試一下 run 的功能，可以通過使用 Opaque Types 來定義函數(shù)的參數(shù)，從而使測試函數(shù)可以接受 Cat 和 Dog 的實例對象：

func testRun(animal: some Behavior) {
    animal.run()
}
let cat = Cat()
let dog = Dog()
testRun(animal: cat) // Cat run
testRun(animal: dog) // Dog run

從上述代碼可以看到，animal 的類型為 some Behavior。通過 some 關(guān)鍵字聲明的類型就是所謂的 Opaque Types，some Behavior 的意思就是任何遵守了 Behavior 的類的實例對象。

看到這里，可能有的讀者就會發(fā)現(xiàn)這個不是什么新奇的特性啊，這不就相當(dāng)于泛型嘛？有這種想法的讀者稍安勿躁，下面就來講一下為什么要使用 Opaque Types。

為什么要使用

可讀性更強(qiáng)

首先，下面的三個函數(shù)從語法層級上來說都是等價的：

func testRun(animal: some Behavior) {
    animal.run()
}
func testRun1<A: Behavior>(animal: A) {
    animal.run()
}
func testRun2<A>(animal: A) where A: Behavior {
    animal.run()
}

為什么使用的第一個原因就是：使用 some 定義更加清晰，使得代碼可讀性更高更容易理解。 上面的代碼定義比較簡單，可能感覺差別不大，大家看看下面的代碼應(yīng)該會有更深的體會??：

func encodeAnyDictionaryOfPairs(_ dict: [some Hashable & Codable: Pair<some Codable, some Codable>]) -> Data
func encodeAnyDictionaryOfPairs<_T1: Hashable & Codable, _T2: Codable, _T3: Codable>(_ dict: [_T1: Pair<_T2, _T3>]) -> Data

性能更好

還有一個重要的原因就是當(dāng) Opaque Types 當(dāng)做返回值類型時它的限制比 Protocol 類型更加嚴(yán)格，比如下面的代碼：

func testReturn(isCat: Bool) -> some Behavior { // 編譯報錯
    if isCat {
        return Cat()
    } else {
        return Dog()
    }
}
func testReturn1(isCat: Bool) -> Behavior { // 正常編譯不會報錯
    if isCat {
        return Cat()
    } else {
        return Dog()
    }
}

當(dāng)編譯器編譯 testReturn 函數(shù)時，會報以下錯誤:

而 testReturn1 則不會報錯。因為對于 Protocol 當(dāng)做返回值來講，不會強(qiáng)制要求所有分支返回同一類型的對象。

當(dāng) Opaque Types 做返回值時，雖然返回值的具體類型不做限制，即任何遵守 Behavior 協(xié)議的對象都可以，但所有的分支返回必須為同一類型的對象，即可能返回 Cat，又可能返回 Dog 是不允許的。

這樣做的好處就是代碼的性能更好，因為我們從底層限制了返回類型必須是同一類型，所以編譯器處理起來會更快。

任何的事物都有兩面性，Opaque Types 也不例外。最后我們來了解一下它的限制。

使用的限制

• 不能用于可變參數(shù)的聲明
• 不用用于匿名函數(shù)的聲明

總結(jié)

本篇文章，首先講解了什么是 Opaque Types，然后又了解了它的使用方式，接著學(xué)習(xí)了它的優(yōu)點：可讀性更高；性能更好。最后說明了一下它的限制。 希望大家看完這篇文章，能在項目中多多實踐。

參考鏈接

• Apple Document
• Swift evolution
• understanding some and any

更多關(guān)于Swift Opaque Types的資料請關(guān)注腳本之家其它相關(guān)文章！

最新評論