可選類(lèi)型

使用可選類(lèi)型（optionals）來(lái)處理值可能缺失的情況义矛。可選類(lèi)型表示：

• 有值盟萨，等于 x

或者

• 沒(méi)有值, nil

可選類(lèi)型的作用：一是讓代碼更明確凉翻， 二是給編譯器提供更多線索，在編譯時(shí)發(fā)現(xiàn)更多潛在錯(cuò)誤捻激。

Swift 的 Int 類(lèi)型有一種構(gòu)造器制轰，作用是將一個(gè) String 值轉(zhuǎn)換成一個(gè) Int 值前计。然而，并不是所有的字符串都可以轉(zhuǎn)換成一個(gè)整數(shù)垃杖。字符串 "123" 可以被轉(zhuǎn)換成數(shù)字 123 男杈，但是字符串 "hello, world" 不行。

下面的例子使用這種構(gòu)造器來(lái)嘗試將一個(gè) String 轉(zhuǎn)換成 Int：

let possibleNumber = "123"
let convertedNumber = Int(possibleNumber)
// convertedNumber 被推測(cè)為類(lèi)型 "Int?"调俘， 或者類(lèi)型 "optional Int"

因?yàn)樵摌?gòu)造器可能會(huì)失敗伶棒，所以它返回一個(gè)可選類(lèi)型（optional）Int，而不是一個(gè) Int彩库。一個(gè)可選的 Int 被寫(xiě)作 Int? 而不是 Int肤无。問(wèn)號(hào)暗示包含的值是可選類(lèi)型，也就是說(shuō)可能包含 Int 值也可能不包含值骇钦。（不能包含其他任何值比如 Bool 值或者 String 值宛渐。只能是 Int 或者什么都沒(méi)有。）

nil

你可以給可選變量賦值為nil來(lái)表示它沒(méi)有值：

var serverResponseCode: Int? = 404
// serverResponseCode 包含一個(gè)可選的 Int 值 404
serverResponseCode = nil
// serverResponseCode 現(xiàn)在不包含值

注意：
nil不能用于非可選的常量和變量眯搭。如果你的代碼中有常量或者變量需要處理值缺失的情況窥翩，請(qǐng)把它們聲明成對(duì)應(yīng)的可選類(lèi)型。

如果你聲明一個(gè)可選常量或者變量但是沒(méi)有賦值鳞仙，它們會(huì)自動(dòng)被設(shè)置為 nil：

var surveyAnswer: String?
// surveyAnswer 被自動(dòng)設(shè)置為 nil

注意：
Swift 的 nil 和 Objective-C 中的 nil 并不一樣寇蚊。在 Objective-C 中，nil 是一個(gè)指向不存在對(duì)象的指針棍好。在 Swift 中仗岸，nil 不是指針——它是一個(gè)確定的值，用來(lái)表示值缺失梳玫。任何類(lèi)型的可選狀態(tài)都可以被設(shè)置為 nil，不只是對(duì)象類(lèi)型右犹。

if 語(yǔ)句以及強(qiáng)制解析

你可以使用 if 語(yǔ)句和 nil 比較來(lái)判斷一個(gè)可選值是否包含值提澎。你可以使用“相等”(==)或“不等”(!=)來(lái)執(zhí)行比較。

如果可選類(lèi)型有值念链，它將不等于 nil：

if convertedNumber != nil {
    print("convertedNumber contains some integer value.")
}
// 輸出 "convertedNumber contains some integer value."

當(dāng)你確定可選類(lèi)型確實(shí)包含值之后盼忌，你可以在可選的名字后面加一個(gè)感嘆號(hào)（!）來(lái)獲取值。這個(gè)驚嘆號(hào)表示“我知道這個(gè)可選有值掂墓，請(qǐng)使用它谦纱。”這被稱(chēng)為可選值的強(qiáng)制解析（forced unwrapping）：

if convertedNumber != nil {
    print("convertedNumber has an integer value of \(convertedNumber!).")
}
// 輸出 "convertedNumber has an integer value of 123."

注意：
1 使用 ! 來(lái)獲取一個(gè)不存在的可選值會(huì)導(dǎo)致運(yùn)行時(shí)錯(cuò)誤君编。使用 ! 來(lái)強(qiáng)制解析值之前跨嘉，一定要確定可選包含一個(gè)非 nil 的值。

