tuple的解構、值綁定與模式匹配,正是這一系列特性使得switch顯得光彩奪目,通過switch與Range、Tuples的配合,我們可以將很多繁瑣的代碼寫的更簡單漂亮。我們首先從一個最簡單的匹配開始。
本文需要使用Range與Tuple類型,如果你還不是很了解它們,那么可以看另外兩篇內容:swift的Range或者swift的tuples
1、與區間類型進行模式匹配
我們首先看一下,如何判斷一門成績是否及格(100分制,小于60分為不及格,大于等于60分為及格)
let score = 75.5
switch score {
case 0..<60:
print("fail")
case 60...100:
print("pass")
default:
print("error")
}
switch的case語句使用運算符 ~= 進行了模式匹配,60...100 ~= 75.5結果為true,所以上面的代碼會輸出結果pass。這里注意的是,在進行模式匹配的時候,編譯器會將60...100判定為區間類型。
2、與Tuples進行模式匹配
借花獻佛,官方文檔當中的這個例子很漂亮,我們借用一下。這個例子是用來判斷直角坐標系當中的一個點是否落在特定的位置。
在直角坐標系中,如果x=0&&y=0,那么這一點是原點坐標;如果y
=0,x為任意值,則該點位于x軸上;如果x=0,y為任意值,說明該點在y軸上;如果 x>=-2&&x<=2&&y>=-2&&y<=2,說明該點位于大矩形之內。
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")
}
我們首先看一下如何判斷一個點是否在x軸上,下劃線 _ 在模式匹配的時候會經常用到,它表示“我不在意這個位置的值,忽略它”,在我們的代碼中,下劃線 _ 表示的是不在意x的值,也就是說:(_,0)表達的意義為:(x為任意值,y=0),這正是我們判斷一個點是否在x軸上的依據,同理可以判斷一個點是否在y軸。
我們接著看一下如何判斷一個點是否落在大矩形之內,(-2...2, -2...2)是用兩個區間類型構造成的tuple,我們會發現switch非常的聰明,它清楚的知道使用(1,1)中的每一個值分別與tuple中的每一個區間對象進行匹配。因為 -2 <= 1 && 1 <= 2,所以(1,1)點是落在大矩形之內的。
本文需要使用Range與Tuple類型,如果你還不是很了解它們,那么可以看另外兩篇內容:swift的Range或者swift的tuples
3、值綁定
if關鍵字是通過 條件表達式 來進行分支選擇的,而switch是通過 模式匹配 來進行分支選擇的,其實有時候,我們也需要為switch支持引入條件表達。比方說官方文檔中的另外一個例子,如何判斷一個點是否落在 y = x 這條直線上。
很明顯判斷一個點是否在y=x這條直線上比判斷一個點是否為 原點 更困難,因為有無數的點復合這樣的條件,我們無法通過(1,1),(2,2),(3,3)這樣的方式無限的窮舉下去,所以在這樣的場景下,我們非常需要一個條件表達式來表達 y是否等于x這件事情。
但使用表達式的前提條件是:我們需要能夠獲取x和y的值,這就需要使用值綁定。
let point = (1,1)
switch point {
case (let x,let y):
print("x = \(x), y = \(y)")
}
我們使用 (let x,let y) 來進行對位的值綁定,x綁定point的第一個元素,y綁定poing的第二個元素,有了值綁定,我們就獲得了使用條件表達式的前提條件。
swift還為我們提供一種更簡便的值綁定寫法,把let提取出來,放在括號的外側。
let point = (1,1)
switch point {
case let (x,y):
print("x = \(x), y = \(y)")
}
4、where語句
了解了值綁定以后,我們就可以使用條件表達式了,switch的條件表達式,用where關鍵來進行描述
let point = (1,1)
switch point {
case let (x,y) where x == y:
print("y == x")
}
5、用模式匹配把代碼寫的更漂亮
這個示例我參考了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) 同時解決了三個問題,
首先對age進行了值綁定。用?操作符匹配,確定job一定存在,使用 _ as NSDictionary 保證payload一定是NSDictionary類型。
沒有什么能夠比寫出賞心悅目的代碼更與愉悅的事情啦,對于swift和模式匹配有更多更精彩的用法等待大家去挖掘。