Swift语法 -- [22 - 模式匹配]

模式是用于匹配的规则, 比如switch的case、捕捉错误的catch、if\guard\while\for语句的条件等.

Swift中的模式有:

  • 通配符模式 (Wildcard Pattern)
  • 标识符模式 (Identifier Pattern)
  • 值绑定模式 (Value-Binding Pattern)
  • 元组模式 (Tuple Pattern)
  • 枚举Case模式 (Enumeration Case Pattern)
  • 可选模式 (Optional Pattern)
  • 类型转换模式 (Type-Casting Pattern)
  • 表达式模式 (Expression Pattern)

1. 通配符模式 (Wildcard Pattern)

/*
    _  匹配任何值
    _? 匹配非nil值
*/
enum Life {
    case human(name: String, age: Int?)
  case animal(name: String, age: Int?)
}

func check(_ life: Life) {
  switch life {
  case .human(let name, _):
    print("human", name)
  case .animal(let name, _?):
    print("animal", name)
  default: 
    print("other")
  }
}
check(.human(name: "Rose", age: 20)) // human Rose
check(.human(name: "jack", age: nil)) // human Jack
check(.animal(name: "Dog", age: 5)) // animal Dog
check(.animal(name: "Cat", age: nil)) //other

2. 标识符模式 (Identifier Pattern)

//给对应的变量、常量名赋值
var age = 10
let name = "jack"

3. 值绑定模式 (Value-Binding Pattern)

let point = (3, 2)
switch point {
case let (x, y):
  print("The point is at(\(x),\(y)).")
}

4. 元组模式 (Tuple Pattern)

let points = [(0, 0), (1, 0), (2, 0)]
for (x, _) in points {
  print(x)
}

let name: String? = "jack"
let age = 18
let info: Any = [1, 2]
switch (name, age, info) {
case (_?, _, _ as String):
  print("case")
defalut:
  print("default")
}// default

var scores = ["jack" : 98, "rose" : 100, "kate": 86]
for (name, score) in scores {
  print(name, score)
}

5. 枚举Case模式 (Enumeration Case Pattern)

/* if case语句等价于只有1个case的switch语句 */
let age = 2
// 原来的写法
if age >= 0 && age <= 9 {
  print("[0, 9]")
}
// 枚举用例模式
if case 0...9 = age {//判断age是否在0..9区间内
  print("[0, 9]")
}
guard case 0...9 = age else { return }
print("[0, 9]")


switch age {
case 0...9: print("[0, 9]")
default: break
}

let ages: [Int?] = [2, 3, nil, 5]
for case nil in ages {//拿出数组ages里的每一个值,与case进行匹配,如果有nil就执行里面的语句
  print("有nil值")
  break
}// 有nil值


let points = [(1, 0), (2, 1), (3, 0)]
for case let (x, 0) in points {//匹配出points里面y为0的元素
  print(x)
}// 1 3

6. 可选模式 (Optional Pattern)

let age: Int? = 42
if case .some(let x) = age { print(x) }
if case let x? = age { print(x) }

let ages: [Int?] = [nil, 2, 3, nil, 5]
for case let age? in ages {//模式匹配: 非空则执行里面
  print(age)
}// 2 3 5
/// 跟上面👆的for, 效果是等价的
let ages: [Int?] = [nil, 2, 3, nil, 5]
for item in ages {//这样写不简洁, 不如上面的匹配模式
  if let age = item {
    print(age)
  }
} 

func check(_ num: Int?) {
  switch num {
  case 2?: print("2")//非空, 传2时执行
  case 4?: print("4")
  case 6?: print("6")
  case _?: print("other")//只要为非空, 都可以
  case _: print("nil")//不管是空还是非空,都可以
  }
}
check(4) // 4
check(8) // other
check(nil) // nil


/* 回忆补充: */
var age: Int? = 10
switch age {
case let x?:
  print(x)
case nil:
  print("nil")
}
//等价于👆
switch age {
case .some(let x):
  print(x)
case .none:
  print("nil")
}

7. 类型转换模式 (Type-Casting Pattern)

let num: Any = 6
switch num {
case is Int:
    // 编译器依然认为num是Any类型
  print("is Int", num)
// case let n as Int://把n强转为int类型
// print("as Int", n + 1)
default:
  break
} 


class Animal { func eat() { print(type(of: self), "eat") } }
class Dog : Animal { func run() { print(type(of: self). "run") } }
class Cat : Animal { func jump() { print(type(of: self), "jump") } }
func check(_ animal: Animal) {
  switch animal {
  case let dog as Dog://判断能不能强转: 把dog强转为Dog类型, 不会对animal造成影响
    dog.eat()
    dog.run()
  case is Cat:// 判断是不是Cat类型
    animal.eat()
  default: break
  }
}
// Dog eat
// Dog run
check(Dog())
// Cat eat
check(Cat())

