Swift中的模式定义

模式的定义

模式代表单个值或者复合值得结构.

例如:元祖(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 {
            
            //将point中的元素绑定到x和y
        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实例中的一段整数区间做匹配.