Optional(可選值類(lèi)型)
optional
是在swift中引入的新的數(shù)據(jù)類(lèi)型降瞳,它的特點(diǎn)就是可選值钳枕。顧名思義就是 可以有值
,可以沒(méi)有值
谁榜。而當(dāng)它沒(méi)有值時(shí)就是nil
篙耗。而Swift中的nil和OC中的nil是有區(qū)別的:
- OC
nil
是一個(gè)指向不存在對(duì)象的指針俗孝; - Swift
nil
不是指針轿腺,它是一個(gè)確定的值向瓷,用于表示值得確實(shí)业踢。任何類(lèi)型的可選狀態(tài)都可以設(shè)置為nil
玻淑,不只是對(duì)象類(lèi)型(當(dāng)基礎(chǔ)類(lèi)型<整形嗽冒,浮點(diǎn),布爾等>沒(méi)有值時(shí)也是nil
)岁忘;
基本定義
定義一個(gè)Optional的值只需要在類(lèi)型后面加上問(wèn)號(hào)(?),如:
//內(nèi)部定義
enum Optional<T> : Reflectable, NilLiteralConvertible {
case None
case Some(T) init()
init(_ some: T)
/// Haskell's fmap, which was mis-named
func map<U>(f: (T) -> U) -> U?
func getMirror() -> MirrorType
static func convertFromNilLiteral() -> T?}
//基本定義
var str: String?
在上面我們可以看到辛慰,optional其實(shí)是一個(gè)枚舉,然后我們給它指定一個(gè)類(lèi)型就可以了干像。以下兩種方法都可以聲明一個(gè)Optional的值:
var str: String! = "hello world"
var str1: Optional<String>```
Optional的值和非Optional的值得區(qū)別在于:Optional的值未經(jīng)初始化雖然為`nil`帅腌。但普通的變量連`nil`都沒(méi)有:
//未被初始化,但是是一個(gè)Optional類(lèi)型麻汰,為nil
var str: String?str
//輸出nil//未被初始化速客,也不是Optional類(lèi)型
var str2: Stringstr2
//使用時(shí)出錯(cuò)```
Optional的解包
顯示解包
Optional類(lèi)型的值是不能直接使用的,當(dāng)使用時(shí)需要進(jìn)行拆包:
var str:String? = "hellow world"
str //{Some "hellow world"}
str! //hellow world```
當(dāng)Optional沒(méi)有值時(shí)五鲫,返回的`nil`其實(shí)就是`Optional.None`,即沒(méi)有值溺职。除了`None`以外,還有一個(gè)`some`,當(dāng)有值時(shí)就是被`Some.<T>`包裝的真正的值浪耘。所以我們的拆包動(dòng)作其實(shí)就是將`Some`中的值取出來(lái)乱灵。
#####隱式解包
隱式解包的Optional值是一種特殊的Optional。在對(duì)它的成員變量進(jìn)行訪(fǎng)問(wèn)時(shí)七冲,編譯器會(huì)幫我們自動(dòng)進(jìn)行解包痛倚。在聲明時(shí)我們可以通過(guò)在類(lèi)型后加上感嘆號(hào)(!)這種語(yǔ)法來(lái)告訴編譯器我們需要一個(gè)隱式解包的Optional值:
var maybeObject:MyClass!```
首先要明確的是,隱式解包的Optional的本質(zhì)上與普通的Optional值并沒(méi)有任何不同澜躺,只是我們?cè)趯?duì)這類(lèi)變量的成員或方法進(jìn)行訪(fǎng)問(wèn)的時(shí)候蝉稳,編譯器會(huì)自動(dòng)為我們?cè)诤竺娌迦虢獍?hào)!掘鄙,也就是說(shuō)對(duì)于一個(gè)隱式解包的下面的兩種寫(xiě)法是等效的耘戚。
var maybeObject: MyClass! = MyClass()
maybeObject !.foot()
maybeObject .foot()
我們知道,如果 maybeObject
是 nil的話(huà)那么這兩種不加檢查的寫(xiě)法的調(diào)用都會(huì)導(dǎo)致程序崩潰操漠。而如果 maybeObject
是普通的 Optional
的話(huà)收津,我們就只能使用第一種顯式地加感嘆號(hào)的寫(xiě)法,這能提醒我們也許應(yīng)該使用if let
的 Optional Binding
的形式來(lái)處理颅夺。而對(duì)隱式解包來(lái)說(shuō)朋截,后一種寫(xiě)法看起來(lái)就好像我們操作的 maybeObject
確實(shí)是 MyClass
類(lèi)的實(shí)例,不需要對(duì)其檢查就可以使用 (當(dāng)然實(shí)際上這不是真的)吧黄。
一切都是歷史的錯(cuò)。因?yàn)?Objective-C
中 Cocoa
的所有類(lèi)型變量都可以指向 nil
的唆姐,有一部分 Cocoa
的 API 中在參數(shù)或者返回時(shí)即使被聲明為具體的類(lèi)型拗慨,但是還是有可能在某些特定情況下是nil,而同時(shí)也有另一部分 API 永遠(yuǎn)不會(huì)接收或者返回 nil
奉芦。在 Objective-C
時(shí)赵抢,這兩種情況并沒(méi)有被加以區(qū)別,因?yàn)?Objective-C 里向 nil發(fā)送消息并不會(huì)有什么不良影響声功。在將 Cocoa API
從 Objective-C
轉(zhuǎn)為 Swift
的 module
聲明的自動(dòng)化工具里烦却,是無(wú)法判定是否存在 nil的可能的,因此也無(wú)法決定哪些類(lèi)型應(yīng)該是實(shí)際的類(lèi)型先巴,而哪些類(lèi)型應(yīng)該聲明為 Optional
其爵。
在這種自動(dòng)化轉(zhuǎn)換中,最簡(jiǎn)單粗暴的應(yīng)對(duì)方式是全部轉(zhuǎn)為 Optional伸蚯,然后讓使用者通過(guò) Optional Binding
來(lái)判斷并使用摩渺。雖然這是最安全的方式,但對(duì)使用者來(lái)說(shuō)是一件非常麻煩的事情剂邮,我猜不會(huì)有人喜歡每次用個(gè) API 就在 Optional
和普通類(lèi)型之間轉(zhuǎn)來(lái)轉(zhuǎn)去摇幻。這時(shí)候,隱式解包的 Optional 就作為一個(gè)妥協(xié)方案出現(xiàn)了。使用隱式解包 Optional
的最大好處是對(duì)于那些我們能確認(rèn)的 API 來(lái)說(shuō)绰姻,我們可直接進(jìn)行屬性訪(fǎng)問(wèn)和方法調(diào)用枉侧,會(huì)很方便。但是需要牢記在心的是狂芋,隱式解包不意味著 “這個(gè)變量不會(huì)是 nil棵逊,你可以放心使用” 這種暗示,只能說(shuō) Swift 通過(guò)這個(gè)特性給了我們一種簡(jiǎn)便但是危險(xiǎn)的使用方式罷了银酗。