類型轉(zhuǎn)換 可以判斷實例的類型，也可以將實例看做是其父類或者子類的實例陵珍。
類型轉(zhuǎn)換在 Swift 中使用 is 和 as 操作符實現(xiàn)违施。這兩個操作符提供了一種簡單達意的方式去檢查值的類型或者轉(zhuǎn)換它的類型醉拓。
你也可以用它來檢查一個類型是否實現(xiàn)了某個協(xié)議，就像在檢驗協(xié)議的一致性部分講述的一樣愤兵。
定義一個類層次作為例子
你可以將類型轉(zhuǎn)換用在類和子類的層次結(jié)構(gòu)上秆乳，檢查特定類實例的類型并且轉(zhuǎn)換這個類實例的類型成為這個層次結(jié)構(gòu)中的其他類型钻哩。下面的三個代碼段定義了一個類層次和一個包含了這些類實例的數(shù)組街氢，作為類型轉(zhuǎn)換的例子。
第一個代碼片段定義了一個新的基類 MediaItem荣刑。這個類為任何出現(xiàn)在數(shù)字媒體庫的媒體項提供基礎功能伦乔。特別的烈和，它聲明了一個 String 類型的 name 屬性，和一個 init(name:) 初始化器恬试。（假定所有的媒體項都有個名稱忘渔。）
class MediaItem {
var name: String
init(name: String) {
self.name = name
}
}
下一個代碼段定義了 MediaItem 的兩個子類。第一個子類 Movie 封裝了與電影相關的額外信息散址，在父類（或者說基類）的基礎上增加了一個 director（導演）屬性预麸，和相應的初始化器儒将。第二個子類 Song钩蚊，在父類的基礎上增加了一個 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)
}
}
最后一個代碼段創(chuàng)建了一個數(shù)組常量 library，包含兩個 Movie 實例和三個 Song 實例砰逻。library 的類型是在它被初始化時根據(jù)它數(shù)組中所包含的內(nèi)容推斷來的鸣驱。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")
]
// 數(shù)組 library 的類型被推斷為 [MediaItem]
在幕后 library 里存儲的媒體項依然是 Movie 和 Song 類型的蝠咆。但是踊东，若你迭代它，依次取出的實例會是 MediaItem 類型的刚操，而不是 Movie 和 Song 類型闸翅。為了讓它們作為原本的類型工作，你需要檢查它們的類型或者向下轉(zhuǎn)換它們到其它類型坚冀，就像下面描述的一樣。
檢查類型
用類型檢查操作符（is）來檢查一個實例是否屬于特定子類型占卧。若實例屬于那個子類型遗菠，類型檢查操作符返回 true联喘，否則返回 false华蜒。
下面的例子定義了兩個變量，movieCount 和 songCount豁遭，用來計算數(shù)組 library 中 Movie 和 Song 類型的實例數(shù)量：
var movieCount = 0
var songCount = 0
for item in library {
if item is Movie {
movieCount += 1
} else if item is Song {
songCount += 1
}
}
print("Media library contains \(movieCount) movies and \(songCount) songs")
// 打印 “Media library contains 2 movies and 3 songs”
向下轉(zhuǎn)型
某類型的一個常量或變量可能在幕后實際上屬于一個子類叭喜。當確定是這種情況時，你可以嘗試向下轉(zhuǎn)到它的子類型蓖谢，用類型轉(zhuǎn)換操作符（as? 或 as!）捂蕴。
因為向下轉(zhuǎn)型可能會失敗譬涡，類型轉(zhuǎn)型操作符帶有兩種不同形式。條件形式as? 返回一個你試圖向下轉(zhuǎn)成的類型的可選值啥辨。強制形式 as! 把試圖向下轉(zhuǎn)型和強制解包轉(zhuǎn)換結(jié)果結(jié)合為一個操作涡匀。
當你不確定向下轉(zhuǎn)型可以成功時，用類型轉(zhuǎn)換的條件形式（as?）溉知。條件形式的類型轉(zhuǎn)換總是返回一個可選值陨瘩，并且若下轉(zhuǎn)是不可能的，可選值將是 nil级乍。這使你能夠檢查向下轉(zhuǎn)型是否成功舌劳。
只有你可以確定向下轉(zhuǎn)型一定會成功時，才使用強制形式（as!）玫荣。當你試圖向下轉(zhuǎn)型為一個不正確的類型時甚淡，強制形式的類型轉(zhuǎn)換會觸發(fā)一個運行時錯誤。
下面的例子捅厂，迭代了 library 里的每一個 MediaItem贯卦，并打印出適當?shù)拿枋觥Ｒ@樣做焙贷，item 需要真正作為 Movie 或 Song 的類型來使用脸侥，而不僅僅是作為 MediaItem。為了能夠在描述中使用 Movie 或 Song 的 director 或 artist 屬性盈厘，這是必要的睁枕。
在這個示例中，數(shù)組中的每一個 item 可能是 Movie 或 Song沸手。事前你不知道每個 item 的真實類型外遇，所以這里使用條件形式的類型轉(zhuǎn)換（as?）去檢查循環(huán)里的每次下轉(zhuǎn)：
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
注意
轉(zhuǎn)換沒有真的改變實例或它的值。根本的實例保持不變契吉；只是簡單地把它作為它被轉(zhuǎn)換成的類型來使用跳仿。
Any 和 AnyObject 的類型轉(zhuǎn)換
Swift 為不確定類型提供了兩種特殊的類型別名：
-
Any可以表示任何類型，包括函數(shù)類型捐晶。 -
AnyObject可以表示任何類類型的實例菲语。
只有當你確實需要它們的行為和功能時才使用 Any 和 AnyObject。在你的代碼里使用你期望的明確類型總是更好的惑灵。
這里有個示例山上，使用 Any 類型來和混合的不同類型一起工作，包括函數(shù)類型和非類類型英支。它創(chuàng)建了一個可以存儲 Any 類型的數(shù)組 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 數(shù)組包含兩個 Int 值佩憾，兩個 Double 值，一個 String 值，一個元組 (Double, Double)妄帘，一個Movie實例“Ghostbusters”楞黄，以及一個接受 String 值并返回另一個 String 值的閉包表達式。
你可以在 switch 表達式的 case 中使用 is 和 as 操作符來找出只知道是 Any 或 AnyObject 類型的常量或變量的具體類型抡驼。下面的示例迭代 things 數(shù)組中的每一項鬼廓，并用 switch 語句查找每一項的類型。有幾個 switch語句的 case 綁定它們匹配到的值到一個指定類型的常量致盟，從而可以打印這些值：
for thing in things {
switch thing {
case 0 as Int:
print("zero as an Int")
case 0 as Double:
print("zero as a Double")
case let someInt as Int:
print("an integer value of \(someInt)")
case let someDouble as Double where someDouble > 0:
print("a positive double value of \(someDouble)")
case is Double:
print("some other double value that I don't want to print")
case let someString as String:
print("a string value of \"\(someString)\"")
case let (x, y) as (Double, Double):
print("an (x, y) point at \(x), \(y)")
case let movie as Movie:
print("a movie called '\(movie.name)', dir. \(movie.director)")
case let stringConverter as (String) -> String:
print(stringConverter("Michael"))
default:
print("something else")
}
}
// zero as an Int
// zero as a Double
// an integer value of 42
// a positive double value of 3.14159
// a string value of "hello"
// an (x, y) point at 3.0, 5.0
// a movie called 'Ghostbusters', dir. Ivan Reitman
// Hello, Michael
注意
Any類型可以表示所有類型的值桑阶，包括可選類型。Swift 會在你用Any類型來表示一個可選值的時候勾邦，給你一個警告蚣录。如果你確實想使用Any類型來承載可選值，你可以使用as操作符顯式轉(zhuǎn)換為Any眷篇，如下所示：let optionalNumber: Int? = 3 things.append(optionalNumber) // 警告 things.append(optionalNumber as Any) // 沒有警告
