進擊的雨燕-----------類型轉換

標籤：

 

類型轉換 可以判斷執行個體的類型，也可以將執行個體看做是其父類或者子類的執行個體。

類型轉換在 Swift 中使用 is 和 as 操作符實現。這兩個操作符提供了一種簡單達意的方式去檢查值的類型或者轉換它的類型。

你也可以用它來檢查一個類是否實現了某個協議，就像在 檢驗協議的一致性部分講述的一樣。

定義一個類層次作為例子

你可以將類型轉換用在類和子類的階層上，檢查特定類執行個體的類型並且轉換這個類執行個體的類型成為這個階層中的其他類型。下面的三個程式碼片段定義了一個類層次和一個包含了幾個這些類執行個體的數組，作為類型轉換的例子。

第一個程式碼片段定義了一個新的基礎類 MediaItem。這個類為任何出現在數位媒體庫的媒體項提供基礎功能。特別的，它聲明了一個 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)    }}

最後一個程式碼片段建立了一個常數陣列 library，包含兩個 Movie 執行個體和三個 Song 執行個體。library 的類型是在它被初始化時根據它數組中所包含的內容推斷來的。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")]// the type of "library" is inferred to be [MediaItem]

在幕後 library 裡儲存的媒體項依然是 Movie 和 Song 類型的。但是，若你迭代它，依次取出的執行個體會是 MediaItem 類型的，而不是 Movie 和 Song 類型。為了讓它們作為原本的類型工作，你需要檢查它們的類型或者向下轉換它們到其它類型，就像下面描述的一樣。

檢查類型（Checking Type）

用類型檢查操作符(is)來檢查一個執行個體是否屬於特定子類型。若執行個體屬於那個子類型，類型檢查操作符返回 true，否則返回 false。

下面的例子定義了兩個變數，movieCount 和 songCount，用來計算數組 library 中 Movie 和 Song 類型的執行個體數量。

var movieCount = 0var songCount = 0for item in library {    if item is Movie {        ++movieCount    } else if item is Song {        ++songCount    }}print("Media library contains \(movieCount) movies and \(songCount) songs")// prints "Media library contains 2 movies and 3 songs"

樣本迭代了數組 library 中的所有項。每一次，for-in 迴圈設定 item 為數組中的下一個 MediaItem。

若當前 MediaItem 是一個 Movie 類型的執行個體，item is Movie 返回 true，相反返回 false。同樣的，item is Song 檢查item是否為 Song 類型的執行個體。在迴圈結束後，movieCount 和 songCount 的值就是被找到屬於各自的類型的執行個體數量。

向下轉型（Downcasting）

某類型的一個常量或變數可能在幕後實際上屬於一個子類。當確定是這種情況時，你可以嘗試向下轉到它的子類型，用類型轉換操作符(as? 或 as!)

因為向下轉型可能會失敗，類型轉型操作符帶有兩種不同形式。條件形式（conditional form） as? 返回一個你試圖向下轉成的類型的可選值（optional value）。強制形式 as! 把試圖向下轉型和強制解包（force-unwraps）結果作為一個混合動作。

當你不確定向下轉型可以成功時，用類型轉換的條件形式(as?)。條件形式的類型轉換總是返回一個可選值（optional value），並且若下轉是不可能的，可選值將是 nil。這使你能夠檢查向下轉型是否成功。

只有你可以確定向下轉型一定會成功時，才使用強制形式(as!)。當你試圖向下轉型為一個不正確的類型時，強制形式的類型轉換會觸發一個執行階段錯誤。

