持续创作，加速成长！这是我参与「掘金日新计划 · 6 月更文挑战」的第12天，点击查看活动详情

Swift基础语法文章汇总

Swift提供了对运算符的特殊操作，本文主要介绍溢出运算符、运算符重载、自定义运算符。

主要内容：

1. 溢出运算符
2. 运算符重载
3. 常见运算符协议
4. 自定义运算符

1. 溢出运算符

算数运算符中出现溢出时会抛出运行时错误，因此Swift提供了溢出运算符(&+,&-,&*)，支持溢出运算，即使溢出也会正常计算而不是错误

代码：

/*
 1、溢出运算符
 */
var min = UInt8.min
print(min &- 1) // 255, Int8.max

var max = UInt8.max
print(max &+ 1) // 0, Int8.min
print(max &* 2) // 254, 等价于 max &+ max

说明：

1. 加减乘三种才可以，除法是不行的（自己后面写博客的时候验证下）
2. 溢出时数值是头尾相连来判断的，比如255 &+ 2 = 1。
3. 可以通过取余计算，以溢出加法来看，上面的应该等价于(255+2)%256 = 1

本质：

• 可以看到在二进制上的计算其实是正常的计算方式
• 本质上依然是正常的加减乘，只不过计算后不会报错。如果是正常的加法，255+1，就会进位，此时后面的8位全为0，而进位的1不会报错。

2. 运算符重载

类、结构体、枚举可以为现有的运算符提供自定义的实现，这个操作就叫做运算符重载 代码：

说明：

• 写到类型内，必须需要使用static/class，因为这个运算符是跟类型相关的，而非对象相关的，所以使用static
• 简单看下写法就好了
• 重载的运算符只需要看自己重载了什么功能，没有重载的地方仍然和原本的运算符的使用一模一样，在使用上不要有顾虑

3. 常见运算符协议

3.1 Equatable

代码：

说明：

1. 其实可以不用写Equatable，但是一般要写
2. 这个==重载运算符就是Equatable定义的方法
3. Equatable会帮我们重载!= 运算符
4. 结构体系统会自行判断比较规则，因此系统会帮我们比较，Person类需要我们自己比较

默认的Equatable实现： Swift为某些类型默认提供了Equatable实现，其本质就是有约定俗成的比较规则系统就会帮我们实现。如果系统无法自行判断比较规则就不会帮我们实现。

enum Answer : Equatable {
case wrong(Int)
    case right
}
var s1 = Answer.wrong(10)
var s2 = Answer.wrong(20)
print(s1 == s2)

类型：

• 没有关联类型的枚举
• 只拥有遵守Equatable协议关联类型的枚举(虽然有关联类型，但是这个关联类型有自己的比较规则了，所以默认会比较)
• 只拥有遵守Equatable协议存储属性的结构体(结构体的只有存储属性，且所有的存储属性如果遵守比较协议，说明有默认的比较规则，这个结构体也是可以进行比较的)

恒等于运算符

print(p1 === p2)

• 默认两个对象使用== 比较的是两个对象变量存储的地址值是否相等，但是类中如果重载了 == 运算符，那么只能使用===恒等于运算符来比较两个对象的内存地址是否相等
• 还有!==是恒不等于运算符

3.2 Comparable

comparable协议提供了比较大小的方法，系统提供的类型已经默认遵守了，如果我们自己的类型想要比较，需要遵守其协议，并且实现其运算符

4. 自定义运算符

可以自定义新的运算符实现自己的运算功能

运算符类型：

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

优先级组：

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

实际案例：

prefix operator +++
infix operator +- : PlusMinusPrecedence
precedencegroup PlusMinusPrecedence {
    associativity: none
    higherThan: AdditionPrecedence
    lowerThan: MultiplicationPrecedence
    assignment: true
}

说明：

1. 定义前缀运算符符号为+++
2. 定义中缀运算符+-，且提供了优先级组
3. 创建优先级组PlusMinusPrecedence
4. 优先级组中的结合性为无，不能三个数同时计算
5. 这里的高优先级或低优先级不是随便写的，而是Apple文档提供的，需要在运算符官方文档查找
6. assignment为true表示在可选链中它的优先级和赋值运算符一样