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

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

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

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

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

1 个答案: