前言
在 的世界中，如果我们将协议称之为国王，那么泛型则可以视作皇后，所谓一山不容二虎，当我们把这两者结合起来使用的时候，似乎会遇到极大的困难。那么是否有一种方法，能够将这两个概念结合在一起，以便让它们成为我们前进道路上的垫脚石，而不是碍手碍脚的呢？答案是有的，这里我们将会使用到类型擦除 (Type Erasure) 这个强大的特性。
你也许曾听过类型擦除，甚至也使用过标准库提供的类型擦除类型如 AnySequence。但到底什么是类型擦除? 如何自定义类型擦除? 在这篇文章中，我将讨论如何使用类型擦除以及如何自定义。在此感谢 Lorenzo Boaro 提出这个主题。
有时你想对外部调用者隐藏某个类的具体类型，或是一些实现细节。在一些情况下，这样做能防止静态类型在项目中滥用，或者保证了类型间的交互。类型擦除就是移除某个类的具体类型使其变得更通用的过程。
协议或抽象父类可作为类型擦除简单的实现方式之一。例如 NSString 就是一个例子，每次创建一个 NSString 实例时，这个对象并不是一个普通的 NSString 对象，它通常是某个具体的子类的实例，这个子类一般是私有的，同时这些细节通常是被隐藏起来的。你可以使用子类提供的功能而不用知道它具体的类型，你也没必要将你的代码与它们的具体类型联系起来。
在处理 Swift 泛型以及关联类型协议的时候，可能需要使用一些高级的内容。Swift 不允许把协议当做具体的类型来使用。例如，如果你想编写一个方法，它的参数是一个包含了 Int 的序列，那么下面这种做法是不正确的：
发表评论