2 C語(yǔ)言中的非零即為真在Swift中不適用

可選綁定

使用可選綁定（optional binding）來(lái)判斷可選類(lèi)型是否包含值吃嘿，如果包含就把值賦給一個(gè)臨時(shí)常量或者變量祠乃∶沃兀可選綁定可以用在 if 和 while 語(yǔ)句中，這條語(yǔ)句不僅可以用來(lái)判斷可選類(lèi)型中是否有值亮瓷，同時(shí)可以將可選類(lèi)型中的值賦給一個(gè)常量或者變量琴拧。

像下面這樣在 if 語(yǔ)句中寫(xiě)一個(gè)可選綁定：

if let constantName = someOptional {
    statements
}

你可以像上面這樣使用可選綁定來(lái)重寫(xiě) possibleNumber 這個(gè)例子

let possibleNumber = "123"
if let actualNumber = Int(possibleNumber) {
    print("\'\(possibleNumber)\' has an integer value of \(actualNumber)")
} else {
    print("\'\(possibleNumber)\' could not be converted to an integer")
}
// 輸出 "'123' has an integer value of 123"

這段代碼可以被理解為：

“如果 Int(possibleNumber) 返回的可選 Int 包含一個(gè)值，創(chuàng)建一個(gè)叫做 actualNumber 的新常量并將可選包含的值賦給它嘱支◎拘兀”

如果轉(zhuǎn)換成功，actualNumber 常量可以在 if 語(yǔ)句的第一個(gè)分支中使用除师。它已經(jīng)被可選類(lèi)型 包含的 值初始化過(guò)沛膳，所以不需要再使用 ! 后綴來(lái)獲取它的值。在這個(gè)例子中馍盟，actualNumber 只被用來(lái)輸出轉(zhuǎn)換結(jié)果于置。

你可以在可選綁定中使用常量和變量。如果你想在if語(yǔ)句的第一個(gè)分支中操作 actualNumber 的值贞岭，你可以改成 if var actualNumber八毯，這樣可選類(lèi)型包含的值就會(huì)被賦給一個(gè)變量而非常量。

你可以包含多個(gè)可選綁定或多個(gè)布爾條件在一個(gè) if 語(yǔ)句中瞄桨，只要使用逗號(hào)分開(kāi)就行话速。如果所有可選綁定的值為 nil 或者所有布爾條件語(yǔ)句都為 false，這樣整個(gè) if 條件判斷都是為 false芯侥，這時(shí)你就需要使用嵌套 if 條件語(yǔ)句來(lái)處理泊交，如下所示：

if let firstNumber = Int("4"), let secondNumber = Int("42"), firstNumber < secondNumber && secondNumber < 100 {
    print("\(firstNumber) < \(secondNumber) < 100")
}
// Prints "4 < 42 < 100"

if let firstNumber = Int("4") {
    if let secondNumber = Int("42") {
        if firstNumber < secondNumber && secondNumber < 100 {
            print("\(firstNumber) < \(secondNumber) < 100")
        }
    }
}
// Prints "4 < 42 < 100"

注意： 在 if 條件語(yǔ)句中使用常量和變量來(lái)創(chuàng)建一個(gè)可選綁定，僅在 if 語(yǔ)句的句中(body)中才能獲取到值柱查。相反廓俭，在 guard 語(yǔ)句中使用常量和變量來(lái)創(chuàng)建一個(gè)可選綁定，僅在 guard 語(yǔ)句外且在語(yǔ)句后才能獲取到值唉工。

上例用guard寫(xiě)：

func bbbb (){
    guard let firstNumber = Int("4") else {return}
    guard let secondNumber = Int("42") else {return}
    guard firstNumber < secondNumber && secondNumber < 100 else {return}
    print("\(firstNumber) < \(secondNumber) < 100")
}
bbbb()
// Prints "4 < 42 < 100"

隱式解析可選類(lèi)型

如上所述研乒，可選類(lèi)型暗示了常量或者變量可以“沒(méi)有值”×芟酰可選可以通過(guò) if 語(yǔ)句來(lái)判斷是否有值雹熬，如果有值的話可以通過(guò)可選綁定來(lái)解析值。

有時(shí)候在程序架構(gòu)中谣膳，第一次被賦值之后竿报，可以確定一個(gè)可選類(lèi)型總會(huì)有值。在這種情況下继谚，每次都要判斷和解析可選值是非常低效的烈菌，因?yàn)榭梢源_定它總會(huì)有值。

