為什么需要Optional

Swift中引入了可選項（Optional）的概念是為了解決在代碼中對于某些變量或常量可能為nil的情況進(jìn)行處理，從而減少了程序中的不確定性，使得程序更加穩(wěn)定和安全。

什么是Optional

在Swift中，可選項的類型是使用?來表示的，例如String?即為一個可選的字符串類型，表示這個變量或常量可能為nil。而對于不可選項，則直接使用相應(yīng)類型的名稱，例如String表示一個非可選的字符串類型。

var str: String = nil
var str1: String? = nil 

Optional實(shí)現(xiàn)原理

Optional實(shí)際上是Swift語言中的一種枚舉類型。在Swift中聲明Optional類型時，編譯器會自動將其轉(zhuǎn)換成對應(yīng)的枚舉類型，例如：

var optionalValue: Int? = 10
// 等價于：
enum Optional<Int> {
    case none
    case some(Int)
}
var optionalValue: Optional<Int> = .some(10)

在上面的代碼中，我們聲明了一個Optional類型的變量optionalValue，并將其初始化為10。實(shí)際上，編譯器會自動將其轉(zhuǎn)換為對應(yīng)的枚舉類型，即Optional枚舉類型的.some(Int)，其中的Int就是我們所聲明的可選類型的關(guān)聯(lián)值。

當(dāng)我們在使用Optional類型的變量時，可以通過判斷其枚舉值是.none還是.some來確定它是否為nil。如果是.none，表示該Optional值為空；如果是.some，就可以通過訪問其關(guān)聯(lián)值獲取具體的數(shù)值。

Optional的源碼實(shí)現(xiàn)為：

@frozen public enum Optional<Wrapped> : ExpressibleByNilLiteral {
	case none
	case some(Wrapped)															 
}

• Optioanl其實(shí)是標(biāo)準(zhǔn)庫里的一個enum類型
• 用標(biāo)準(zhǔn)庫實(shí)現(xiàn)語言特性的典型
• Optional.none 就是nil
• Optional.some 就是包裝了實(shí)際的值
• 泛型屬性 unsafelyUnwrapped
• 理論上我們可以直接調(diào)用unsafelyUnwrapped獲取可選項的值

Optional的解包方式

1. 可選項綁定（Optional Binding）

使用 if let 或者 guard let 語句來判斷 Optional 變量是否有值，如果有值則解包，并將其賦值給一個非可選類型的變量。

var optionalValue: Int? = 10
// 可選項綁定
if let value = optionalValue {
    print("Optional value is \(value)")
} else {
    print("Optional value is nil")
}

可選項綁定語句有兩個分支：if分支和else分支。如果 optionalValue 有值，if 分支就會被執(zhí)行，unwrappedValue 就會被賦值為 optionalValue 的值。否則，執(zhí)行 else 分支。

2. 強(qiáng)制解包(Forced Unwrapping)

使用!來獲取一個不存在的可選值會導(dǎo)致運(yùn)行錯誤，在使用!強(qiáng)制展開之前必須保證可選項中包含一個非nil的值

var optionalValue: Int? = 10
let nonOptionalValue = optionalValue!  // 解包optionalValue值
print(nonOptionalValue)                // 輸出：10

需要注意的是，如果 Optional 類型的值為 nil，使用強(qiáng)制解包方式解包時，會導(dǎo)致運(yùn)行時錯誤 (Runtime Error)。

3. 隱式解包（Implicitly Unwrapped Optionals）

在定義 Optional 類型變量時使用 ! 操作符，標(biāo)明該變量可以被隱式解包。用于在一些情況下，我們可以確定該 Optional 變量綁定后不會為 nil，可以快捷的解包而不用每次都使用 ! 或者 if let 進(jìn)行解包。

var optionalValue: Int! = 10
let nonOptionalValue = optionalValue // 隱式解包
print(nonOptionalValue) // 輸出：10

需要注意的是，隱式解包的 Optional 如果 nil 的話，會導(dǎo)致 runtime error，所以使用隱式解包 Optional 需要確保其一直有值，否則還是需要檢查其非 nil 后再操作。

總的來說，我們應(yīng)該盡量避免使用強(qiáng)制解包，而是通過可選項綁定來處理 Optional 類型的值，在需要使用隱式解包的情況下，也要確保其可靠性和穩(wěn)定性，盡量減少出現(xiàn)運(yùn)行時錯誤的概率。

可選鏈（Optional Chaining）

是一種在 Optional 類型值上進(jìn)行操作的方式，可以將多個 Optional 值的處理放在一起，并在任何一個 Optional 值為 nil 的時刻停止處理。

