Swift - 关键字（typealias、associatedtype）

typealias 类型别名

typealias 是用来为已经存在的类型重新定义名字的，通过命名，可以使代码变得更加清晰。使用的语法也很简单，使用 typealias 关键字像使用普通的赋值语句一样，可以将某个已经存在的类型赋值为新的名字。比如在计算二维平面上的距离和位置的时候，我们一般使用 Double 来表示距离，用 CGPoint 来表示位置:

func distance(_ point: CGPoint, _ anotherPoint: CGPoint) -> Double {
    let dx = Double(anotherPoint.x - point.x)
    let dy = Double(anotherPoint.y - point.y)
    return sqrt(dx * dx + dy * dy)
}

let origin = CGPoint(x: 3, y: 0)
let point = CGPoint(x: 4, y: 0)

let d = distance(origin, point)

虽然在数学上和最后的程序运行上都没什么问题，但是阅读和维护的时候总是觉得有哪里不对。因为我们没有将数学抽象和实际问题结合起来，使得在阅读代码时我们还需要在大脑中进行一次额外的转换: CGPoint 代表一个点，而这个点就是我们在定义的坐标系里的位置; Double 是一个数字，它代表两个点之间的距离。

如果我们使用 typealias，就可以将这种转换直接写在代码里，从而减轻阅读和维护的负担:

func distance(_ point: CGPoint, _ anotherPoint: CGPoint) -> Double {
    let dx = Distance(anotherPoint.x - point.x)
    let dy = Distance(anotherPoint.y - point.y)
    return sqrt(dx * dx + dy * dy)
}

let origin = Location(x: 3, y: 0)
let point = Location(x: 4, y: 0)

let d = distance(origin, point)

同样的代码，在 typealias 的帮助下，读起来就轻松多了。可能单单这个简单例子不会有特别多的体会，但是当遇到更复杂的实际问题时，我们就可以不再关心并去思考自己代码里那些成堆的Int或者String之类的基本类型到底代表的是什么东西了，这样应该能省下不少脑细胞。注意：开发过程中，当使用的闭包的时候，会经常使用typealias。

typealias Success = (_ data: String) -> Void
typealias Failure = (_ error: String) -> Void

func request(_ url: String, success: Success, failure: Failure) {
    // do request here ....
}

typealias与泛型

typealias 是单一的，也就是说我们必须指定将某个特定的类型通过 typealias 赋值为新名字，而不能将整个泛型类型进行重命名。下面这样的命名都是无法通过编译的:

1
2
3

class Person<T> {}
typealias Woker = Person
typealias Worker = Person<T>

不过如果我们在别名中也引入泛型，是可以进行对应的

1
2
3

class Person<T> {}
typealias Woker = Person
typealias Worker<T> = Person<T>

当泛型类型的确定性得到保证后，显然别名也是可以使用的:

1
2
3

class Person<T> {}
typealias WorkId = String
typealias Worker = Person<WorkId>

另一个使用场景是某个类型同时实现多个协议的组合时。我们可以使用&符号连接几个协议，然后给它们一个新的更符合上下文的名字，来增强代码可读性:

1
2
3

protocol Cat {}
protocol Dog {}
typealias Pat = Cat & Dog

associatedtype 关联类型

定义一个协议时，有的时候声明一个或多个关联类型作为协议定义的一部分将会非常有用。 关联类型为协议中的某个类型提供了一个占位名（或者说别名），其代表的实际类型在协议被采纳时才会被指定。 我们可以通过 associatedtype 关键字来指定关联类型，比如使用协议声明更新cell 的方法：

// 模型
struct Model {
    let age: Int
    let name: String
}

// 协议，使用关联类型
protocol TableViewCellProtocol {
    associatedtype T
    func updateCell(_ data: T)
}

// 遵守TableViewCellProtocol
class MyTableViewCell: UITableViewCell, TableViewCellProtocol {
    typealias T = Model
    func updateCell(_ data: Model) {
        // do something ...
    }
}