某類型的一個常量或變量可能在幕后實際上屬于一個子類。你可以相信,上面就是這種情況。你可以嘗試向下轉(zhuǎn)到它的子類型,用類型轉(zhuǎn)換操作符(as)
因為向下轉(zhuǎn)型可能會失敗,類型轉(zhuǎn)型操作符帶有兩種不同形式??蛇x形式( optional form) as? 返回一個你試圖下轉(zhuǎn)成的類型的可選值(optional value)。強制形式 as 把試圖向下轉(zhuǎn)型和強制解包(force-unwraps)結(jié)果作為一個混合動作。
當你不確定向下轉(zhuǎn)型可以成功時,用類型轉(zhuǎn)換的可選形式(as?)??蛇x形式的類型轉(zhuǎn)換總是返回一個可選值(optional value),并且若下轉(zhuǎn)是不可能的,可選值將是 nil 。這使你能夠檢查向下轉(zhuǎn)型是否成功。
只有你可以確定向下轉(zhuǎn)型一定會成功時,才使用強制形式。當你試圖向下轉(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 {
println("Movie: '\(movie.name)', dir. \(movie.director)")
} else if let song = item as? Song {
println("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 下轉(zhuǎn)為 Movie。因為 item 是一個 MediaItem 類型的實例,它可能是一個Movie;同樣,它可能是一個 Song,或者僅僅是基類 MediaItem。因為不確定,as?形式在試圖下轉(zhuǎn)時將返還一個可選值。 item as Movie 的返回值是Movie?類型或 “optional Movie”。
當向下轉(zhuǎn)型為 Movie 應用在兩個 Song 實例時將會失敗。為了處理這種情況,上面的例子使用了可選綁定(optional binding)來檢查可選 Movie真的包含一個值(這個是為了判斷下轉(zhuǎn)是否成功。)可選綁定是這樣寫的“if let movie = item as? Movie”,可以這樣解讀:
“嘗試將 item 轉(zhuǎn)為 Movie類型。若成功,設置一個新的臨時常量 movie 來存儲返回的可選Movie”
若向下轉(zhuǎn)型成功,然后movie的屬性將用于打印一個Movie實例的描述,包括它的導演的名字director。當Song被找到時,一個相近的原理被用來檢測 Song 實例和打印它的描述。
注意:
轉(zhuǎn)換沒有真的改變實例或它的值。潛在的根本的實例保持不變;只是簡單地把它作為它被轉(zhuǎn)換成的類來使用。