protocol P : class { var value:Int {get} } class X : P { var value = 0 init(_ value:Int) { self.value = value } } var ps:[P] = [X(1), X(2)] for p in ps { if let x = p as? X { // works for a single variable ... } } if let xs = ps as? [X] { // doesn't work for an array (EXC_BAD_ACCESS) ... }
如果P是类而不是协议,则代码可以正常工作。类和协议之间有什么区别?它们都被实现为堆中的指针,不是吗?上面的代码可以成功编译,但是在运行时崩溃。这个EXC_BAD_ACCESS错误是什么意思?
感谢@Antonio,但我仍然不了解此示例代码的工作方式。
let someObjects: [AnyObject] = [ Movie(name: "2001: A Space Odyssey", director: "Stanley Kubrick"), Movie(name: "Moon", director: "Duncan Jones"), Movie(name: "Alien", director: "Ridley Scott") ] for movie in someObjects as [Movie] { println("Movie: '\(movie.name)', dir. \(movie.director)") }
AnyObject是特例吗?
参考:https : //developer.apple.com/library/content/documentation/Swift/Conceptual/Swift_Programming_Language/TypeCasting.html#//apple_ref/doc/uid/TP40014097-CH22-XID_498
protocol P { } @objc class X : P { } @objc class Y : X { } var xs:[X] = [Y(), Y()] var ps:[P] = [Y(), Y()] xs as? [Y] // works ps as? [Y] // EXC_BAD_ACCESS
我在操场上尝试了此代码。由于这是纯快速代码,因此我认为它与@objc无关。
暂时忽略可选绑定并使用直接分配:
let x = ps as [X]
报告以下运行时错误:
fatal error: array element cannot be bridged to Objective-C
这意味着从协议数组到采用者数组的向下转换需要obj-c绑定。可以通过将协议声明为objc兼容来轻松解决此问题:
@objc protocol P : class { var value:Int {get} }
通过简单的更改,代码现在可以正常工作,并且不会引发运行时异常。
现在该 如何 解决,但 为何要 解决这个问题。我还没有答案,但是我会尝试更深入地探讨。
附录:弄清楚“为什么”
我花了一些时间研究这个问题,以下是我所附带的内容。
我们有一个协议和一个采用它的类:
protocol P {} class X : P {}
我们创建一个P数组:
var array = [P]()
将空数组转换为[X]有效:
[X]
array as [X] // 0 elements
如果将元素添加到数组,则会发生运行时错误:
array.append(X()) array as [X] // Execution was interrupted, reason: ...
控制台输出显示:
因此,将协议对象数组强制转换为其采用者数组需要桥接。这证明了@objc解决此问题的理由:
@objc protocol P {} class X : P {} var array = [P]() array.append(X()) array as [X] // [X]
筛选文档,我发现了发生这种情况的原因。
为了执行转换,运行时必须检查是否X符合P协议。该文档明确指出:
X
P
仅当您的协议标记有@objc属性时,才能检查协议一致性
为了验证(不是我不信任该文档),我在操场上使用了以下代码:
protocol P {} class X : P {} let x = X() let y = x is P
但我得到了另一个错误,指出:
Playground execution failed: <EXPR>:18:11: error: 'is' test is always true let y = x is P
相反,在“常规”项目中编写该代码,我们可以得到预期的结果:
protocol P {} class X {} func test() { let x = X() let y = x is P } Cannot downcast from 'X' to non-@objc protocol type 'P'
结论:为了将协议类型的数组下转换为具体类型的数组,必须使用该@objc属性标记该协议。原因是运行时使用is操作员来检查协议一致性,因此相应于文档的内容仅适用于桥接协议。
@objc
is