对于一个实例来说,引用自身的类型是很有用的。比如向此类型传递消息。在之前的一个例子中,一个Dog实例方法通过消息显式传递将一个Dog类型属性取回。
Dog.whatDogSay这样的表达方式看起来很笨拙而且一点也不灵活。为什么我们必须将代码写死?它是一个类,它应该知道自己的情况。
在Oc里,你可能已经习惯了使用类的实例方法解决这种情况。在Swift里,一个实例可能不是一个类,而是结构体或者枚举。swift实例有的是一个类型。对于这种目的,swift提供的实例方法中是动态类型方法。一个实例可以到达它的类型中,通过这种方法。因此,如果你不喜欢Dog类实例调用类方法通过显式“说”Dog这种方法,这里还有一个另外的方法:
使用动态类型而非写死(hard-cording),一个重要的事情就是它遵循多态。
现在看看会发生什么?
像这样,我们告诉NoisyDog实例去bark,他就会说三次。其中的原因就是dynamicType:这个类型是实例事实是的那个类型。这就把这个类型变得动态了。我们把bark消息传递给NoisyDog实例。bark的实施指向这个实例,所救取出了三次“Woof”。
Tips: 你可以使用print(myobject.dynamicType)来输出对象类型,它会直接以字符串的形式输出。这对debug很有帮助。
在某些情况下,你可能想要将对象类型传递作一个变量。这是可以实现的,一个对象类型就是一个对象,下面是一些你需要知道的:
1、去声明可接受的对象类型——比如就像变量或者参数的类型,使用点运算符以及类型名和Type关键字。
2、将对象类型作为值来使用,比如,将类型赋给变量或者传给函数;使用类型的引用(类型名,或一些实例的dynamicType),很可能后面有self关键字和点号。
比如,下面这个函数接受Dog作为参数:
下面是一个调用该函数的例子:
或者还可以这样调用:
为什么要这么做呢?一个典型的情况就是这个函数就像实例的加工厂:给他一个类型,它创建一个这种类型的实例,对它再加工一番,然后返回它。通过发送init(...)消息,你可以用一个变量引用这个类型去制作一个这种类型的实例。
比如,下面是一个Dog类型包含init(name:)构造器,和它的子类NoisyDog:
下面是一个加工厂函数:制作一个Dog或者NoisyDog,给他一个名字,再返回它:
就像你看到的,由于whattype指向一个类型,我们可以调用它的构造器去制作一个该类型的实例。然而出了一些问题,原因是编译器不清楚init(name: )是不是所有的Dog的子类都有。为了是编译器“安心”,我们必须声明构造器为required构造器:
之前我保证过,我已经告诉你为什么你要用required构造器,现在我遵守了承诺。required指定构造器是编译器安心,因为每个子类都必须继承或者重写init(name:) 所以发送给Dog或者其子类的对应类型是合法的。现在代码就可以用了。我么你可以调用上面的函数:
在类的方法中,self代表这个类——多态地。这意味着在这个类的方法中,你可以发送消息给self去多态地调用构造器。请看这个例子:如果我们想要把之前的加工厂函数以类方法内嵌到类中,叫做makeAndName。我们想要这个类方法,无论我们发送消息给什么类,都会制造和返回一个有名字对应类的Dog。也就是说我们说Dog.makeAndName(),我们会得到一个Dog实例,我们说NoisyDog.makeAndName(),我们就会得到一个NoisyDog类。这种类型是多态的self类型,所以我们的makeAndName类方法初始化self:
结果是这样的:
但是这里有个问题。虽然d2事实上是一个NoisyDog,但是他的类型是Dog。这是因为该类方法声明返回一个Dog类。这恰恰不是我们想要的。我们想表达的是,返回一个与该方法调用者一样的类。也就是说,我们需要一个多态式的类型声明。这个类型就是Self(注意大写)。在这里,它被用作一个返回值,表示:返回一个它实际上类型的实例。
现在当我们调用NoisyDog.makeAndName()的时候,我们就会得到一个NoisyDog类型的NoisyDog。Self也对实例方法声明有效。因此,我们可以为我们的加工厂函数写一个实例方法。这里我们以一个Dog或者NoisyDog开始,并告诉它有一个和它一样类型的小狗:
测试一下它:
就像预想的一样,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:
用在方法声明中,当具体说明返回值类型,该类或者实例的类,可多态的。