下面的代码可以快速编译和运行。
struct TestStruct { let value: String = "asdf" } func iWantAReferenceType(object: AnyObject) { print(String(describing: object)) } let o: TestStruct = TestStruct() iWantAReferenceType(object: o as AnyObject)
我希望这是一个编译错误,因为结构永远不能符合AnyObject。如以下通过无法编译的代码所示。
protocol Test: AnyObject { } //Compile error: because a struct cannot be AnyObject struct TestStruct: Test { let value: String = "asdf" }
我知道某些类型(例如String)可能会发生桥接。这将转换引用类型的值类型。
print(Mirror(reflecting: "asdf").subjectType) //print: String print(Mirror(reflecting: "asdf" as AnyObject).subjectType) //print: NSTaggedPointerString
在写这个问题时,我想知道投射对象的类型是什么,似乎它也以某种方式被桥接。
print(Mirror(reflecting: o).subjectType) //prints: TestStruct print(Mirror(reflecting: o as AnyObject).subjectType) //prints: _SwiftValue
为什么允许这种类型的铸造?似乎期望引用类型的函数违反了约定。
在重构一些代码以支持值类型时,我偶然发现了这一点,令我惊讶的是,即使我认为这样做对值类型也已经起作用。依靠这种行为是否安全?
这是有助于传递给可可粉的功能。任何结构都可以包装成SwiftValue引用类型。如果您进行打印type(of: object),则会看到包装纸。
SwiftValue
type(of: object)
我认为没有任何“期望参考类型”的合同。更重要的是,尽管在Swift中存在“值类型”和“引用类型”,但真正重要的是值和引用 语义 ,它们在语言中无法表达。您可以在引用类型中创建值语义,而在值类型中创建引用语义,因此Swift类型系统在这方面实际上没有任何帮助。
这里的重点是,仅当您通过请求明确请求时,才会得到这种异常行为as AnyObject。写下它的理由很少,如果是这样,则最好确切地知道自己在做什么。
as AnyObject