模式代表单个值或者复合值的结构
例如
元祖(1,2)的结构是由逗号分割的,包含两个元素的列表,因为模式代表一种值的结果,而不是特定的某个值,你可以利用模式来匹配各种各样的值,比如,(x,y)可以匹配元祖(1,2),以及任何含两个元素的元祖,除了利用模式匹配一个值外,你可以从复合值中提取出部分或全部值,然后分别把各个部分的值和一个常量或变量绑定起来。
Swift 中的模式分为两类,一种能成功匹配任何类型的值,另一种在运行时匹配某个特定定值时可能会失败。
第一类模式用于结构简单变量,常量和可选绑中的值,此类模式包括通配符模式、标识符模式,已经包含前两种模式的值绑定模式和元祖模式。你可以为这类模式指定一个类型标注,从而限制他们只能匹配某种特定类型的值
第二类模式用于全模式匹配,这种情况下你视图匹配的值在运行时可能不存在,此类模式包括枚举用例模式、可选模式、表达式模式和类型转换模式,你在switch语句中的case 标签中,do语句的catch字句中,或者在if 、while、guard和for-in语句的case条件中使用这类模式,
模式分类
通配符模式(Wildcard Pattern)
标识符模式(Identifier Pattern)
值绑定模式(Value-Binding Pattren)
元祖模式(Tuple Pattern)
枚举模式(Enumeration Case Pattern)
可选模式(Optional Pattern)
类型转换模式(Type-Casting Pattern)
表达式模式(Expression Pattern)
通配符模式
通配符模式由一个下划线(_)构成,用于匹配并忽略任何值。当你想忽略被匹配的值的时候可以使用该模式。
//: A UIKit based Playground for presenting user interface
import UIKit
for _ in 1...3{
print("?")
}
标识符模式
标识符模式匹配任何值,并将匹配的值和一个变量或者常量关联起来
let someValue = 1
值绑定模式
值绑定模式把匹配到的值绑定给一个变量或者常量。把匹配到的值绑定给常量时,用过关键字let,绑定给变量时用关键字var
//: A UIKit based Playground for presenting user interface
import UIKit
let point = (3,2)
switch point{
case let (x,y):
print("将point 中的元素绑定到x y 中 (\(x),\(y))")
}
元祖模式
//: A UIKit based Playground for presenting user interface
import UIKit
let points=[(0,0),(1,0),(1,2),(2,3),(4,0)]
for (x,y) in points where y == 0 {
print("\(x) and \(y)")
}
元祖模式是由逗号分割的,具有零个或者多个模式的列表,并由一对圆括号括起来,元祖模式匹配相应元祖类型的值
你可以使用类型标注区限制一个元祖模式能匹配那种元祖类型。例如,在常量声明中,let(x,y):(Int,Int)=(1,2)中元祖模式(x,y):(Int,Int)只匹配两个元素都是Int类型的元祖
当元祖模式被用于for-in 语句或者变量和常量声明时,它仅可以包含通配符模式、标识符模式、可选模式或者其他包含这些模式的元祖模式
结果
0 and 0
1 and 0
4 and 0
枚举用例模式
枚举用例模式匹配现有的某个枚举类型的某个用例。枚举用例模式在switch中的case 标签中。以及if、white、guard和for-in 语句的case条件中
可选项目模式
可选项目模式匹配Optional<Wrapped>枚举在some(Wrapped)中包装的值。
可选项目模式为for-in提供了一种迭代数据组的便捷方式,只为数组中非nil的元素执行循环体
code
//: A UIKit based Playground for presenting user interface
import UIKit
let someOptional:Int?=42
if case .some(let x) = someOptional{
print(x)
}
if case let x? = someOptional{
print(x)
}
let arrayOfOptionalInts:[Int?]=[nil,123,12,3,123,12,nil]
for case let number? in arrayOfOptionalInts{
print("Found a \(number)")
}
42
42
Found a 123
Found a 12
Found a 3
Found a 123
Found a 12
类型转换模式
有两种类型转换模式,is模式和as 模式,is模式值出现在switch语句中的case标签中、is模式和as模式形式如下:
is类型
is模式仅当一个值的类型在运行时和is模式右边的指定类型一致,或者时其子类的情况下,才会匹配这个值。is模式和is运算符有相似表现,他们都进行类型转换,但是is模式没有返回类型,
模式as类型
as 模式仅当一个值的类型在运行时和as模式右边类型指定一致,或者是其子类的情况下,才会匹配这个值。如果匹配成功,被匹配的值的类型被转换成as模式右边指定的类型
//: A UIKit based Playground for presenting user interface
import UIKit
protocol Animal{
var name:String { get }
}
struct Dog:Animal{
var name: String{
return "dog"
}
var runSpeed:Int
}
struct Brid:Animal{
var name: String{
return "brid"
}
var flightHeight:Int
}
struct Fish:Animal{
var name: String{
return "fish"
}
var depth:Int
}
let animals:[Any]=[Dog(runSpeed:55),Brid(flightHeight:20000),Fish(depth:100)]
for animal in animals{
switch animal {
case let dog as Dog:
print("\(dog.name) can run \(dog.runSpeed)")
case let fish as Fish:
print("\(fish.name) can run \(fish.depth)")
case is Brid:
print("bird can fly!")
default:
print("unknown animal!")
}
}
dog can run 55
bird can fly!
fish can run 100
//: A UIKit based Playground for presenting user interface
import UIKit
func ~=(pattern:String,vale:Int)->Bool{
return pattern=="\(vale)"
}
let point=("0",0)
switch point {
case ("0","0"):
print("origin")
default:
print("the point is at (\(point.0),\(point.1)")
}
表达式模式表达式模式代表表达式的值,表达式模式只出现在swift语句中的case中
表达式模式代表的表达式会使用Swift标准库中的~= 运算符与表达式的值进行比较
如果~=运算符返回true 则返回成功,默认情况下~= 运算符使用==运算符来比较两个相同类型的值。它也可以将一个整型数值与一个Range实例中的一段整数区间做匹配
可以重载~=运算符来提供自定义的表达式匹配行为
//: A UIKit based Playground for presenting user interface
import UIKit
let point = (1,2)
switch point {
case (0,0):
print("origin point")
case (-2...2,-2...2):
print("\(point.0),\(point.1) is near the origin.")
default:
print("the point is at (\(point.0),\(point.1)")
}
origin
自定义类型默认也是无法进行表达式模式匹配的,也需要~=运算符
//: A UIKit based Playground for presenting user interface
import UIKit
struct Emloyee{
var salary:Float
}
let e=Emloyee(salary: 9999)
func ~=(lhs:Range<Float>,rhs:Emloyee)->Bool{
return lhs.contains(rhs.salary)
}
switch e {
case 0.0..<1000:
print("艰难生活")
case 1000..<5000:
print("小康生活")
case 5000..<10000:
print("活的很滋润")
default:
break
}
活的很滋润