類(lèi)型轉(zhuǎn)換 可以判斷實(shí)例的類(lèi)型,也可以將實(shí)例看做是其父類(lèi)或者子類(lèi)的實(shí)例。
類(lèi)型轉(zhuǎn)換在 Swift 中使用 is 和 as 操作符實(shí)現(xiàn)。這兩個(gè)操作符提供了一種簡(jiǎn)單達(dá)意的方式去檢查值的類(lèi)型或者轉(zhuǎn)換它的類(lèi)型。
定義一個(gè)類(lèi)層次作為例子
你可以將類(lèi)型轉(zhuǎn)換用在類(lèi)和子類(lèi)的層次結(jié)構(gòu)上,檢查特定類(lèi)實(shí)例的類(lèi)型并且轉(zhuǎn)換這個(gè)類(lèi)實(shí)例的類(lèi)型成為這個(gè)層次結(jié)構(gòu)中的其他類(lèi)型。
class MediaItem {
var name: String
init(name: String) {
self.name = name
}
}
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)
}
}
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")
]
// 數(shù)組 library 的類(lèi)型被推斷為 [MediaItem]
檢查類(lèi)型(Checking Type)
用類(lèi)型檢查操作符(is)來(lái)檢查一個(gè)實(shí)例是否屬于特定子類(lèi)型。若實(shí)例屬于那個(gè)子類(lèi)型,類(lèi)型檢查操作符返回 true,否則返回 false。
var movieCount = 0
var songCount = 0
for item in library {
if item is Movie {
++movieCount
} else if item is Song {
++songCount
}
}
print("Media library contains \(movieCount) movies and \(songCount) songs")
// 打印 “Media library contains 2 movies and 3 songs”
向下轉(zhuǎn)型(Downcasting)
某類(lèi)型的一個(gè)常量或變量可能在幕后實(shí)際上屬于一個(gè)子類(lèi)。當(dāng)確定是這種情況時(shí),你可以嘗試向下轉(zhuǎn)到它的子類(lèi)型,用類(lèi)型轉(zhuǎn)換操作符(as? 或 as!)。
因?yàn)橄蛳罗D(zhuǎn)型可能會(huì)失敗,類(lèi)型轉(zhuǎn)型操作符帶有兩種不同形式。條件形式(conditional form)as? 返回一個(gè)你試圖向下轉(zhuǎn)成的類(lèi)型的可選值(optional value)。強(qiáng)制形式 as! 把試圖向下轉(zhuǎn)型和強(qiáng)制解包(force-unwraps)轉(zhuǎn)換結(jié)果結(jié)合為一個(gè)操作。
當(dāng)你不確定向下轉(zhuǎn)型可以成功時(shí),用類(lèi)型轉(zhuǎn)換的條件形式(as?)。條件形式的類(lèi)型轉(zhuǎn)換總是返回一個(gè)可選值(optional value),并且若下轉(zhuǎn)是不可能的,可選值將是 nil。這使你能夠檢查向下轉(zhuǎn)型是否成功。
只有你可以確定向下轉(zhuǎn)型一定會(huì)成功時(shí),才使用強(qiáng)制形式(as!)。當(dāng)你試圖向下轉(zhuǎn)型為一個(gè)不正確的類(lèi)型時(shí),強(qiáng)制形式的類(lèi)型轉(zhuǎn)換會(huì)觸發(fā)一個(gè)運(yùn)行時(shí)錯(cuò)誤。
ps: 轉(zhuǎn)換沒(méi)有真的改變實(shí)例或它的值。根本的實(shí)例保持不變;只是簡(jiǎn)單地把它作為它被轉(zhuǎn)換成的類(lèi)型來(lái)使用。
Any 和 AnyObject 的類(lèi)型轉(zhuǎn)換
Swift 為不確定類(lèi)型提供了兩種特殊的類(lèi)型別名:
-
AnyObject可以表示任何類(lèi)類(lèi)型的實(shí)例。 -
Any可以表示任何類(lèi)型,包括函數(shù)類(lèi)型。
ps: 只有當(dāng)你確實(shí)需要它們的行為和功能時(shí)才使用
Any和AnyObject。在你的代碼里使用你期望的明確類(lèi)型總是更好的。
要點(diǎn)總結(jié)
Any是表示任何類(lèi)型。當(dāng)然也包括類(lèi)類(lèi)型。也就是說(shuō)AnyObject是Any的子集嘍。