泛型（一）

泛型介绍

你想要给宠物和它们的饲养员做一个模型。你可以使用不同的值来实现这一点，也可以使用不同的类型来实现这一点。你将看到，通过使用类型(而不是值)，Swift类型检查器可以在编译时推断你的代码。你不仅在运行时做得更少，从而生成更快的代码，而且还可以捕获仅使用值不可能解决的问题。

由其他值定义的值

假设你经营着一家只卖狗和猫的宠物店，你想用swift的playground来做这个生意的模型。首先，你定义了一种类型，PetKind，它可以包含两种可能的值，对应于你出售的两种宠物:

enum PetKind {
  case cat
  case dog 
}

现在，假设你不仅想构建动物模型，还想构建照顾宠物的员工模型。你的员工是高度专业化的。有些饲养员只照看猫，有些只照看狗。

所以你定义一个KeeperKind类型，如下:

struct KeeperKind {
  var keeperOf: PetKind
}

然后你可以用以下方法初始化一个猫管理员和狗管理员:

let catKeeper = KeeperKind(keeperOf: .cat)
let dogKeeper = KeeperKind(keeperOf: .dog)

如何为你的商店建模，有两点需要注意。
首先，你通过改变类型的值来代表不同种类的宠物和饲养者。宠物的种类只有一种—— PetKind——还有一种是饲养者—— KeeperKind。不同种类的宠物只能用不同的PetKind的值来表示，正如不同种类的饲养者用不同的KeeperKind的值来表示一样。

第二，一个范围的值可能决定了另一个值的范围。具体地说，KeeperKind值的范围直接反映了PetKind值的范围。

如果你的商店开始出售鸟类，你只需在PetKind枚举中添加.bird成员，你就可以立即初始化一个值，该值描述一个鸟类饲养员KeeperKind(keeperOf: .bird)。如果你开始销售100种不同的宠物，你马上就能表示100种不同的饲养员。

相反，你可以定义第二个不相关的枚举，而不是KeeperKind。

在这种情况下，没有任何东西会强制执行这种关系，除非你一直在更新一个类型以镜像另一个类型。如果你PetKind添加啦PetKind.snake，却忘了添加EnumKeeperKind.snakeKeeper，那么事情就会变得紊乱。

但是使用KeeperKind，你可以通过PetKind类型的属性显式地建立关系。每一个可能的PetKind值都意味着一个相应的KeeperKind值。或者你可以说，PetKind集合定义了KeeperKind值集合。

总而言之，你可以这样描述这种关系:

QQ20180702-113716@2x.png

由其他类型定义的类型

上面的模型基本上是通过改变类型的值来实现的。现在考虑另一种建模，通过改变类型本身来实现。

假设您没有定义代表各种宠物的单一类型PetKind，而是为你出售的每种宠物定义了不同的类型。如果你采用面向对象的方式实现，那么这是一个相当合理的选择，你可以为每个宠物使用不同的方法对它们的行为进行建模。然后你会得到以下信息:

class Cat {}
class Dog {}

那么如何表示相应种类的饲养员呢?你可以简单地写下以下内容:

class KeeperForCats {}
class KeeperForDogs {}

但那不是很好。这种方法的问题与手动定义KeeperKind值的并行枚举完全相同——它依赖于你为每种类型的宠物强制与一种饲养员类型保持关系。

你真正喜欢的是一种声明一段关系的方式，就像你为值所建立的关系一样。你想声明，每一种可能的宠物类型都暗示着相应的饲养员类型的存在，你描述的对应是:

QQ20180702-115119@2x.png

你想要确定的是，对于每一个可能的宠物类型，都定义了相应的饲养员类型。但你不需要手动操作。你需要一种方法来自动定义一组饲养员类型。

事实证明，这正是泛型的作用所在!