一尘不染

为什么将结构强制转换为AnyObject而不是迅速的编译错误?

swift

下面的代码可以快速编译和运行。

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

为什么允许这种类型的铸造?似乎期望引用类型的函数违反了约定。

在重构一些代码以支持值类型时,我偶然发现了这一点,令我惊讶的是,即使我认为这样做对值类型也已经起作用。依靠这种行为是否安全?


阅读 234

收藏
2020-07-07

共1个答案

一尘不染

这是有助于传递给可可粉的功能。任何结构都可以包装成SwiftValue引用类型。如果您进行打印type(of: object),则会看到包装纸。

我认为没有任何“期望参考类型”的合同。更重要的是,尽管在Swift中存在“值类型”和“引用类型”,但真正重要的是值和引用 语义
,它们在语言中无法表达。您可以在引用类型中创建值语义,而在值类型中创建引用语义,因此Swift类型系统在这方面实际上没有任何帮助。

这里的重点是,仅当您通过请求明确请求时,才会得到这种异常行为as AnyObject。写下它的理由很少,如果是这样,则最好确切地知道自己在做什么。

2020-07-07