swift 模式和模式匹配

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

例如

元祖（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
}

活的很滋润