Day-07:模式_代码007

本文介绍: 摘自杨杰老师：模式

模式

模式代表单个值或者复合值的结构。
例如，元组（1，2）的结构是由逗号分隔，包含两个元素的列表。因为模式代表一种值的结构，而不是特定的某个值，你可以利用模式来匹配各种各样的值。比如，（x,y）可以匹配元组（1，2），以及任何包含两个元素的元组。除利用模式匹配一个值以外，你可以从复合值中提取出部分或全部值，然后分别把各个部分的值和一个常量或者变量绑定起来。

swift中的模式分为两类：一种能成功匹配任何类型的值，另一种在运行时匹配某个特定值时可能会失败。

第一类模式用于结构简单变量、常量和可选绑定中的值。此类模式包括通配符模式，标识符模式，以及包含前两种模式的值绑定模式和元组模式。你可以为这类模式指定一个类型标注，从而限制它们只能匹配某种特定类型的值。
第二类模式用于全模式匹配，这种情况下你试图匹配的值在运行时可能不存在。此类模式包含枚举用例模式，可选模式，表达式模式和类型转换模式。你在switch 语句的case 标签中，d o 语句的catch字句中，或者if,while,guard和fo r – in 语句的ca s e 条件语句中使用这类模式。

模式分类

通配符模式：wi ld card pattern
标识符模式：identifier pattern
值绑定模式：value–bing ding pattern
元组模式：t uple pattern
枚举用例模式：enum e r a t ion ca s e pattern
可选项模式 optional pattern
类型转换模式 type–casting pat t e rn
表达式模式 expression pat t e rn

通配符模式

通配符模式由一个下划线（_）构成，用于匹配并忽略任何值。当你想要忽略被匹配的值时可以使用该模式。

标识符模式

标识符模式匹配任何值，并将匹配的值和一个变量或常量绑定起来。

值绑定模式

值绑定模式把匹配到的值绑定给一个变量或者常量。把匹配到的值绑定给常量时，用关键字 let，绑定给变量时，用关键字 var。

元组模式

元组模式是由逗号分隔的，具有零个或多个模式的列表，并由一对圆括号括起来。元组模式匹配相应元组类型的值。
你可以使用类型标注取限制一个元组模式能匹配哪种元组类型。例如，在常量声明 let(x，y)：（int,int） = (1,2)中的元组模式（x,y）:(int,int)只匹配两个元素都是int类型的元组。
当元组模式被用于fo r-in语句或者变量和常量声明时，它仅可以包含通配符模式，标识符模式，可选模式或者其他包含这些模式的元组模式。

枚举用例模式

枚举用例模式匹配现有的某个枚举类型的某个用例。没觉用例模式出现在switch 语句后者能够的ca s e 标签中，以及if,while,g ua r d和fo r-in语句的ca s e 条件中。

可选性模式

可选性模式匹配 optional<wrap pe d>枚举在some（wrap pe d）中包装的值。
可选性模式为for-in语句提供一种迭代数组的简便方式，只为数组中非nil的元素执行循环体。

类型转换模式

有两种类型转换模式，is模式和a s模式。is模式出现在switc 语句中的case标签中。
is模式仅当一个值的类型在运行时和is模式右边的指定类型一致，或者是其子类的情况下，才会匹配这个值。is模式和is运算符有相似表现，他们都进行类型转换，但是is模式没有返回类型。
as模式仅当一个值的类型在运行时和as模式右边的指定类型一致，或者是其子类的情况下，才会匹配这个值。如果匹配成功，被匹配的值的类型被转换成 as模式右边指定的类型。

表达式模式

表达式模式代表表达式的值。表达式模式只出现在swift 语句中的case标签中。
表达式模式代表的表达式会使用 swift 标准库中~=运算符与输入表达式进行比较。如果～=运算符返回 true，则匹配成功。默认情况下，～=运算符使用==运算符比较两个相同类型的值。它也可以将一个整数值与一个range 实例中的一段整数区间做匹配。
可以重载～=运算符提供自定义的表达式匹配。
自定义类型默认也是无法进行表达式模式匹配的，也需要重载～=运算符。

【代码演示】

import UIKit

//1、通配符模式
for _ in 1...3{

}
//2、标识符模式
let someValue = 100

//3、值绑定
let point = (1,2)
switch point {
case let (x,y):
    print("x (x),y (y)")
}

//4、元组模式
let ponts = [(1,0),(2,0),(0,0),(1,1)]
for (x,y) in ponts where y == 0 {
    print("x (x),y (y)")
}

//5、可选项模式
let someNumber:Int? = 10
if case .some(let x) = someNumber {
    print(x)//结果：10
}

//6、枚举模式
if case let x? = someNumber {
    print(x)//结果：10
}

//7、类型转换模式
protocol Animal {
    var name:String { get }
}
struct Dog :Animal {
    var name :String {
        return "dog"
    }
    var runSpeed :Int
}

struct Bird :Animal {
    var name :String{
        return "borid"
    }
    var flightHeight:Int
}

struct Fish :Animal {
    var name: String {
        return "fish"
    }
    var depth:Int
}

let animals :[Any] = [Dog(runSpeed: 40),Bird(flightHeight: 9000),Fish(depth: 200)]
for animal in animals {
    switch animal {
    case let dog as Dog :
        print("(dog.name) run at (dog.runSpeed)")
    case let fish as Fish :
        print("(fish.name) swim at (fish.depth)")
    case is Bird :
        print("bird can fly")
    default:
      break
    }

}

//8、表达式模式
struct Employee {
    var salary:Int
}

func ~= (left:ClosedRange<Int>,right:Employee) ->Bool{

    return left.contains(right.salary)
}

var e:Employee = Employee(salary: 6000)

switch e {
case 0...1000 :
    print("吃不饱")
case 1000...5000:
    print("勉强吃饱")
case 5000...10000:
    print("还不错")
default:
    print("高薪阶级")
}