模式
本页内容包括:
- 通配符模式(Wildcard Pattern)
- 标识符模式(Identifier Pattern)
- 值绑定模式(Value-Binding Pattern)
- 元组模式(Tuple Pattern)
- 枚举用例模式(Enumeration Case Pattern)
- 类型转换模式(Type-Casting Patterns)
- 表达式模式(Expression Pattern)
模式(pattern)代表了单个值或者复合值的结构。例如,元组(1, 2)
的结构是逗号分隔的,包含两个元素的列表。因为模式代表一种值的结构,而不是特定的某个值,你可以把模式和各种同类型的值匹配起来。比如,(x, y)
可以匹配元组(1, 2)
,以及任何含两个元素的元组。除了将模式与一个值匹配外,你可以从合成值中提取出部分或全部,然后分别把各个部分和一个常量或变量绑定起来。
在Swift中,模式出现在变量和常量的声明(在它们的左侧),for-in
语句和switch
语句(在它们的case标签)中。尽管任何模式都可以出现在switch
语句的case标签中,但在其他情况下,只有通配符模式(wildcard pattern),标识符模式(identifier pattern)和包含这两种模式的模式才能出现。
你可以为通配符模式(wildcard pattern),标识符模式(identifier pattern)和元组模式(tuple pattern)指定类型注释,用来限制这种模式只匹配某种类型的值。
模式(Patterns) 语法
模式 → 通配符模式 类型注解 可选
模式 → 标识符模式 类型注解on) 可选
模式 → 值绑定模式
模式 → 元组模式 类型注解 可选
模式 → enum-case-pattern
模式 → type-casting-pattern
模式 → 表达式模式
通配符模式(Wildcard Pattern)
通配符模式匹配并忽略任何值,包含一个下划线(_)。当你不关心被匹配的值时,可以使用此模式。例如,下面这段代码进行了1...3
的循环,并忽略了每次循环的值:
for _ in 1...3 {
// Do something three times.
}
通配符模式语法
通配符模式 → _
标识符模式(Identifier Pattern)
标识符模式匹配任何值,并将匹配的值和一个变量或常量绑定起来。例如,在下面的常量申明中,someValue
是一个标识符模式,匹配了类型是Int
的42
。
let someValue = 42
当匹配成功时,42
被绑定(赋值)给常量someValue
。
当一个变量或常量申明的左边是标识符模式时,此时,标识符模式是隐式的值绑定模式(value-binding pattern)。
标识符模式语法
标识符模式 → 标识符
值绑定模式(Value-Binding Pattern)
值绑定模式绑定匹配的值到一个变量或常量。当绑定匹配值给常量时,用关键字let
,绑定给变量时,用关键字var
。
标识符模式包含在值绑定模式中,绑定新的变量或常量到匹配的值。例如,你可以分解一个元组的元素,并把每个元素绑定到相应的标识符模式中。
let point = (3, 2)
switch point {
// Bind x and y to the elements of point.
case let (x, y):
println("The point is at (\(x), \(y)).")
}
// prints "The point is at (3, 2).”
在上面这个例子中,let
将元组模式(x, y)
分配到各个标识符模式。因为这种行为,switch
语句中case let (x, y):
和case (let x, let y):
匹配的值是一样的。
值绑定(Value Binding)模式语法
值绑定模式 → var 模式 | let 模式
元组模式(Tuple Pattern)
元组模式是逗号分隔的列表,包含一个或多个模式,并包含在一对圆括号中。元组模式匹配相应元组类型的值。
你可以使用类型注释来限制一个元组模式来匹配某种元组类型。例如,在常量申明let (x, y): (Int, Int) = (1, 2)
中的元组模式(x, y): (Int, Int)
,只匹配两个元素都是Int
这种类型的元组。如果仅需要限制一个元组模式中的某几个元素,只需要直接对这几个元素提供类型注释即可。例如,在let (x: String, y)
中的元组模式,只要某个元组类型是包含两个元素,且第一个元素类型是String
,则被匹配。
当元组模式被用在for-in
语句或者变量或常量申明时,它可以包含通配符模式,标识符模式或者其他包含这两种模式的模式。例如,下面这段代码是不正确的,因为(x, 0)
中的元素0
是一个表达式模式:
let points = [(0, 0), (1, 0), (1, 1), (2, 0), (2, 1)]
// This code isn't valid.
for (x, 0) in points {
/* ... */
}
对于只包含一个元素的元组,括号是不起作用的。模式匹配那个单个元素的类型。例如,下面是等效的:
let a = 2 // a: Int = 2
let (a) = 2 // a: Int = 2
let (a): Int = 2 // a: Int = 2
元组模式语法
元组模式 → ( 元组模式元素列表 可选 )
元组模式元素列表 → 元组模式元素 | 元组模式元素 , 元组模式元素列表
元组模式元素 → 模式
枚举用例模式(Enumeration Case Pattern)
枚举用例模式匹配现有的枚举类型的某种用例。枚举用例模式仅在switch
语句中的case
标签中出现。
如果你准备匹配的枚举用例有任何关联的值,则相应的枚举用例模式必须指定一个包含每个关联值元素的元组模式。关于使用switch
语句来匹配包含关联值枚举用例的例子,请参阅Associated Values
.
枚举用例模式语法
enum-case-pattern → 类型标识 可选 . 枚举的case名 元组模式 可选
类型转换模式(Type-Casting Patterns)
有两种类型转换模式,is
模式和as
模式。这两种模式均只出现在switch
语句中的case
标签中。is
模式和as
模式有以下形式:
is
type
pattern
astype
is
模式匹配一个值,如果这个值的类型在运行时(runtime)和is
模式右边的指定类型(或者那个类型的子类)是一致的。is
模式和is
操作符一样,它们都进行类型转换,但是抛弃了返回的类型。
as
模式匹配一个值,如果这个值的类型在运行时(runtime)和as
模式右边的指定类型(或者那个类型的子类)是一致的。一旦匹配成功,匹配的值的类型被转换成as
模式左边指定的模式。
关于使用switch
语句来匹配is
模式和as
模式值的例子,请参阅Type Casting for Any and AnyObject
。
类型转换模式语法
type-casting-pattern → is模式 | as模式
is模式 → is 类型
as模式 → 模式 as 类型
表达式模式(Expression Pattern)
表达式模式代表了一个表达式的值。这个模式只出现在switch
语句中的case
标签中。
由表达式模式所代表的表达式用Swift标准库中的~=
操作符与输入表达式的值进行比较。如果~=
操作符返回true
,则匹配成功。默认情况下,~=
操作符使用==
操作符来比较两个相同类型的值。它也可以匹配一个整数值与一个Range
对象中的整数范围,正如下面这个例子所示:
let point = (1, 2)
switch point {
case (0, 0):
println("(0, 0) is at the origin.")
case (-2...2, -2...2):
println("(\(point.0), \(point.1)) is near the origin.")
default:
println("The point is at (\(point.0), \(point.1)).")
}
// prints "(1, 2) is near the origin.”
你可以重载~=
操作符来提供自定义的表达式行为。例如,你可以重写上面的例子,以实现用字符串表达的点来比较point
表达式。
// Overload the ~= operator to match a string with an integer
func ~=(pattern: String, value: Int) -> Bool {
return pattern == "\(value)"
}
switch point {
case ("0", "0"):
println("(0, 0) is at the origin.")
case ("-2...2", "-2...2"):
println("(\(point.0), \(point.1)) is near the origin.")
default:
println("The point is at (\(point.0), \(point.1)).")
}
// prints "(1, 2) is near the origin.”
表达式模式语法
表达式模式 → 表达式