模式的定义
模式代表单个值或者复合值得结构.
例如:元祖(1,2)的结构是由逗号分割的,包含两个元素的列表.因为模式代表一种值的结构,而不是特定的某个值,你可以利用模式来匹配各种各样的值.比如,(x,y)可以匹配元组(1,2),以及任何含两个元素的元组.除了利用模式匹配一个值以外,你可以从复合值中提取部分或者全部值,然后分别把各个部分的值和一个常量或变量绑定起来.
Swift中的模式分为两类:
一种能成功匹配任何类型的值,另一种运行时匹配某个特定值时可能会失败.
- 第一类模式用于解构简单变量,常量和可选绑定中的值.此类模式包括通配符模式,标识符模式,以及包含前两种模式的值绑定模式和元组模式.你可以为这类模式指定一个类型标注,从而限制他们只能匹配某种特定类型的值.
- 第二类模式用于全模式匹配,这种情况下你试图匹配的值在运行时可能不存在.此类模式包含枚举用例模式,可选模式,表达式模式和类转型模式.你在switch语句的case标签中,do语句的catch语句中,或者在if,while,guard和for-in语句的case条件中使用这类模式.
模式分类
通配符模式
通配符模式由一个下划线(_)构成,用于匹配并忽略任何值.当你想忽略被匹配的值时候可以使用该模式
for _ in 1...10 {
}
标识符模式
标识符模式匹配任何值,并且匹配的值和一个变量或常量绑定起来
let str="小三"
值绑定模式
值绑定模式可以把匹配到的值绑定给一个变量或常量.把匹配的值绑定给常量时,用关键字let,绑定给变量时,用关键字var.
let point = (3,2)
switch point {
case let (x,y):
print("The point is at (\(x),\(y).")
}
元组模式
- 元组模式是由逗号分割的,具有零或者多个模式的列表,并由一对圆括号括起来.元组模式匹配相应元组类型的值.
- 你可以使用类型标注去限制一个元组模式能匹配哪种元组类型.例如,在常量声明let(x,y):(int,int)=(1,2)中的元组模式(x,y):(int,int)只能匹配两个元素都是int类型的元组.
- 当元组模式被用于for-in语句或者常量和变量声明时,它仅包含通配符模式,标识符模式,可选模式或者其他包含这些模式的元组模式.
let points = [(0,0),(1,0),(1,1),(2,0),(2,1)]
for (x,0) in points {
}
for (x,y) in points where y==0 {
print("\(x) and \(y)")
}
枚举用例模式
枚举用例模式匹配现有的某个枚举类型的某个用例.枚举用例模式出现在switch语句中的case标签中,以及if,while,guard和for-in语句的case语句中.
可选项模式
- 可选模式匹配枚举在some中包装的值
- 可选项目模式为for-in语句提供了一种迭代数组的简便方式,只为数组中非nil的元素执行循环体.
let someOptional:Int?=42
if case .some(let x) = someOptional {
print(x)
}
if let x? = someOptional {
print(x)
}
类型转换模式
有两种类型转换模式.is模式和as模式.is模式只出现在switch语句中的case标签中.is模式和as模式形式如下:
- is模式===>仅当一个值的类型在运行时和is模式右边的指定类型一致,或者是其子类的情况下,才会返回这个值.is模式和is运算符有相似表现,他们都进行类型转换,但是is模式没有返回类型.
- 模式as模式===>仅当一个值的类型在运行时和as模式右边的指定类型一致,或者是其子类的情况下,才会返回这个值.如果匹配成功,被匹配的值类型被转换成as模式右边指定的类型.
表达式模式
- 表达式模式代表表达式的值.表达式模式只出现在switch语句中的case标签中.
- 表达式模式代表的表达式会使用switch标准库中的=运算符与输入表达式的值进行比较.如果=运算符返回true,则匹配成功.默认情况下,~=运算符使用==运算符来比较两个相同类型的值.他可以将一个整数值与一个Range实例中的一段整数区间做匹配.
|