
目录
一,泛型
二,高级运算符
三,扩展
一,泛型
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,泛型
