Нужно прояснить оператор Type Casting в Swift

Question

Почему в этом операторе switch используется оператор типа cast (as) вместо его условной формы (как?)?

Я думал, что оператор типа может быть только (как?) Или (как!) ...? Документация Apple Swift не дает адекватного объяснения этому.

Вот пример в Swift документации:

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

for thing in things { 
     switch thing { 
     case 0 as Int: 
      println("zero as an Int") 
     case 0 as Double: 
      println("zero as a Double") 
     case let someInt as Int: 
      println("an integer value of \(someInt)") 
     case let someDouble as Double where someDouble > 0: 
      println("a positive double value of \(someDouble)") 
     case is Double: 
      println("some other double value that I don't want to print") 
     case let someString as String: 
      println("a string value of \"\(someString)\"") 
     case let (x, y) as (Double, Double): 
      println("an (x, y) point at \(x), \(y)") 
     case let movie as Movie: 
      println("a movie called '\(movie.name)', dir. \(movie.director)") 
     case let stringConverter as String -> String: 
      println(stringConverter("Michael")) 
     default: 
      println("something else") 
     } 
    } 

Вот ссылка на Apple Swift documentation on Type Casting

Answer 1

Вы могли бы найти ответ самостоятельно, если вы читали note на дне:

Случаи оператора выключателя используют принудительную версию оператора литого типа (как, а не как?) для проверки и перевода в определенный тип. Эта проверка всегда безопасна в контексте оператора case switch.

(курсив мой)

Here является блог Apple, который конкретизирует разница между as?, as и as!.

Answer 2

as в case 0 as Int: или case let someInt as Int: является частью типа литья шаблон.В Swift Language Reference случае метка переключателя заявление определяется как

случае этикетки → случай случай-пункт-лист:
регистр пункт-лист → шаблон охранник-раздел _{неавтоматического} | шаблон охранник придаточного _{неавтоматического}, кейс-пункт-лист

, где рисунок может быть (среди других случаев)

модели → Значение-связывающим-паттерн
модели → тип-литейно-паттерн
узор → экспрессии-узор

и типовой литой образец

type-casting-pattern → is-pattern | а-модель
это-модель → является типа
, как-шаблон → шаблон в типа

Так у вас есть, например

case let someInt as Int: 
╰──────────────────────╯ case-label 
    ╰────────────────╯ case-item-list -> type-casting pattern 
        ╰─╯ type 
       ╰╯  `as` keyword 
    ╰─────────╯   value-binding pattern 

Answer 3

Swift-Блог:

Проще всего вспомнить шаблон для этих операторов в Swift как:! подразумевает, что «это может ловушка», а? указывает, что «это может быть ноль».

И есть третья возможность гарантированного преобразования, когда происходит сверкание. Для примера 2 as Any получает предупреждение при использовании as! или as?

В случае конструкции переключателя, то case let value as Type: никогда не сможет ни есть возможность, то значение будет дополнительный тип в отличие от выражения value as? Type