向下轉型(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 實例和打印它的描述。

注意：
轉換冇有真的改變實例或它的值。潛在的根本的實例保持不變；隻是簡單地把它作為它被轉換成的類來使用。