第四章 - 愛恨交織的 Optional - 操作篇

這章會講到:

  1. 為什麼要有 Optional
  2. 怎麼使用 Optional
  3. 如何操作?!
  4. 如果遇到一連串 Optional 的情況,我要不斷解開才能操作嗎?

一、一切都要從 nilcrash 開始說起

在多數的語言中,一個 nil 值的出現,可以輕易的讓程式產生錯誤,進而被系統強制關閉。一般使用者叫他閃退;開發者叫他崩潰。如何防止 nil 造成的錯誤,各式各樣的檢查早已不可或缺,但無論如何防堵, nil 總是在程式運行階段 (runtime) 才會發生,無法在編譯時期 (compile time) 就檢查出 nil 發生問題的可能性,也沒有穩定的規則可以找出 nil 的出沒之處。

雖然 Objective-C 有一個有趣的特性,可以在物件成為 nil 時,執行該物件的 method ,而不產生錯誤,也不會引發 crash 。

1. 這只適用於發送訊息 (message passing) 的時候。
2. 物件是否為 nil 的狀況不明,如果真的發生 nil 執行 method 的情況,開發者也無從得知。
3. 功能與預期行為不符時,會很難發現是什麼地方造成的。

因此,以安全做為訴求的 Swift 設計成所有的變數在賦值時只能有值,不能是 nil ,只要接受到 nil ,就會拋出錯誤。

You shall not pass!

二、 What? 但變數還是有 nil 的需求,不是嗎?

為了從根本上解決 nil 不明確的問題, Swift 導入了 Optional 的概念,由 enum 實作,並在 Compiler 中加強了對 Optional 的操作性,但其實 Optional 並非 Swift 提出的新特性,在 C# 與新興設計模式 (Design Pattern) 都看得到它的蹤跡。

