由于Swift严格的类型检查,其编译器在规定什么样的消息可以发送给对象引用实行严格的限制。被允许发送给对象引用的消息是那些已经被引用的声明类型所允许的消息,其中包括它的继承。
由于多态的内部识别原则,这意味着一个对象可能有能力接受编译器原先不允许的消息。这对我们是一个严重的约束。
转型(casting)可以很好地解决这个问题。
把as关键字加在你想要的真正类型名之前,就可以实现转型。Swift不允许在原有的类型之间转型(Int ->String),但是把父类转型为子类是允许的,这叫做向下转型(Casting Down)。as!表示向下转型。!就是提醒你,向下转型是强制编译器做一些她不想做的事情。
这段代码成功编译。这个例子还能以下面这种方便的方式表达:
这种方式更方便的原因是:防止有其他的NoisyDog消息需要传送到对象。我们可以定义一个值,并且downcasting给它。现在这个值被推断为转型后的值,这样就可以多次调用,而切不用多次转型了。
as!的!同时也是在警示这个代码可能崩溃。这是因为我们有可能误导编译器。Casting Down是告诉编译器放松严格类型限制检查,这样即使你转型出错,编译器也有可能放行,但在App运行的时候会崩溃。
这个例子中,我们告诉编译器这个对象将会是一个NoisyDog,于是编译器就放开手让我们操作,然而事实上,这个对象却是一个Dog类型,由此这段代码的运行结果就是 崩溃。
为了避免这种情况,你可以在实例运行的时候启用检查机制。一种方式就是使用is关键字。你可以使用is在一个条件语句中,如果通过检查,就可以继续转型了。
这样,我们就会只在是NoisyDog的情况下转型了。
另一种方法则是使用as?关键字。这样转型的结果就是一个可选类型。
这看起来不是那么的简洁。所以我们运用可选解包,将代码进一步精简:
首先,我们使用as?运算符获得一个可选值(包含NoisyDog或者只是nil)。然后我们可选解包并且传入消息。如果传入的d不是NoisyDog,那么可选值是nil,则消息不会被传入。如果d是NoisyDog,那么他会被解包并且传入消息。所以说,这段代码是安全的。
回想之前的可选值的会自动解包来比较,as! as? is运算符也是一样的。
如果这个可选值是一个nil,那么这个检查会有条不紊的结束。事实上,这个检查做了两件事情:可选值是不是nil?如果不是其包含的值是不是符合要求?
可选值怎样进行转型呢?事实上你不能真正地将可选值进行转型,但是你可以使用as!,因为Swift明白你要做什么。当在as!前面的是一个可选值,Swift会把它当成其解包后的值。也就是说,as!运算符应用的结果就是:Swift先进行了解包,再进行转型。
然而这段代码是不安全的,没有进行检查,你不应该像这样进行转型,除非你很确定。如果d是nil,你将会在第二行崩溃,因为你在强制把nil解包。而如果d是一个Dog,你也会由于cast失败而面临崩溃。这就是为什么会有as?运算符,虽然生成了可选值但是更加安全。
另一种你需要运用转型的情况是在进行Swift
和Oc进类型相似的值交换的时候。比如说,你可以把String 转为NSString,反之也可。这不是因为他们是父类子类,而是因为它们之间进行了桥接。在某种意义上,它们是相同类型,所以这不是向下转型(cast down),所以也没有什么危险,就可以直接用as。
这个as就是告诉s待在Cocoa的世界里,来调用rangeOfString方法,因此他所产生的结果也是NSRang而不是一个Swift range。
这种桥接大量存在于此。经常地,你不需要进行这种转型,因为Swift会自动帮你完成。比如,Swift的Int和Cocoa的NSNumber是两个很不同的类型,但是尽管如此你还是可以常常地在要求NSNumber的地方使用Int。
在这个代码中,我们使用了1这个Int值,事实上这里需要的是NSObject的实例。Int不仅不是NSObject而且还不是类的实例(它是一个结构体实例)。Swift会自动桥接转型,将Int变为NSNumber。
另一种情况,当你调用一个objectForKey:的时候,swift不知道该值究竟是什么类型的,所以你必须显式转型为Int。
ud.objectForkey("Test")会产生一个包含整数的NSNumber,所以转为Swift的Int类型是允许的。但是如果产生的不是一个NSNumber或者是一个nil,程序就会崩溃。如果你不太确定,还是使用is或者as?会比较安全。