swift - `catMaybe as? Animal` 和 `catMaybe as Animal?` 之间的区别

Question

假设我有这些:

class Animal {
}

class Cat: Animal {
    var meow = "meow"
}

现在我有一个变量:

var catMaybe: Cat? = /* ... */

稍后我会这样做:

var obj1 = catMaybe as Animal? // ①

它编译得很好，但我也可以编写其他代码:

var obj2 = catMaybe as? Animal // ②

只有这一次我收到警告。这让我感到困惑，因为我认为两者都在做同样的事情。

warning: cast from 'Cat?' to unrelated type 'Animal' always fails
         var obj4 = catMaybe as? Animal
                    ~~~~~~~~ ^   ~~~~~~

①和②的真正区别是什么？

编辑1

我对后台真正发生的事情很感兴趣。我会去阅读汇编代码以找出为什么 ② 总是失败但不幸的是我不是很擅长:(

在 ② 中，由于 Animal 不是可选的，我认为编译器会知道 catMaybe 必须首先展开，如果操作成功，则尝试将其转换为 动物。在任何错误情况下，它都会返回 nil(因为我使用的是 as?) 为什么编译器不应用此逻辑？是什么阻止了他？

编辑2

我正在使用 swift 1.2

Answer 1

作为？你投了一个可选的，假设你做了一个 if letif let object = catMaby as？动物{
/用对象做一些代码
}
您不确定 catMaby 是否有 value.as？是为了如果让

解释

可选形式，as?，返回一个你试图向下转型的类型的可选值。强制形式，as，尝试向下转换并强制展开结果作为单个复合 Action 。因此，如果您不确定 catMaby 是 Animal，请输入 as?。在代码中检查 catMaby 是否为 Animal 并检查 catMaby 是否是可选的

所以呢？用于可选值，如!是一样的，但如果你试图解包它会出错