類型轉換模式(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 類型