iOS9 with Swift 类型引用

对于一个实例来说，引用自身的类型是很有用的。比如向此类型传递消息。在之前的一个例子中，一个Dog实例方法通过消息显式传递将一个Dog类型属性取回。

1

Dog.whatDogSay这样的表达方式看起来很笨拙而且一点也不灵活。为什么我们必须将代码写死？它是一个类，它应该知道自己的情况。

在Oc里，你可能已经习惯了使用类的实例方法解决这种情况。在Swift里，一个实例可能不是一个类，而是结构体或者枚举。swift实例有的是一个类型。对于这种目的，swift提供的实例方法中是动态类型方法。一个实例可以到达它的类型中，通过这种方法。因此，如果你不喜欢Dog类实例调用类方法通过显式“说”Dog这种方法，这里还有一个另外的方法：

2

使用动态类型而非写死（hard-cording），一个重要的事情就是它遵循多态。

3

现在看看会发生什么？

4

像这样，我们告诉NoisyDog实例去bark，他就会说三次。其中的原因就是dynamicType：这个类型是实例事实是的那个类型。这就把这个类型变得动态了。我们把bark消息传递给NoisyDog实例。bark的实施指向这个实例，所救取出了三次“Woof”。

Tips: 你可以使用print(myobject.dynamicType)来输出对象类型，它会直接以字符串的形式输出。这对debug很有帮助。

在某些情况下，你可能想要将对象类型传递作一个变量。这是可以实现的，一个对象类型就是一个对象，下面是一些你需要知道的：

1、去声明可接受的对象类型——比如就像变量或者参数的类型，使用点运算符以及类型名和Type关键字。

2、将对象类型作为值来使用，比如，将类型赋给变量或者传给函数；使用类型的引用（类型名，或一些实例的dynamicType），很可能后面有self关键字和点号。

比如，下面这个函数接受Dog作为参数：

5

下面是一个调用该函数的例子：

6

或者还可以这样调用：

7

为什么要这么做呢？一个典型的情况就是这个函数就像实例的加工厂：给他一个类型，它创建一个这种类型的实例，对它再加工一番，然后返回它。通过发送init(...)消息，你可以用一个变量引用这个类型去制作一个这种类型的实例。

比如，下面是一个Dog类型包含init(name:)构造器，和它的子类NoisyDog：

8

下面是一个加工厂函数：制作一个Dog或者NoisyDog，给他一个名字，再返回它：

9

就像你看到的，由于whattype指向一个类型，我们可以调用它的构造器去制作一个该类型的实例。然而出了一些问题，原因是编译器不清楚init(name: )是不是所有的Dog的子类都有。为了是编译器“安心”，我们必须声明构造器为required构造器：

10

之前我保证过，我已经告诉你为什么你要用required构造器，现在我遵守了承诺。required指定构造器是编译器安心，因为每个子类都必须继承或者重写init(name:) 所以发送给Dog或者其子类的对应类型是合法的。现在代码就可以用了。我么你可以调用上面的函数：

11

在类的方法中，self代表这个类——多态地。这意味着在这个类的方法中，你可以发送消息给self去多态地调用构造器。请看这个例子：如果我们想要把之前的加工厂函数以类方法内嵌到类中，叫做makeAndName。我们想要这个类方法，无论我们发送消息给什么类，都会制造和返回一个有名字对应类的Dog。也就是说我们说Dog.makeAndName()，我们会得到一个Dog实例，我们说NoisyDog.makeAndName()，我们就会得到一个NoisyDog类。这种类型是多态的self类型，所以我们的makeAndName类方法初始化self：

12

结果是这样的：

13

但是这里有个问题。虽然d2事实上是一个NoisyDog，但是他的类型是Dog。这是因为该类方法声明返回一个Dog类。这恰恰不是我们想要的。我们想表达的是，返回一个与该方法调用者一样的类。也就是说，我们需要一个多态式的类型声明。这个类型就是Self（注意大写）。在这里，它被用作一个返回值，表示：返回一个它实际上类型的实例。

14

现在当我们调用NoisyDog.makeAndName()的时候，我们就会得到一个NoisyDog类型的NoisyDog。Self也对实例方法声明有效。因此，我们可以为我们的加工厂函数写一个实例方法。这里我们以一个Dog或者NoisyDog开始，并告诉它有一个和它一样类型的小狗：

15

测试一下它：

16

就像预想的一样，d2是Dog. nd2是NoisyDog。

为了不被搞糊涂，还是弄一个Summary：

.dynamicType:

用在代码中，发送给实例：只要是该实例内部的可多态的类型就可以，不论实例引用的类型是什么。而且通过实例的dynamicType，Static/Class成员是可以get到的。

.Type:

用在声明中，发送给类型：可多态的类型（与该类型的实例相反）。比如，在一个函数声明中，Dog代表需要一个Dog类，但是Dog.Type代表类型本身。（这样才能调用类型方法嘛！）

.self:

用在代码中，发送给类型。比如，将Dog类型传递到需要Dog.Type的地方，比如Dog.self（传递.self 给实例不是非法的，但是毫无意义）。

self:

在实例代码中，这个实例是多态的。

在Static/Class代码中，也是多态的；self.init(...)初始化了这个类型。

Self:

用在方法声明中，当具体说明返回值类型，该类或者实例的类，可多态的。