需要澄清 Swift 中的类型转换运算符

Question

为什么在这个 switch 语句中使用类型转换运算符 (as) 而不是条件形式 (as?)？

我认为类型运算符只能是 (as?) 或 (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

Swift 博客：

在 Swift 中，这些运算符的模式可能最容易记住：!暗示“这可能会陷入陷阱”，而 ?表示“这可能为零。”

当向上转换完成时，还有第三种保证转换的可能性。例如2 as Any 与as! 或as? 一起使用时会收到警告

在 switch 构造的情况下，case let value as Type: 永远不会失败，也不存在这种可能性，与表达式 value as? Type 相比，该值将是可选类型

Answer 2

case 0 as Int: 或 case let someInt as Int: 中的 as 是其一部分 类型转换模式。在Swift Language Reference switch 语句的 case 标签中 被定义为

case-label → case case-item-list:
case-item-list → 模式保护子句_opt | 模式保护子句_opt , case-item-list

模式可以在哪里（在其他情况下）

模式 → 值绑定模式
模式 → 类型转换模式
模式 → 表达式模式

类型转换模式是

type-casting-pattern → is-pattern | as-pattern
is-pattern → is 类型
as-pattern → 模式 as 类型

所以你有例如

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

Answer 3

如果您阅读底部的note，您可能已经找到了答案：

switch 语句的情况使用强制版本的类型转换运算符（as，而不是 as?）来检查并转换为特定类型。在 switch case 语句的上下文中，此检查始终是安全的。

（强调我的）

Here 是 Apple 的一篇博文，详细阐述了 as?、as 和 as! 之间的区别。