Swift：泛型、高级运算符与扩展

目录
一，泛型
二，高级运算符
三，扩展

一，泛型

1，基本介绍

• 泛型是将类型参数化，提高代码复用率

2，关联类型

• 为协议中用到的类型定义一个占位名称
• 协议中可以定义多个关联类型

3，类型约束

4，不透明类型

• 问题

• 解决方案一：泛型

• 解决方案二：不透明类型

5，可选项的本质

6，泛型的本质

• 在C++中，泛型会为每种类型都生成一个函数
• 在Swift中，是将元类型传递给函数，以便在函数内部做区分处理

二，高级运算符

1，溢出运算符

• 算数运算符出现溢出时会抛出运行时错误
• 为了防止溢出，可以使用溢出运算符

2，运算符重载

• 为现有的运算符提供自定义实现

3，Equatable

• 要想判断实例是否相等，可以遵守Equatable协议并重载运算符
• 重载了==运算符，相当于也重载了!=运算符
• 以下情况无需手动重载：无关联类型的枚举、关联类型遵守Equatable协议的枚举、存储属性遵守Equatable协议的结构体
• 引用类型可以用===、!==运算符来判断指针是否指向同一个对象

4，Comparable

• 要想判断实例的大小，可以遵守Comparable协议并重载运算符

5，自定义运算符

• 结合性：left代表从左开始计算、right代表从右开始计算、none代表不允许同时使用
• 运算符优先级查询

prefix operator 前缀运算符
postfix operator 后缀运算符
infix operator 中缀运算符 : 优先级组

precedencegroup 优先级组 {
     associativity: 结合性(left、right、none)
     higherThan: 比哪个优先级高
     lowerThan: 比哪个优先级低
     assignment: true代表在可选链中拥有与赋值运算符一样的优先级
}

三，扩展

1，基本介绍

• Swift中的扩展类似于OC中的分类
• 扩展可以为枚举、结构体、类、协议添加新功能
• 扩展可以添加计算属性、方法、下标、嵌套类型、便捷初始化器、协议等
• 扩展不能做的事情：不能覆盖原有功能、不能添加存储属性、不能给已有属性添加属性观察器、不能添加父类、不能添加指定初始化器、不能添加required初始化器、不能添加反初始化器

2，计算属性、方法、下标

3，嵌套类型、便捷初始化器

• 如果希望自定义初始化器的同时，编译器也能够生成默认初始化器，可以在扩展中编写自定义初始化器

4，协议

5，泛型