swift - 为什么将结构转换为 AnyObject 不是 swift 中的编译错误？

Question

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

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

为什么允许这种类型的转换？它似乎违反了期望引用类型的函数的约定。

我在重构一些代码以支持值类型时偶然发现了这一点，令我惊讶的是它已经适用于值类型，尽管我认为它不会。依赖这种行为是否安全？

Answer 1

这是一个便于传递给 Cocoa 的特性。任何结构都可以包装到 SwiftValue 引用类型中。如果您打印 type(of: object)，您将看到包装器。

我不认为“期望引用类型”有任何约定。更重要的是，虽然 Swift 中存在“值类型”和“引用类型”，但真正重要的是值和引用语义，它们无法用语言表达。您可以在引用类型中创建值语义，在值类型中创建引用语义，因此 Swift 类型系统在这方面确实没有任何帮助。

这里的要点是，如果您通过请求 as AnyObject 明确请求它，您只会得到这种不寻常的行为。几乎没有理由写那个，如果你是，你最好清楚地知道你在做什么。