类型转换是一种检查示例的一种方式，也是让实例作为它的父类或者子类的一种方式。
类型转换在Swift中使用is 和 as操作符实现。这两个操作符提供了一种简单达意的方式去检查值的类型或者转换它的类型。
你也可以用来检查一个类是否实现了某个协议，请参阅<a href="https://developer.apple.com/library/content/documentation/Swift/Conceptual/Swift_Programming_Language/Protocols.html#//apple_ref/doc/uid/TP40014097-CH25-ID283">检查协议一致性</a>
定义一个类层次作为例子
你可以将它用在类和子类的层次结构上，检查特定类实例的类型并且转换这个类实例的类型成为这个层次结构中的其他类型。这下面的三个代码段定义了一个类层次和一个array包含了几个这些类的实例，作为类型转换的例子。
第一个代码片段定义了一个新的基础类MediaItem。这个类为任何出现在数字媒体库的项提供基础功能。特别的，它声明了一个 String 类型的 name 属性，和一个init name初始化器。（它假定所有的媒体项都有个名称。）
class MediaItem {
var name: String
init(name: String) {
self.name = name
}
}
下一个代码段定义了 MediaItem 的两个子类。第一个子类Movie，在父类（或者说基类）的基础上增加了一个 director（导演） 属性，和相应的初始化器。第二个类在父类的基础上增加了一个 artist（艺术家） 属性，和相应的初始化器：
class Movie: MediaItem {
var director: String
init(name: String, director: String) {
self.director = director
super.init(name: name)
}
}
class Song: MediaItem {
var artist: String
init(name: String, artist: String) {
self.artist = artist
super.init(name: name)
}
}
最后一个代码段创建了一个array常量 library ，包含两个Movie实例和三个Song实例。library的类型是在它被初始化时根据它的array标记符和里面的内容（ps: literal： 标记符其实就是指“[”和“]”，虽然苹果官方的翻译里翻译为字面当总感觉不好理解，有点奇怪。不如翻译为标记符）推断来的。Swift的类型检测器能够演绎出Movie 和 Song 有共同的父类 MediaItem ，所以它推断出 MediaItem[] 类作为 library 的类型。
let library = [
Movie(name: "Casablanca", director: "Michael Curtiz"),
Song(name: "Blue Suede Shoes", artist: "Elvis Presley"),
Movie(name: "Citizen Kane", director: "Orson Welles"),
Song(name: "The One And Only", artist: "Chesney Hawkes"),
Song(name: "Never Gonna Give You Up", artist: "Rick Astley")
]
// the type of "library" is inferred to be MediaItem[]
在幕后library 里存储的项依然是 Movie 和 Song 类型的，但是，若你迭代它，取出的实例会是 MediaItem 类型的，而不是 Movie 和 Song 类型的。为了让它们作为它们本来的类型工作，你需要检查它们的类型或者向下转换它们的类型到其它类型，就像下面描述的一样。
检查类型
用类型检查操作符(is)来检查一个实例是否属于特定子类型。类型检查操作符返回 true 若实例属于那个子类型，若不属于返回 false 。
下面的例子定义了连个变量，movieCount 和 songCount，用来计算数组library 中 Movie 和 Song 类型的实例数量。
var movieCount = 0
var songCount = 0
for item in library {
if item is Movie { //类似于OC里面的isKindOfClass
++movieCount
} else if item is Song {
++songCount
}
}
print("Media library contains \\\\(movieCount) movies and \\\\(songCount) songs")
// prints "Media library contains 2 movies and 3 songs"
示例迭代了数组 library 中的所有项。每一次， for-in 循环设置 item 常量的值为数组中的下一个 MediaItem。
若当前 MediaItem 是一个 Movie 类型的实例， item is Movie 返回 true，相反返回 false。同样的，item is Song检查item是否为Song类型的实例。在循环末尾，movieCount 和 songCount的值就是被找到属于各自的类型的实例数量。
as和is区别
let arr = [
MediaItem(name:"--"),
Movie(name: "Casablanca", director: "Michael Curtiz"),
]
arr.count //2
//as用于解析出实际的类型
arr[0] as MediaItem //MediaItem
arr[1] as MediaItem //Movie
//is用于判断是否为该类或者该类的子类
arr[0] is Movie//false
arr[0] is MediaItem//true
arr[1] is MediaItem//true
向下转型（简称下转）
某类型的一个常量或变量可能在幕后实际上属于一个子类。你可以相信，上面就是这种情况。你可以尝试向下转到它的子类型，用类型转换操作符(as)
因为向下转型可能会失败，类型转换操作符带有两种不同形式。可选形式（ optional form） as? 返回一个你试图下转成的类型的可选值（optional value）。强制形式 as 把试图向下转型和强制解包（force-unwraps）结果作为一个混合动作。
当你不确定下转可以成功时，用类型转换的可选形式(as?)。可选形式的类型转换总是返回一个可选值（optional value），并且若下转是不可能的，可选值将是 nil 。这使你能够检查下转是否成功。
只有你可以确定下转一定会成功时，才使用强制形式。当你试图下转为一个不正确的类型时，强制形式的类型转换会触发一个runtime error。
下面的例子，迭代了library里的每一个 MediaItem ，并打印出适当的描述。要这样做，item需要真正作为Movie 或 Song的类型来使用。不仅仅是作为 MediaItem。为了能够使用Movie 或 Song的 director 或 artist属性，这是必要的。
在这个示例中，数组中的每一个item可能是 Movie 或 Song。 事前你不知道每个item的真实类型，所以这里使用可选形式的类型转换 (as?)去检查循环里的每次下转：
for item in library {
if let movie = item as? Movie {
print("Movie: \\\\(movie.name), dir. \\\\(movie.director)")
} else if let song = item as? Song {
print("Song: \\\\(song.name), by \\\\(song.artist)")
}
}
// Movie: Casablanca, dir. Michael Curtiz
// Song: Blue Suede Shoes, by Elvis Presley
// Movie: Citizen Kane, dir. Orson Welles
// Song: The One And Only, by Chesney Hawkes
// Song: Never Gonna Give You Up, by Rick Astley
示例首先试图将 item 下转为 Movie。因为 item 是一个 MediaItem 类型的实例，它可能是一个Movie；同样，它可能是一个 Song，或者仅仅是基类 MediaItem。因为不确定，as?形式试图下转时返还一个可选值。 item as? Movie 的返回值是Movie?类型或 “optional Movie”。
当应用在两个Song实例时，下转为 Movie 失败。为了处理这种情况，上面的实例使用了可选绑定（optional binding）来检查optional Movie真的包含一个值（这个是为了判断下转是否成功。）可选绑定是这样写的“if let movie = item as? Movie”,可以这样解读：
“尝试将 item 转为 Movie类型。若成功，设置一个新的临时常量 movie 来存储返回的optional Movie”
若下转成功，然后movie的属性将用于打印一个Movie实例的描述，包括它的导演的名字director。当Song被找到时，一个相近的原理被用来检测 Song 实例和打印它的描述。
注意：转换没有真的改变实例或它的值。潜在的根本的实例保持不变；只是简单地把它作为它被转换成的类来使用。
Any和AnyObject的转换
Swift为不确定类型提供了两种特殊类型别名：
- AnyObject可以代表任何class类型的实例。
- Any可以表示任何类型，除了方法类型（function types）。
let someObjects: [AnyObject] = [
Movie(name: "2001: A Space Odyssey", director: "Stanley Kubrick"),
Movie(name: "Moon", director: "Duncan Jones"),
Movie(name: "Alien", director: "Ridley Scott")
]
for object in someObjects {
let movie = object as! Movie //注意，这里需要解析，在2.x版本中不需要解析
print("Movie: '\\(movie.name)', dir. \\(movie.director)")
}
for movie in someObjects as! [Movie] {
print("Movie: '\\(movie.name)', dir. \\(movie.director)")
}
Any类型
这里有个示例，使用 Any 类型来和混合的不同类型一起工作，包括非class类型。它创建了一个可以存储Any类型的数组things：
var things = [Any]()
things.append(0)
things.append(0.0)
things.append(42)
things.append(3.14159)
things.append("hello")
things.append((3.0, 5.0))
things.append(Movie(name: "Ghostbusters", director: "Ivan Reitman"))
things.append({ (name: String) -> String in "Hello, \\(name)" })
things 数组包含两个 Int 值，2个 Double 值，1个 String 值，一个元组 (Double, Double) ，Ivan Reitman导演的电影“Ghostbusters”。
你可以在 switch cases里用is 和 as 操作符来发觉只知道是 Any 或 AnyObject的常量或变量的类型。 下面的示例迭代 things数组中的每一项的并用switch语句查找每一项的类型。这几种switch语句的情形绑定它们匹配的值到一个规定类型的常量，让它们可以打印它们的值：
for thing in things {
switch thing {
case 0 as Int:
println("zero as an Int")
case 0 as Double:
println("zero as a Double")
case let someInt as Int:
println("an integer value of \\(someInt)")
case let someDouble as Double where someDouble > 0:
println("a positive double value of \\(someDouble)")
case is Double:
println("some other double value that I don't want to print")
case let someString as String:
println("a string value of \\"\\(someString)\\"")
case let (x, y) as (Double, Double):
println("an (x, y) point at \\(x), \\(y)")
case let movie as Movie:
println("a movie called '\\(movie.name)', dir. \\(movie.director)")
default:
println("something else")
}
}
注意
该Any类型表示任何类型的值，包括可选类型。如果你使用的类型的值是可选值，swift会给你一个警告。如果你确实需要使用一个可选的值作为Any值，可以使用as操作符显式转换为可选Any
如下图所示。
let optionalNumber: Int? = 3
things.append(optionalNumber) // Warning
things.append(optionalNumber as Any) // No warning
警告的fix
//如果是一个可选类型，可使用如下修改方式
things.append(optionalNumber ?? <#default value#>) // 给可选值一个默认值
things.append(optionalNumber!) // Warning //解析可选值
things.append(optionalNumber as Any) // Warning //声明为Any
