我不是
Swift的新手,也不是Objective-C的新手,但是今天使用Error子类型时我看到了一些奇怪的行为,这让我深入挖掘.
使用NSString子类时(是的,下面的示例对不基于NSObject的类的函数类似)：
import Foundation
// Class version
class OddString : NSString {
override var description: String {
return "No way,José"
}
}
let odd = OddString()
func printIt(_ string: NSString) {
print(string.description)
}
print(odd.description)
printIt(odd)
我看到了我期望看到的东西：
No way,José No way,José
但是,当我写(我认为是)使用struct(Error)的等效代码时：
import Foundation
// Struct version
struct TestError : Error {
var localizedDescription: String {
return "I am a TestError"
}
}
let explosive = TestError()
func printIt(_ error : Error) {
print(error.localizedDescription)
}
print(explosive.localizedDescription)
printIt(explosive)
我懂了：
I am a TestError The operation couldn’t be completed. (SanityChecks.TestError error 1.)
这对我来说真的很困惑.是否在编译时决定在传递给printIt的结构上调用哪个方法,而不管它实际是什么类型？
此外：Swift编程指南中记录的类和结构之间的运行时行为有何不同,有人可以参考该部分吗？我还没有找到任何东西.
在第一个示例中,您将覆盖description属性.因此,将此实现添加到OddString的vtable(因为它是一个类),并且可以动态调度到恰好,无论实例静态类型是什么.
在你的第二个例子中,你没有一个类 – 所以没有vtable.但是,您符合协议.协议允许通过协议见证表进行动态调度(参见this great WWDC talk),但这仅适用于协议要求的实现.
localizedDescription不是Error协议的协议要求,它只是在导入Foundation时在Error的协议扩展中定义(这在SE-0112中有记录).因此无法动态调度.相反,它将被静态调度 – 因此调用的实现依赖于实例的静态类型.
这就是你在这里看到的行为 – 当你的爆炸性实例被输入为TestError时,你会调用localizedDescription的实现.当键入为Error时,将调用Error扩展中的实现(它只是桥接到NSError并获取其localizedDescription).
如果要提供本地化描述,则应将错误类型符合LocalizedError,将errorDescription定义为协议要求 – 从而允许动态调度.有关如何解决此问题的示例,请参阅this Q&A.
