为什么在Anyift中将结构转换为AnyObject而不是编译错误？

Question

下面的代码编译并在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

为什么允许这种类型的铸造？它似乎打破了期望引用类型的函数的合约.

我在重构一些代码以支持值类型时偶然发现了这一点,令我惊讶的是它已经为值类型工作了,即使我认为它不会.依赖这种行为是否安全？

Answer 1

这是一个便于传递给Cocoa的功能.任何结构都可以包装到SwiftValue引用类型中.如果你打印type(of: object)你会看到包装.

我不认为有任何"期望参考类型"的合同.更重要的是,虽然Swift中存在"值类型"和"引用类型",但真正重要的是值和引用语义,这些语言在语言中是不可表达的.您可以在引用类型中创建值语义并在值类型中引用语义,因此Swift类型系统在这方面确实没有任何帮助.

这里重要的一点是,如果你通过要求明确要求,你只会得到这种不寻常的行为as AnyObject.没有理由写这个,如果你是,你最好知道你在做什么.