Swift Type Casting

Analyzing type conversion type instances can also be seen as examples of an instance of the parent class or subclass.
And using as type conversion operator is implemented in the Swift. These two operators Tech provides a simple way to check the type of value, or change its type. You can also use it to check whether a type implements a protocol

Define a class hierarchy Examples

You can type in the conversion hierarchy of classes and subclasses, instance of a particular class type checking and conversion of this type of class instance for other types of this hierarchy. The following three code segment defines a class hierarchy and a array containing instances of these classes, by way of example of the type of conversion.
The first code segment defines a new base class MediaItem. This class appear in any digital media library of media items provide basic functionality. In particular, it declares a property of type String name, and a init (name :) initializer. (Assuming that all of the media item has a name.)

1 2 3 4 5 6

class { var name: String init(name: String) { self.name = name } }

The next code segment defines two subclasses of MediaItem. The first subclass Movie encapsulates additional information related to the movie, the addition of a Director (director) properties, and on the basis of the corresponding parent class is initialized (or base class) on. The second subclass Song, on the basis of the parent class adds a Artist (artists) properties, and the corresponding initializer:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

class Movie: { was director: String init(name: String, director: String) { self.director = director super. init(name: name) } } class Song: { was artist: String init(name: String, artist: String) { self.artist = artist super . init (name: name) } }

最后一个代码段创建了一个数组常量 library，包含两个 Movie 实例和三个 Song 实例。library 的类型是在它被初始化时根据它数组中所包含的内容推断来的。Swift 的类型检测器能够推断出 Movie 和 Song 有共同的父类 MediaItem，所以它推断出 [MediaItem] 类作为 library 的类型：

1 2 3 4 5 6 7 8

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") ]

在幕后 library 里存储的媒体项依然是 Movie 和 Song 类型的。但是，若你迭代它，依次取出的实例会是 MediaItem 类型的，而不是 Movie 和 Song 类型。为了让它们作为原本的类型工作，你需要检查它们的类型或者向下转换它们到其它类型，就像下面描述的一样。

检查类型

用类型检查操作符（ is ）来检查一个实例是否属于特定子类型。若实例属于那个子类型，类型检查操作符返回 true ，否则返回 false 。

下面的例子定义了两个变量，movieCount 和 songCount，用来计算数组 library 中 Movie 和 Song 类型的实例数量：

1 2 3 4 5 6 7 8 9 10 11 12 13

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

若当前 MediaItem 是一个 Movie 类型的实例，item is Movie 返回 true，否则返回 false。同样的，item is Song 检查 item 是否为 Song 类型的实例。在循环结束后，movieCount 和 songCount 的值就是被找到的属于各自类型的实例的数量。

向下转型

某类型的一个常量或变量可能在幕后实际上属于一个子类。当确定是这种情况时，你可以尝试向下转到它的子类型，用类型转换操作符（as? 或 as!）。
因为向下转型可能会失败，类型转型操作符带有两种不同形式。条件形式as? 返回一个你试图向下转成的类型的可选值。强制形式 as! 把试图向下转型和强制解包转换结果结合为一个操作。

当你不确定向下转型可以成功时，用类型转换的条件形式（as?）。条件形式的类型转换总是返回一个可选值，并且若下转是不可能的，可选值将是 nil。这使你能够检查向下转型是否成功。
只有你可以确定向下转型一定会成功时，才使用强制形式（as!）。当你试图向下转型为一个不正确的类型时，强制形式的类型转换会触发一个运行时错误。

下面的例子，迭代了 library 里的每一个 MediaItem，并打印出适当的描述。要这样做，item 需要真正作为 Movie 或 Song 的类型来使用，而不仅仅是作为 MediaItem。为了能够在描述中使用 Movie 或 Song 的 director 或 artist 属性，这是必要的。
在这个示例中，数组中的每一个 item 可能是 Movie 或 Song。事前你不知道每个 item 的真实类型，所以这里使用条件形式的类型转换（as?）去检查循环里的每次下转：

1 2 3 4 5 6 7 8 9 10 11 12 13

for item in library { if let movie = item as? Movie { print( "Movie: (movie.name), dir. (movie.director)") } else if let song = item as? Song { 大专栏  Swift Type Castings="built_in">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 为不确定类型提供了两种特殊的类型别名：

• 可以表示任何类型，包括函数类型。
• 可以表示任何类类型的实例。

只有当你确实需要它们的行为和功能时才使用 Any 和 AnyObject。代码中最好使用明确的类型。

这里有个示例，使用 Any 类型来和混合的不同类型一起工作，包括函数类型和非类类型。它创建了一个可以存储 Any 类型的数组 things：

1 2 3 4 5 6 7 8 9 10

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 值，两个 Double 值，一个 String 值，一个元组 (Double, Double)，一个Movie实例“Ghostbusters”，以及一个接受 String 值并返回另一个 String 值的闭包表达式。
你可以在 switch 表达式的 case 中使用 is 和 as 操作符来找出只知道是 Any 或 AnyObject 类型的常量或变量的具体类型。下面的示例迭代 things 数组中的每一项，并用 switch 语句查找每一项的类型。有几个 switch 语句的 case 绑定它们匹配到的值到一个指定类型的常量，从而可以打印这些值：

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33

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

Any类型可以表示所有类型的值，包括可选类型。Swift 会在你用Any类型来表示一个可选值的时候，给你一个警告。如果你确实想使用Any类型来承载可选值，你可以使用as操作符显示转换为Any，如下所示：

1 2 3

let optionalNumber: Int? = 3 things.append(optionalNumber) // Warning things.append(optionalNumber as Any) // No warning

参照文档

• Type Casting

>
>

Copyright (c) liangtong. All rights reserved.