类型转换模式(Type-Casting Patterns)

有两种类型转换模式，is模式和as模式。这两种模式均只出现在switch语句中的case标签中。is模式和as模式有以下形式：

is type
pattern as type

is模式匹配一个值，如果这个值的类型在运行时(runtime)和is模式右边的指定类型(或者那个类型的子类)是一致的。is模式和is操作符一样，它们都进行类型转换，但是抛弃了返回的类型。

as模式匹配一个值，如果这个值的类型在运行时(runtime)和as模式右边的指定类型(或者那个类型的子类)是一致的。一旦匹配成功，匹配的值的类型被转换成as模式左边指定的模式。

关于使用switch语句来匹配is模式和as模式值的例子，请参阅Type Casting for Any and AnyObject。

类型转换模式语法
type-casting-pattern → is模式 | as模式
is模式 → is 类型
as模式 → 模式 as 类型