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