Swift 操作符

Swift 支持重载操作符的特性，让我们可以自定义一些简单的计算。
最经典的例子就是两个二维向量之间的计算了。

首先我们定义一个二维向量，并创建两个向量

1
2
3
4
5
6
struct Vector2D {
    var x = 0.0
    var y = 0.0
}
let v1 = Vector2D(x: 2.0, y: 3.0)
let v2 = Vector2D(x: 1.0, y: 4.0)

相加两个向量：

1
let v3 = Vector2D(x: v1.x + v2.x, y: v1.y + v2.y)

这样一次的话，感觉还好。但是遇到复杂的运算的话，这样写感觉就太啰嗦了，这时候重载操作符是最好的选择。

1
2
3
func +(left: Vector2D, right: Vector2D) -> Vector2D {
    return Vector2D(x: left.x + right.x, y: left.y + right.y)
}

这样，我们相加两个向量就简单的多了

1
2
let v3 = v1 + v2
print(v3) // 输出 Vector2D(x: 3.0, y: 7.0)

向量的内积运算符API中是没有定义的，所以我们自定义一个内积运算符。
这里是Swift 3的实现方式（感觉看起来比之前的版本可读性好多了）。

1
2
3
4
5
6
7
8
9
10
11
// 自定义操作符 别名类型
infix operator +*: InnerProductPrecedence
// 自定义操作符的运算优先级
precedencegroup InnerProductPrecedence {
//    结合律：内积的结果是一个 Double，不再会和其他内积结合使用，所以这里写成 none
    associativity: none
//    优先级设置：高于普通运算。
//    MultiplicationPrecedence（代表乘法和除法）
//    AdditionPrecedence（代表加法和减法）
    higherThan: MultiplicationPrecedence, AdditionPrecedence
}

接下来我们就可以写具体的运算实现了

1
2
3
4
5
func +*(left: Vector2D, right: Vector2D) -> Double {
    return left.x * right.x + left.y * right.y
}

let result = v1 +* v2 // 14

precedencegroup

定义了一个操作符优先级别。操作符优先级的定义和类型声明有些相似，一个操作符比需要属于某个特定的优先级。Swift 标准库中已经定义了一些常用的运算优先级组，比如加法优先级 (AdditionPrecedence) 和乘法优先级 (MultiplicationPrecedence) 等，你可以在这里找到完整的列表。如果没有适合你的运算符的优先级组，你就需要像我们在例子中做得这样，自己指定结合律方式和优先级顺序了。

infix

表示要定义的是一个中位操作符，即前后都是输入；其他的修饰还包括 prefix 和 postfix，不再赘述

associativity

定义了结合律，即如果多个同类的操作符顺序出现的计算顺序。比如常见的加法和减法都是 left，就是说多个加法同时出现时按照从左往右的顺序计算 (因为加法满足交换律，所以这个顺序无所谓，但是减法的话计算顺序就很重要了)。点乘的结果是一个 Double，不再会和其他点乘结合使用，所以这里写成 none

higherThan

运算的优先级，点积运算是优先于乘法运算的。除了 higherThan，也支持使用 lowerThan 来指定优先级低于某个其他组。