這種類(lèi)型的可選狀態(tài)被定義為隱式解析可選類(lèi)型（implicitly unwrapped optionals）。把想要用作可選的類(lèi)型的后面的問(wèn)號(hào)（String?）改成感嘆號(hào)（String!）來(lái)聲明一個(gè)隱式解析可選類(lèi)型僧界。

當(dāng)可選類(lèi)型被第一次賦值之后就可以確定之后一直有值的時(shí)候侨嘀，隱式解析可選類(lèi)型非常有用。

一個(gè)隱式解析可選類(lèi)型其實(shí)就是一個(gè)普通的可選類(lèi)型捂襟，但是可以被當(dāng)做非可選類(lèi)型來(lái)使用咬腕，并不需要每次都使用解析來(lái)獲取可選值。下面的例子展示了可選類(lèi)型 String 和隱式解析可選類(lèi)型 String 之間的區(qū)別：

let possibleString: String? = "An optional string."
let forcedString: String = possibleString! // 需要驚嘆號(hào)來(lái)獲取值

let assumedString: String! = "An implicitly unwrapped optional string."
let implicitString: String = assumedString  // 不需要感嘆號(hào)

你可以把隱式解析可選類(lèi)型當(dāng)做一個(gè)可以自動(dòng)解析的可選類(lèi)型葬荷。你要做的只是聲明的時(shí)候把感嘆號(hào)放到類(lèi)型的結(jié)尾涨共，而不是每次取值的可選名字的結(jié)尾。

注意：
如果你在隱式解析可選類(lèi)型沒(méi)有值的時(shí)候嘗試取值宠漩，會(huì)觸發(fā)運(yùn)行時(shí)錯(cuò)誤举反。和你在沒(méi)有值的普通可選類(lèi)型后面加一個(gè)驚嘆號(hào)一樣。

你仍然可以把隱式解析可選類(lèi)型當(dāng)做普通可選類(lèi)型來(lái)判斷它是否包含值：

if assumedString != nil {
    print(assumedString)
}
// 輸出 "An implicitly unwrapped optional string."

你也可以在可選綁定中使用隱式解析可選類(lèi)型來(lái)檢查并解析它的值：

if let definiteString = assumedString {
    print(definiteString)
}
// 輸出 "An implicitly unwrapped optional string."

注意：
如果一個(gè)變量之后可能變成nil的話請(qǐng)不要使用隱式解析可選類(lèi)型扒吁。如果你需要在變量的生命周期中判斷是否是nil的話火鼻，請(qǐng)使用普通可選類(lèi)型。

運(yùn)算符

空合運(yùn)算符（Nil Coalescing Operator）??

空合運(yùn)算符（a ?? b）將對(duì)可選類(lèi)型 a 進(jìn)行空判斷雕崩，如果 a 包含一個(gè)值就進(jìn)行解封魁索，否則就返回一個(gè)默認(rèn)值 b。表達(dá)式 a 必須是 Optional 類(lèi)型盼铁。默認(rèn)值 b 的類(lèi)型必須要和 a 存儲(chǔ)值的類(lèi)型保持一致粗蔚。

空合運(yùn)算符是對(duì)以下代碼的簡(jiǎn)短表達(dá)方法：

a != nil ? a! : b

上述代碼使用了三目運(yùn)算符。當(dāng)可選類(lèi)型 a 的值不為空時(shí)饶火，進(jìn)行強(qiáng)制解封（a!）鹏控，訪問(wèn) a 中的值；反之返回默認(rèn)值 b肤寝。無(wú)疑空合運(yùn)算符（??）提供了一種更為優(yōu)雅的方式去封裝條件判斷和解封兩種行為当辐，顯得簡(jiǎn)潔以及更具可讀性。

注意： 如果 a 為非空值（non-nil）鲤看，那么值 b 將不會(huì)被計(jì)算缘揪。這也就是所謂的短路求值。

let possibleNumber = "123"
let actualNumber = Int(possibleNumber)
let value = actualNumber ?? 0
print("\'\(value)\' has an integer value of \(value)")

對(duì)于可選值大家可能還不是太明白刨摩，后面說(shuō)到枚舉的時(shí)候會(huì)詳細(xì)說(shuō)一下可選值的原理寺晌。