Swift类型推理在这里是否自相矛盾？

Question

这是我的测试代码：

var myDict: [String: AnyObject] = ["k":"v"]

var a = myDict["k"]
var b = a as String

var c = myDict["k"] as String

这是我在Xcode6-beta6中的Swift游乐场：

根据类型推断的规则，不抱怨c逻辑上矛盾不抱怨b ？

Answer 1

我相信这是一个错误。 这里发生的一部分是String不是一个对象。 如果您将第一行更改为：

var myDict: [String: Any] = ["k":"v"]

一切都很好。 因此，如果字符串不是对象，则转换AnyObject?类型的变量AnyObject? 一个String肯定会产生错误。 并且，既然编译器已经确定a是AnyObject?类型的AnyObject? 应该抱怨铸造a到一个String 。

请注意，如果您将最后一行更改为：

var c = myDict["k"] as NSString

错误消失了支持问题是String不是一个对象的概念。 如果你把一个你得到同样的抱怨Int为数组中的价值，并尝试将其强制转换到一个Int 。

更新 ：

情节变浓了。 如果您不import Foundation或导入导入Foundation的内容，则会出现其他错误。 没有基金会：

很明显，其中一些与String作为非对象和NSString作为对象的双重性质有关，并且在导入Foundation时能够将String作为NSString使用。

Answer 2

这与Dictionary有两个下标重载这一事实有关：

subscript (key: Key) -> Value?
subscript (i: DictionaryIndex<Key, Value>) -> (Key, Value) { get }

第一个是熟悉的，你传递一个键，它给你一个可选的值; 您可以使用设置键的值。

第二个不太常见。 我相信DictionaryIndex是DictionaryIndex中的一种迭代器，你可以使用它作为下标来直接获取该迭代器中的键值对。

当编译器找不到匹配的重载时（在这种情况下，第一个不匹配，因为它返回一个可选的，不能转换为非可选的String ）， 它只是任意选择一个 （好吧，似乎无论如何对我来说是任意的）以显示错误。 在这个地方，它会选择你不认识的第二个。 这就是为什么错误对你来说似乎很奇怪。

Answer 3

这有效。

var c = myDict["k"] as AnyObject! as String   // "v"

要回答你的问题，Swift抱怨的原因可能是你试图一次性完成这两次转换。 请记住，语句var a = myDict["k"]包含隐式转换。 隐含的转换是AnyObject? ，所以上面也会这样工作：

var c = myDict["k"] as AnyObject? as String   // "v"

请注意，如果未定义的键"k" ，上述操作将导致运行时错误。 您可以通过强制转换为String?来返回nil String? 。