下面的例子，迭代了 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 {        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

樣本首先試圖將 item 下轉為 Movie。因為 item 是一個 MediaItem 類型的執行個體，它可能是一個 Movie；同樣，它也可能是一個 Song，或者僅僅是基類 MediaItem。因為不確定，as?形式在試圖下轉時將返回一個可選值。item as? Movie 的傳回值是 Movie? 或 “可選 Movie”類型。

當向下轉型為 Movie 應用在兩個 Song 執行個體時將會失敗。為了處理這種情況，上面的例子使用了可選綁定（optional binding）來檢查可選 Movie 真的包含一個值（這個是為了判斷下轉是否成功。）可選綁定是這樣寫的“if let movie = item as? Movie”，可以這樣解讀：

“嘗試將 item 轉為 Movie 類型。若成功，設定一個新的臨時常量 movie 來儲存返回的可選 Movie”

若向下轉型成功，然後 movie 的屬性將用於列印一個 Movie 執行個體的描述，包括它的導演的名字 director 。相近的原理被用來檢測 Song 執行個體，當 Song 被找到時則列印它的描述（包含 artist 的名字）。

注意：
轉換沒有真的改變執行個體或它的值。潛在的根本的執行個體保持不變；只是簡單地把它作為它被轉換成的類來使用。

Any和 AnyObject的類型轉換

Swift為不確定類型提供了兩種特殊類型別名：

• AnyObject可以代表任何class類型的執行個體。
• Any可以表示任何類型，包括方法類型（function types）。

注意：
只有當你明確的需要它的行為和功能時才使用Any和AnyObject。在你的代碼裡使用你期望的明確的類型總是更好的。

AnyObject類型

當在工作中使用 Cocoa APIs，我們一般會接收一個[AnyObject]類型的數組，或者說“一個任何物件類型的數組”。這是因為 Objective-C 沒有明確的類型化數組。但是，你常常可以從 API 提供的資訊中清晰地確定數組中對象的類型。

在這些情況下，你可以使用強制形式的類型轉換(as)來下轉在數組中的每一項到比 AnyObject 更明確的類型，不需要可選解析（optional unwrapping）。

下面的樣本定義了一個 [AnyObject] 類型的數組並填入三個Movie類型的執行個體：

let someObjects: [AnyObject] = [    Movie(name: "2001: A Space Odyssey", director: "Stanley Kubrick"),    Movie(name: "Moon", director: "Duncan Jones"),    Movie(name: "Alien", director: "Ridley Scott")]

因為知道這個數組只包含 Movie 執行個體，你可以直接用(as!)下轉並解包到不可選的Movie類型：

for object in someObjects {    let movie = object as! Movie    print("Movie: ‘\(movie.name)‘, dir. \(movie.director)")}// Movie: ‘2001: A Space Odyssey‘, dir. Stanley Kubrick// Movie: ‘Moon‘, dir. Duncan Jones// Movie: ‘Alien‘, dir. Ridley Scott

為了變為一個更短的形式，下轉someObjects數組為[Movie]類型來代替下轉數組中每一項的方式。

for movie in someObjects as! [Movie] {    print("Movie: ‘\(movie.name)‘, dir. \(movie.director)")}// Movie: ‘2001: A Space Odyssey‘, dir. Stanley Kubrick// Movie: ‘Moon‘, dir. Duncan Jones// Movie: ‘Alien‘, dir. Ridley Scott

Any類型

這裡有個樣本，使用 Any 類型來和混合的不同類型一起工作，包括方法類型和非 class 類型。它建立了一個可以儲存Any類型的數組 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 數組包含兩個 Int 值，2個 Double 值，1個 String 值，一個元組 (Double, Double) ，電影“Ghostbusters”，和一個擷取 String 值並返回另一個 String 值的閉包運算式。

你可以在 switch 運算式的cases中使用 is 和 as 操作符來發覺只知道是 Any 或 AnyObject 的常量或變數的類型。下面的樣本迭代 things 數組中的每一項的並用switch語句尋找每一項的類型。這幾種 switch 語句的情形綁定它們匹配的值到一個規定類型的常量，讓它們的值可以被列印：

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

 

詳情轉自:http://wiki.jikexueyuan.com/project/swift/chapter2/07_Closures.html

進擊的雨燕-----------類型轉換