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

这是我的测试代码：

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？

解决方法

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

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

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

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

var c = myDict["k"] as Nsstring

错误消失了支持问题是String不是一个对象的概念.如果将Int作为数组中的值并尝试将其强制转换为Int,则会得到相同的抱怨.

更新：

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

很明显,其中一些与Strings作为非对象和Nsstrings作为对象的双重性质以及在导入Foundation时使用Strings作为Nsstrings的能力有关.