在其他語言,也可透過 Monad Design Pattern 概念 ( Functional Programming ) 實作 Optional (Monad Design Pattern in Java

let intValue:Int = 0 // 合法
let intValue2:Int = nil //不合法
let optionalIntValue:Int? = nil //合法,這是一個Int的Optional

三、 Optional 到底是什麼? (Wrapping)

  • Optionals say either "there is a value, and it equals x" or "there isn’t a value at all".
  • Optionals are "safer and more expressive than nil pointers in Objective-C"

Optional 是在 Swift 中,做為主動描述變數是否存在 nil 值情況判斷的機制,目的是為了減少變數在傳遞過程,可能存在 nil 的不確定性,可以立即明確地處理 nil 發生時的情況,並且可以在 編譯時期 (compile time) 就檢查對於 nil 的處理是否合法,以減少應用程式 crash 的機會。

Optional 的定義宣告 ( 這裡只取 Optional 完整宣告的節錄 ):

public enum Optional<Wrapped> : _Reflectable, NilLiteralConvertible {
    case None
    case Some(Wrapped)
}

Optional 的宣告中,不難發現 Optional 使用的是就是在第一章中 enum 所提到的 Associated Values 的用法,並搭配了第三章的泛型,並取名泛型型別為 Wrapped ,其實 Optional 被宣告了兩種可能的 case

  1. None : 無值存在
  2. Some : 有值存在

裝進一個名為 Optional 的包裏盒

第一章在講 enum 的時候,就有提過 Associated Values Enum 像是一個容器。 我們如果用現實生活中來解釋 Optional ,最適合的莫過於包裏了。

一般說來,包裏有兩種狀態,並帶一個說明內容物的標籤 (type) :

  1. 裡面沒放東西
  2. 裡面放了一個禮物 (e.g. 一台 iPad )

Package

如果用 Swift 語法來說明就是以下這麼一回事了:

iPad 型別的完整宣告,請看 [補充4]

//產生一個 iPad 2
let 一台iPad2 = iPad(版本: "2",  使用者名字:"Grady Zhuo")
let 禮物包裏:Optional<iPad> = Optional.Some(一台iPad)
let 沒有東西的包裏:Optional<iPad> = Optional.None

//或是也可以用以下寫法
let 禮物包裏2:Optional<iPad> = Optional(一台iPad2)
let 沒有東西的包裏2:Optional<iPad> = Optional()

使用 ? 來宣告 Optional

Swift 的 語法糖衣 非常的多,語法糖衣指的是透過更簡易的語法,來達成另一個繁瑣語法的方式.

Optional 來說, ? 就是 Optional 的語法糖衣之一,你可以在宣告時,型別後面加上 ? ,來宣告 Optional ,由上面的例子繼續,可可以代換成下面的寫法:

let 一台iPad2 = iPad(版本: "2",  使用者名字:"Grady Zhuo")
let 禮物包裏 : iPad? = 一台iPad2
let 沒有東西的包裏:iPad? = nil

由上面的例子可以發現, ? 的導入,不只簡化了宣告,另外還簡化的賦值的語法,可以不用再寫 Optional.Some(…)Optional(...)Optional.NoneOptional()

放入 Optional 的過程,術語又叫 Wrapped ,也就是被起來的意思。

四、來開箱吧! (Unwrapping)

如果你收到禮物,第一件事會做什麼? 開箱對吧?

其實開箱也跟裝箱同樣有兩種狀態:

  1. 有禮物:你拆開了,很開心的拿走裡面的禮物。
  2. 沒禮物:你暴走了,把對方打成不成人形?!

是的,拆禮物本來就會有暴走的風險, Optional 也一樣,當你試著取出 Optional 裡面的值,也是要承擔 crash 的風險。

雖然透過判斷有沒有 Optional 已經可以減少大多數的 nil 檢查,但遇到 Optional 還是不能逃避的要開箱

不能逃避

怎麼拆箱? 又該注意什麼呢?

我們有 4 + 1 種方式,以下我們會一一說明:

  • 使用美工小刀 (!)
  • 交給朋友檢查 (if)
  • 交給第三方信託拆禮物 (if let)
  • 把自已變成具現化系 ( Assigned Value )
  • 交給第三方信託拆禮物,但 Scope 不同 (補充 5 : guard let)

--

方法一:使用美工小刀 (!)

  • 優點:快速,短小精悍
  • 缺點:如果沒東西會直接暴走

Unwrapped

Swift 中,取出 Optional 裡面的值,具體的機制過程如下:

//繼續延續上面的例子
//定義一個 拆開包裏 的泛型 function
func 拆開包裏<包裏的內容物>(包裏:Optional<包裏的內容物>)->包裏的內容物 {
    switch 包裏 {
    case .None:
        fatalError("么受喔!裡面沒東西,是要氣死誰?")
    case let .Some(內容物):
        return 內容物
    }
}

let iPad = 拆開包裏(禮物包裏) //拿到iPad
let 沒東西 = 拆開包裏(沒有東西的包裏) //Crash,么受喔!裡面沒東西,是要氣死誰?

由上面的程式碼不難發現,如果包裏是一個 .Nonecase ,那就會執行 fatalError("么受喔!裡面沒東西,是要氣死誰?") ,也就是引發 crash 。

但不可能每次都要讓開發者自已撰寫這個過程,因此, Apple 也貼心的提供了!這把美工小刀,同樣的,這也是語法糖衣

只要在 Optional 的 wrappedValue 後面,劃上一刀(加上!),就會執行類似我上面撰寫的邏輯,並拆箱完成,但如果遇到 nil 的情況下,就會觸發 Crash。

//如果是有東西的包裏
let iPad呦 = 禮物包裏! //美而短小的美工小刀
//如果是沒有東西的包裏
let 沒東西呦 = 沒有東西的包裏! //crash

方法二:交給朋友檢查 (if)

  • 優點:可以避免沒有禮物還硬拆的狀況,也可以處理沒有東西的事情
  • 缺點:比方法一迂迴得多

如果不要讓收禮物的人暴走,那也可以找一個人幫忙檢查有沒有真的有禮物,有或沒有,就先跟收禮物的人報備一下,再決定要不要拆。什麼意思呢? 意思就是先用 if 判斷一下,如果有再拆,再做事。

//如果是有東西的包裏
if 禮物包裏 != nil {
    let 有iPad = 禮物包裏!
    //拿iPad玩
}

//如果是沒有東西的包裏
if 沒有東西的包裏 != nil {
    // 不會執行這裡
}else{
    // 這裡會執行
}

方法三:交給第三方信託拆禮物

  • 優點:可以從第三方拆完直接拿到禮物,不用自已拆
  • 缺點:比方法一迂迴得多,但比方法二簡潔一些

Swift 導入了一種 if let 的語法,可以判斷是否是 nil 以外,也可以直接賦值到另一個變數上,可以看做是上面寫法 if 判斷後再用 let 賦值的合併語法,另外,此變數的作用域 (Scope) 與方法二一樣,只在 if{...} 裡有效。

//如果是有東西的包裏
if let iPad耶 = 禮物包裏 {
    //拿iPad玩
}

//如果是沒有東西的包裏
if let 沒有東西耶 = 沒有東西的包裏 {
    // 不會執行這裡
}else{
    // 這裡會執行
}

方法四:把自已變成具現化系 (?

  • 優點:可以提供 nil 時,直接提供符合邏輯的初始值
  • 缺點:還是要小心給替換的值,如果給的值不太對的話,會跟 if...else... 一樣出現邏輯漏洞

這個機制就是,如果判斷的 Optionalnil ,就提供另一個有效的值,操作起來有點像是給他一個初始值。

let 一台iPad:iPad
//如果是有東西的包裏
if let iPad = 禮物包裏 {
    一台iPad = iPad
}else{
    一台iPad = iPad(版本: "2")
}
//玩iPad
//上面 一台iPad 是 iPad裡的值

let 另一台iPad:iPad
//如果是沒有東西的包裏
if let 如果有東西 = 沒有東西的包裏 {
    // 不會執行這裡
    另一台iPad = 如果有東西
}else{
    // 這裡會執行
    另一台iPad = iPad(版本: "2")
}
//玩另一台iPad
//上面 一台iPad 是 新的iPad實體 ,是新產生的iPad

//所以不論情況如何,都一定會有一台iPad可以運作。

而在 Swift 1.0 ,導入了 ?? (Nil Coalescing Operator) 這個語法來簡化 Unwrapping 的過程。 他的規則是,如果 ?? 左邊有值,就取左邊原本的值,如果左邊是一個 nil ,那就改取右邊的值。

???: 很像,可以快速把檢查與賦值一個語法完成,簡單來說 這也是一個語法糖衣

a ?? b // a if a is not nil else b

a ?? ba != nil ? a! : b 很像,可以快速把檢查與賦值一個語法完成,簡單來說 這也是一個語法糖衣

回到禮物的例子:

let 任何包裏 = 禮物包裏 ?? iPad(版本: "2") // 這裡會拿到禮物包裏裡的禮物
let 任何包裏2 = 沒有東西的包裏 ?? iPad(版本: "2") // 這裡會拿到新iPad的實體

?? 也是我比較推薦的方式,因為人都有惰性,如果每個 Optional 都要用標準的 if let 處理,也太不合乎經濟效益的作法,因此 ?? 提供了一個便利且快速處理 Optional 的檢查機制,而且因為是自已知道這個地方可能會 nil ,所以才賦與一個可以確保後續邏輯的值,來避免程式發生 Crash 。 畢竟, iOS App 更新要透過 iTunes Connect ,也要花費較多時間,如果容易發生 Crash ,才緊急更新,不就會太慢了?

五、 Optional Chaining (?.)

Optional Chaining , 是 Swift 提供的一種語法糖衣,無需完整解開 Optional 便可對 Optional 內的 WrappedValue 呼叫 method 或取得參數。

Optional Chaining 的行為跟 Objective-C 的nil 呼叫不回應有些相似

不同的是,因為是預設行為 Objective-C 不知道什麼時候會 nil , 但 Swift 透過 Optional Chaining 傳遞時,因為你知道這裡可能有 nil ,你才進行處理。

換句話說,這個 nil 的處理,是在預料之中的。

但要講 Optional Chaining 之前,我們先考量如果沒有 Optional Chaining 時,我們會怎麼處理。

考量一個情境: 每個人都可以收一個禮物,收到禮物的同時,會在禮物刻上自已的名字,並把他收進自已的禮物收藏盒

//宣告 人 的類別
class 人 {
    //這個人的姓名
    var 姓名:String?
    //這個人禮物收藏盒,也可能是空的
    var 禮物收藏盒:iPad?


    init(姓名:String?){
        self.姓名 = 姓名
    }

    //假如有人送禮物
    func 收禮物(禮物包裏:iPad?){
        // Unwrapping
        if let 禮物 = 禮物包裏 {
            禮物.使用者名字 = self.姓名
            self.禮物收藏盒 = 禮物
        }
    }
}

//產生一個iPad2
let iPad2:iPad? = iPad(版本: "2")
//產生一個人
let grady = 人(姓名:"Grady Zhuo")
//把iPad2送給grady
grady.收禮物(iPad2)

let 使用者名字:String = grady.禮物收藏盒.使用者名字

如果在 Playground 貼上上面這一句會發現 Xcode 會報 Error 給你。

因為「禮物收藏盒」 是 Optional 、「使用者名字」 也是 Optional ,補充會提到, Optional 不等於內容物的型別,因此無法使用內容物的屬性及方法。

e.g. [String]? 不等於 [String] ,所以 [String]? 無法使用 map() 或 appendElement()

所以在使用的時候,就要先一個 Optional 一個 Optional 解開後,才可以處理 Optional 裡面的值。

複習一下前面的 Unwrapping 手段來處理的話,有以下 3 種解法可以試試:

1. 用 ! 來進行 Optional 的 Unwrapping

//這個寫法,我是非常不建議的,因為很容易在過程中有nil發生,就引發crash。
let 使用者名字:String = grady.禮物收藏盒!.使用者名字!

2. 用 if let 來進行 Optional 的Unwrapping

if let 禮物 = grady.禮物收藏盒 {
    if let 使用者名字 = 禮物.使用者名字 {
        print("使用者名字:\(使用者名字)")
    }
}

或是也可以使用 if let 提供的語法特性,一次解兩個 Optional

if let 禮物 = grady.禮物收藏盒, let 使用者名字 = 禮物.使用者名字 {
    //禮物和使用者名字都有值,才會進這個 scope
    print("使用者名字:\(使用者名字)")
}

3. 用 Nil Coalescing Operator (??)

//如果禮物有值的情況,那使用者名字就會出現Grady Zhuo
let 禮物 = grady.禮物收藏盒 ?? iPad(版本: "2")
let 禮物所有人 = 禮物.使用者名字 ?? "" 
print("禮物所有人:\(禮物所有人)") //禮物所有人: Grady Zhuo

//如果沒有禮物,那使用者名字變成"No Owner"
let 禮物2 = 人(姓名: "沒有人").禮物收藏盒 ?? iPad(版本: "n")
let 禮物所有人2 = 禮物2.使用者名字 ?? "No Owner"
print("禮物所有人2:\(禮物所有人2)") //禮物所有人2: No Owner

如何使用 Optional Chaining?

傳呼參數或 function 的過程中,如果遇到 optional ,會直接忽視 Optional ,並執行下一個語法,直到語法完成,如果過程中有任何一個參數為 nil ,則直接結束語法,並傳回 nil ,而且整個過程會確保不會因為 nil 而 crash 。

實際的寫法跟用 ! 來進行 Optional 的 Unwrapping 很像,只是把 ! 換成 ? ,雖然只是換了一個符號,但意思是完全不同的喔。

語法表示:

[object]?.[property]?.[property | method]?.[method]

let 使用者名字:String? = grady.禮物收藏盒?.使用者名字

Optional Chaining 最終所取回的值,也是 Optional

可以想像 Optional Chaining 是在 Optional 裡面去拆包裏,所以就算出現 nil 也還有一層 Optional 包住,所以可以避開 crash 。

所以記得要再 Unwrapping Optional Chaining 的結果,你可以分兩行寫,也可以直接寫在 if let 子句內。

if let 使用者名字 = grady.禮物收藏盒?.使用者名字 {
    //自動判斷型別,所以使用者名字會是 String
    //這時就可以直接處理使用者名字的邏輯
}else{
    //如果 禮物收藏盒 或 使用者名字 是nil
    //就會到這個區塊處理
}

有安全的一行文的寫法嗎?

還記得 ?? 嗎?

所以我們可以把 Optional Chaining?? 組合使用,就可以快速的一行完成,而且比起 ! 的一行文,安全很多。

// 用前面的grady,可以很順利的取出禮物上的名字
let 禮物上的名字 = grady.禮物收藏盒?.使用者名字 ?? "No Owner"
print("禮物上的名字:\(禮物上的名字)") //禮物上的名字:Grady Zhuo

//如果 這禮物收藏盒  是 nil
let 禮物上的名字2 = 人(姓名: "").禮物收藏盒?.使用者名字 ?? "No Owner"
print("禮物上的名字2:\(禮物上的名字2)") //禮物上的名字2:No Owner

六、練習時間 - JSON的拆拆拆時間

由於 Swift 是強型別的語言,因此在型別轉換上必須名確,而 JSON 是一個棘手的東西, JSON 因為無法一開始就確定內容物是什麼型別,會大量使用 AnyObject ,加上 Dictionary 的操作上會因為可能key不存在,因此取得 Optional 的 Value,在使用上比 Objective-C 還不方便。 雖然有高手製作了 SwifyJSON ,不只好用,處理起來也很乾淨,但畢竟是第三方套件,在 Swift 語法還在變更的狀況下,可能都要依賴開發者的更新。 所以自已要透過原生處理的時候,該如何進行呢?

//有一個JSON字串
{
    "address":{
        "country":"Taiwan",
        "city":"Taichung",
    },
    "name":"Grady Zhuo",
    "gift":{
        "name":"iPad",
        "version":2,
    }
}

假設這是一個 Person 的 JSON ,試試看透過上面的 Optional 所學與技巧來取得下面幾個資訊:

  1. address 裡的 city
  2. name
  3. gift 裡的 version

七、補充

  1. 不同於 C 與多數語言會將 NULL 導向至一個空的記憶體位置,或使用一個數值做為 NULL 的代表,Swift 的 nil 並不存在於真實的記憶體位置,就跟 class 這個詞一樣,只是個保留字
  2. 從 Optional 取值的過程,術語叫 Unwarpping ,也就是解包的意思。`
  3. 被包進 Optional 的東西,其實型別就是已不是之前宣告的型別,所以無法進行原型別的操作喔。
e.g.
var i = 0, j= 10
var k = i + j //可以

var a:Int? = 10
var b:Int? = 12
var c = a + b //不可以, Int? 不是 Int 喔
  1. iPad 型別的宣告

    // 宣告一個 iPad 的 Struct 以做為內容物的例子
    struct iPad {
     //iPad 的 struct
     var 版本:String
     var 使用者名字:String? = nil
    
     init(版本: String){
         self.版本 = 版本
     }
    
     init(版本: String,  使用者名字:String?){
         self.版本 = 版本
         self.使用者名字 = 使用者名字
     }
    }
    
  2. 交給第三方信託拆禮物,但 Scope 不同 除了 if let 還可以使用 guard letguardif 類似,也是做為條件判斷的保留字,但 guard 是一種強制條件成立的語法,如果條件不成立,必須強制離開作用的 scope 。

另外guard letif let 不同的另一點是, Unwrapped Value 的 Scope 也不太一樣,之後在談到 guard 的時候,會再討論到這部分。

//一般if let的用法
func 一般if的狀況(optionalValue optionalValue: Int?)->String{
    if let unwrappedValue = optionalValue {
        //有值就印出
        // 解開的值會在 if let 的 scrope裡面
        return "\(optionalValue) : unwrappedValue:\(unwrappedValue)"
    }else{
        //如果 optionalValue 為 nil,就直接return
        return "\(optionalValue) : return"
    }
}

一般if的狀況(optionalValue: 123) //Optional(123) : unwrappedValue:\(unwrappedValue)
一般if的狀況(optionalValue: nil) //nil : return


//來看一下guard let 是怎麼用的
func guard的狀況(optionalValue optionalValue: Int?)->String{
    guard let unwrappedValue2 = optionalValue else {
        //與if let不一樣,這個區塊是條件不成立時,會被迫return
        return "\(optionalValue) : 強迫return"
    }
    // 解開的值會在 guard let 的 scrope外面
    return "\(optionalValue) : unwrappedValue2:\(unwrappedValue2)"
}

guard的狀況(optionalValue: 123) //Optional(123) : unwrappedValue2:123
guard的狀況(optionalValue: nil) //nil : 強迫return

results matching ""

    No results matching ""