通過在 Optional 類型值后面跟上問號 ?，我們就可以使用可選鏈來訪問該 Optional 對象的屬性和方法。

class Person {
    var name: String
    var father: Person?
    init(name: String, father: Person?) {
        self.name = name
        self.father = father
    }
}
let father = Person(name: "Father", father: nil)
let son = Person(name: "Son", father: father)
// 可選鏈調(diào)用屬性
if let fatherName = son.father?.name {
    print("Father's name is \(fatherName)") // 輸出：Father's name is Father
} else {
    print("Son without father")
}
// 可選鏈調(diào)用方法
if let count = son.father?.name.count {
    print("Father's name has \(count) characters") // 輸出：Father's name has 6 characters
} else {
    print("Son without father")
}

在上面的代碼中，我們定義了一個 Person 類，并初始化了一個包含父親（father）的兒子（son）對象。其中，父親對象的father屬性為nil。我們使用問號 ? 來標(biāo)記 father 對象為 Optional 類型，以避免訪問 nil 對象時的運(yùn)行時錯誤。

需要注意的是，如果一個 Optional 類型的屬性通過可選鏈調(diào)用后，返回值不是 Optional 類型，那么在可選鏈調(diào)用后，就不再需要加問號 ? 標(biāo)記其為 Optional 類型了。

class Person {
    var name: String
    var age: Int?
    init(name: String, age: Int?) {
        self.name = name
        self.age = age
    }
    func printInfo() {
        print("\(name), \(age ?? 0) years old")
    }
}
let person = Person(name: "Tom", age: nil)
// 可選鏈調(diào)用方法后，返回值不再是 Optional 類型
let succeed = person.printInfo() // 輸出：Tom, 0 years old

在上面的代碼中，我們定義了一個 Person 類，并初始化了一個包含年齡（age）的人（person）對象。在可選鏈調(diào)用對象的方法——printInfo() 方法后，因?yàn)樵摲椒ǚ祷刂挡皇?Optional 類型，所以 returnedValue 就不再需要加問號 ? 標(biāo)記其為 Optional 類型了。

Optional 的嵌套

將一個 Optional 類型的值作為另一個 Optional 類型的值的成員，形成嵌套的 Optional 類型。

var optionalValue: Int? = 10
var nestedOptionalValue: Int?? = optionalValue

在上面的代碼中，我們定義了一個 Optional 類型的變量 optionalValue，并將其賦值為整型變量 10。然后，我們將 optionalValue 賦值給了另一個 Optional 類型的變量 nestedOptionalValue，形成了一個嵌套的 Optional 類型。

在處理嵌套的 Optional 類型時，我們需要特別小心，因?yàn)樗鼈兊氖褂煤苋菀自斐蛇壿嬌系幕煜湾e誤。為了解決這個問題，我們可以使用 Optional Binding 或者 ?? 操作符（空合并運(yùn)算符）來降低 Optional 嵌套的復(fù)雜度。

var optionalValue: Int? = 10
var nestedOptionalValue: Int?? = optionalValue
// 雙重可選項綁定
if let nestedValue = nestedOptionalValue, let value = nestedValue {
    print(value) // 輸出：10
} else {
    print("Optional is nil")
}
// 空合并運(yùn)算符
let nonOptionalValue = nestedOptionalValue ?? 0
print(nonOptionalValue) // 輸出：Optional(10)

在上面的代碼中，我們使用了雙重可選項綁定來判斷 nestedOptionalValue 是否可綁定，以及其嵌套的 Optional 值是否可綁定，并將該值賦值給變量 value，以避免 Optional 值的嵌套。另外，我們還可以使用 ?? 操作符（空合并運(yùn)算符）來對嵌套的 Optional 值進(jìn)行默認(rèn)取值的操作。

需要注意的是，雖然我們可以使用 ?? 操作符來降低 Optional 值的嵌套，但在具體的實(shí)際應(yīng)用中，我們應(yīng)該在設(shè)計時盡量避免 Optional 值的嵌套，以便代碼的可讀性和維護(hù)性。如果對于某個變量來說，它的值可能為空，我們可以考慮使用默認(rèn)值或者定義一個默認(rèn)值的 Optional 值來代替嵌套的 Optional 類型。

學(xué)習(xí) Swift，勿忘初心，方得始終。但要陷入困境時，也不要忘了最初的夢想和時代所需要的技能。

以上就是Swift中的可選項Optional解包方式實(shí)現(xiàn)原理的詳細(xì)內(nèi)容，更多關(guān)于Swift可選項Optional的資料請關(guān)注腳本之家其它相關(guān)文章！

最新評論