某類型的一個常量或變量可能在幕后實際上屬于一個子類。你可以相信,上面就是這種情況。你可以嘗試向下轉(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ù)拿枋觥R@樣做,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)換成的類來使用。