pattern、pattern-matching和value b

pattern、pattern-matching和value binding虽然是我每天都会涉及的概念，可是今早我仔细想了一下，如何描述什么是pattern-matching呢？我发现这些内容在我脑海里只是一个感觉，会立刻映射出一些代码语句，但却无法给出一个准确的定义，于是我立刻谷歌了一下，并做了一个小结。参考文章我放在了内容的末尾。

什么是模式(pattern)

我们现在所说的模式可不是软件工程中所指的设计模式，而是从数据结构的角度描述一个结构的组成。举例子会更清晰一些，比方我们有一些数据，4，true,"Hello,worder",[1,2,3],在缺乏一个结构之前，我们是难以利用计算机语言来描述和利用这些数据，当我们给这些数据一个结构以后，例如swift的tuplevar tuple =（4，true,"Hello,worder",[1,2,3]），那们我们就可以利用结构方便的操作这些数据了。tuple.0

参考文档的定义：the pattern doesn’t represent just a value , instead it represents a range of values that match a given structure.

根据参考文档的定义，我们举一个tuple模式的例子，来进一步解释这个定义。如果我们描述一个tuple结构(x,y),此时这个结构是不包括任何值的，这个结构的意义是在于说明：这个是一个包含两个元素的tuple。通过描述tuple的结构而不是tuple中包含的值，那么这个结构就可以用来匹配任何包含两个元素的tuple了，例如：(1,2),(true,false)

什么是模式匹配(pattern-matching)

其实搞定了pattern,我们也就搞定了pattern-matching,模式匹配也就是我们来检验变量是否匹配一种模式。例如(1,2)就匹配(x,y)但(1,2,3)就不匹配。

什么是值绑定(value binding)

value binding是指我们通过模式匹配的方式，将获得匹配的值赋给一个新的变量或常量。值绑定适用于将组合值分解为一个个独立的变量的场景。

swift为我们提供了哪些模式

• The Identifier Pattern

let value = 1
switch value {
case 1:
    print("Matched 1")
case 2:
    print("Matched 2")
default:
    print("Not matched")
}

• The Wildcard Pattern

var x = 3
for _ in 1...3 {
    x *= 3
}
print(x)

• The Tuple Pattern

let myTuples = [(2, "Hello"), (3, "World"), (1, "Hello")]
for case (_, "Hello") in myTuples {
    print("Matched")
}

• The Value-Binding Pattern

switch (40, 2) {
case let (x, y): 
    print("\(x) \(y)")
}

• The Enumeration Case Pattern

enum Orientation {
   case FaceUp
   case FaceDown(Int)
}

let myEnum = Orientation.FaceUp
if case Orientation.FaceUp = myEnum {
   print("Face Up")
} else {
    print("Face Down")
}

• The Optional Pattern

let myOptional : String? = "Hello"
switch myOptional {
case let .Some(value):
    print(value)
case .None:
    break
}

if case "Hello"? = myOptional {
   print("Hello")
}

let optionalsArray : [Int?] = [1, 2, nil, 4, nil, 5]
for case let number? in optionalsArray {
    print(number)
}

• The Type Casting Pattern

– is <type>
– <pattern> as <type>

• The Expression Pattern

let percentage = 87
var letterGrade = ""
switch percentage {
case 0..<60:
   letterGrade = "E"
case 60..<70:
   letterGrade = "D"
case 70..<80:
   letterGrade = "C"
case 80..<90:
   letterGrade = "B"
case 90...100:
   letterGrade = "A"
default:
   letterGrade = "Unknown"
}
 
print("Grade: \(letterGrade)")

参考内容：

什么是模式?

What is a Pattern?

What is value binding?