8. 表达式模式 (Expression Pattern)

/* 表达式模式用在case中 */
let point = (1, 2)//元组
switch point {
case (0, 0):
  print("(0, 0) is at the origin.")
case (-2...2, -2...2):
  print("(\(point.0), \(point.1)) is near the origin.")
default:
  print("The point is at(\(point.0), \(point.1)).")
}// (1, 2) is near the origin.


/* 自定义表达式模式 一 */
/// 可以通过重载运算符, 自定义表达式模式的匹配规则
struct Struct {
    var score = 0, name = ""
  // pattern: case后面的内容, value: switch后面的内容
  static func ~= (pattern: Int, value: Student) -> Bool { value.score >= pattern }
  static func ~= (pattern: ClosedRange<Int>, value: Student) -> Bool { pattern.contains(value.score) }
  static func ~= (pattern: Range<Int>, value: Student) -> Bool { pattern.contains(value.score) }
}

var stu = Student(score: 75, name: "Jack")
switch stu {// 通过自定义表达式, 实现stu与范围值进行匹配
case 100: print(">= 100")
case 90: print(">= 90")
case 80..<90: print("[80, 90)")
case 60...79: print("[60, 70]")
case 0: print(">= 0")
default: break
}// [60, 79]

if case 60 = stu {
  print(">=60")
}// >=60

var info = (Student(score: 70, name: "Jack"), "及格")
switch info {
case let (60, text): print(text)
default: break
}// 及格

/* 自定义表达式模式 二 */
extension String {
    static func ~= (pattern: (String) -> Bool, value: String) -> Bool {
    pattern(value)
  }
}

func hasPrefix(_ prefix: String) -> ((String) -> Bool) { { $0.hasPrefix(prefix) } }
func hasSuffix(_ suffix: String) -> ((String) -> Bool) { { $0.hasSuffix(suffix) } }

var str = "jack"
switch str {
case hasPrefix("j"), hasSuffix("k"): // (String) -> Bool
  print("以j开头, 以k结尾")
default: break
}// 以j开头, 以k结尾


/* 自定义表达式模式 三 */
func isEven(_ i: Int) -> Bool { i % 2 == 0 }
func isOdd(_i: Int) -> Bool { i % 2 != 0 }

extension Int {
  static func ~= (pattern: (Int) -> Bool, value: Int) -> Bool {
        pattern(value)   
  }
}

var age = 9
switch age {
case isEvent://case后面放的是函数类型, 不是在调用函数
  print(age, "是个偶数")
case isOdd:
  print(age, "是个奇数")
default: break
}


/* 自定义表达式模式 四 */
prefix operator ~>
prefix operator ~>=
prefix operator ~<
prefix operator ~<=
prefix func ~> (_ i: Int) -> ((Int) -> Bool) { { $0 > i } }
prefix func ~>= (_ i: Int) -> ((Int) -> Bool) { { $0 >= i } }
prefix func ~< (_ i: Int) -> ((Int) -> Bool) { { $0 < i } }
prefix func ~<= (_ i: Int) -> ((Int) -> Bool) { { $0 <= i } }

var age = 9
switch age {
case ~>=0:
print("1")
case ~>10:
print("2")
default: break
} // [0, 10]

9. where

/* 可以使用where为模式匹配增加匹配条件 */
var data = (10, "Jack")
switch data {
case let (age, _) where age > 10:
print(data.1, "age>10")
case let (age, _) where age > 0:
print(data.1, "age>0")
default: break
}

var ages = [10, 20, 44, 23, 55]
for age in ages where age > 30 {
print(age)
} // 44 55

protocol Stackable { associatedtype Element }
protocol Container {
associatedtype Stack : Stackable where Stack.Element : Equatable
}

func equal<S1: Stackable, S2: Stackable>(_ s1: S1, _ s2: S2) -> Bool
where S1.Element == S2.Element, S1.Element : Hashable {
return false
}

extension Container where Self.Stack.Element : Hashable { }
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 213,047评论 6 492
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 90,807评论 3 386
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 158,501评论 0 348
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 56,839评论 1 285
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 65,951评论 6 386
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 50,117评论 1 291
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,188评论 3 412
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,929评论 0 268
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,372评论 1 303
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,679评论 2 327
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,837评论 1 341
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,536评论 4 335
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,168评论 3 317
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,886评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,129评论 1 267
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,665评论 2 362
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,739评论 2 351