tuple的解構(gòu)、值綁定與模式匹配,正是這一系列特性使得switch顯得光彩奪目,通過switch與Range、Tuples的配合,我們可以將很多繁瑣的代碼寫的更簡單漂亮。我們首先從一個(gè)最簡單的匹配開始。
本文需要使用Range與Tuple類型,如果你還不是很了解它們,那么可以看另外兩篇內(nèi)容:swift的Range或者swift的tuples
1、與區(qū)間類型進(jìn)行模式匹配
我們首先看一下,如何判斷一門成績是否及格(100分制,小于60分為不及格,大于等于60分為及格)
let score = 75.5
switch score {
case 0..<60:
print("fail")
case 60...100:
print("pass")
default:
print("error")
}
switch的case語句使用運(yùn)算符 ~= 進(jìn)行了模式匹配,60...100 ~= 75.5結(jié)果為true,所以上面的代碼會輸出結(jié)果pass。這里注意的是,在進(jìn)行模式匹配的時(shí)候,編譯器會將60...100判定為區(qū)間類型。
2、與Tuples進(jìn)行模式匹配
借花獻(xiàn)佛,官方文檔當(dāng)中的這個(gè)例子很漂亮,我們借用一下。這個(gè)例子是用來判斷直角坐標(biāo)系當(dāng)中的一個(gè)點(diǎn)是否落在特定的位置。

在直角坐標(biāo)系中,如果x=0&&y=0,那么這一點(diǎn)是原點(diǎn)坐標(biāo);如果y
=0,x為任意值,則該點(diǎn)位于x軸上;如果x=0,y為任意值,說明該點(diǎn)在y軸上;如果 x>=-2&&x<=2&&y>=-2&&y<=2,說明該點(diǎn)位于大矩形之內(nèi)。
let point = (1,1)
switch point {
case (0,0):
print("(0, 0) is at the origin")
case (_, 0):
print("(\(somePoint.0), 0) is on the x-axis")
case (0, _):
print("(0, \(somePoint.1)) is on the y-axis")
case (-2...2, -2...2):
print("(\(somePoint.0), \(somePoint.1)) is inside the box")
default:
print("(\(somePoint.0), \(somePoint.1)) is outside of the box")
}
我們首先看一下如何判斷一個(gè)點(diǎn)是否在x軸上,下劃線 _ 在模式匹配的時(shí)候會經(jīng)常用到,它表示“我不在意這個(gè)位置的值,忽略它”,在我們的代碼中,下劃線 _ 表示的是不在意x的值,也就是說:(_,0)表達(dá)的意義為:(x為任意值,y=0),這正是我們判斷一個(gè)點(diǎn)是否在x軸上的依據(jù),同理可以判斷一個(gè)點(diǎn)是否在y軸。
我們接著看一下如何判斷一個(gè)點(diǎn)是否落在大矩形之內(nèi),(-2...2, -2...2)是用兩個(gè)區(qū)間類型構(gòu)造成的tuple,我們會發(fā)現(xiàn)switch非常的聰明,它清楚的知道使用(1,1)中的每一個(gè)值分別與tuple中的每一個(gè)區(qū)間對象進(jìn)行匹配。因?yàn)?-2 <= 1 && 1 <= 2,所以(1,1)點(diǎn)是落在大矩形之內(nèi)的。
本文需要使用Range與Tuple類型,如果你還不是很了解它們,那么可以看另外兩篇內(nèi)容:swift的Range或者swift的tuples
3、值綁定
if關(guān)鍵字是通過 條件表達(dá)式 來進(jìn)行分支選擇的,而switch是通過 模式匹配 來進(jìn)行分支選擇的,其實(shí)有時(shí)候,我們也需要為switch支持引入條件表達(dá)。比方說官方文檔中的另外一個(gè)例子,如何判斷一個(gè)點(diǎn)是否落在 y = x 這條直線上。

很明顯判斷一個(gè)點(diǎn)是否在y=x這條直線上比判斷一個(gè)點(diǎn)是否為 原點(diǎn) 更困難,因?yàn)橛袩o數(shù)的點(diǎn)復(fù)合這樣的條件,我們無法通過(1,1),(2,2),(3,3)這樣的方式無限的窮舉下去,所以在這樣的場景下,我們非常需要一個(gè)條件表達(dá)式來表達(dá) y是否等于x這件事情。
但使用表達(dá)式的前提條件是:我們需要能夠獲取x和y的值,這就需要使用值綁定。
let point = (1,1)
switch point {
case (let x,let y):
print("x = \(x), y = \(y)")
}
我們使用 (let x,let y) 來進(jìn)行對位的值綁定,x綁定point的第一個(gè)元素,y綁定poing的第二個(gè)元素,有了值綁定,我們就獲得了使用條件表達(dá)式的前提條件。
swift還為我們提供一種更簡便的值綁定寫法,把let提取出來,放在括號的外側(cè)。
let point = (1,1)
switch point {
case let (x,y):
print("x = \(x), y = \(y)")
}
4、where語句
了解了值綁定以后,我們就可以使用條件表達(dá)式了,switch的條件表達(dá)式,用where關(guān)鍵來進(jìn)行描述
let point = (1,1)
switch point {
case let (x,y) where x == y:
print("y == x")
}
5、用模式匹配把代碼寫的更漂亮
這個(gè)示例我參考了Match Me if you can: Swift Pattern Matching in Detail.,推薦大家閱讀原文。
let age = 23
let job: String? = "Operator"
let payload: AnyObject = NSDictionary()
switch (age, job, payload) {
case (let age, _?, _ as NSDictionary):
print(age)
default: ()
}
這段代碼的漂亮之處在于,一行代碼 case (let age, ?, _ as NSDictionary) 同時(shí)解決了三個(gè)問題,
首先對age進(jìn)行了值綁定。用?操作符匹配,確定job一定存在,使用 _ as NSDictionary 保證payload一定是NSDictionary類型。
沒有什么能夠比寫出賞心悅目的代碼更與愉悅的事情啦,對于swift和模式匹配有更多更精彩的用法等待大家去挖掘。