在闭包中使用数组时Swift EXC_BAD_ACCESS

Question

考虑以下玩具示例Swift代码:

protocol Testable{}
class MyObj : Testable{}

class Test {

    var arr:[Testable] = []
    var didRun:Bool = false

    func run() -> [Testable]{
        if(didRun){
            println("arr has \(arr.count) elements")
            for e in arr{  // following access causes EXC_BAD_ACCESS
                println(e)
            }

            return arr
        } else{
            provider({ (myArr : [AnyObject]) -> () in
                self.arr = myArr as [MyObj]
                self.didRun = true
                })
            return []
        }
    }

    func provider( cb : ([AnyObject] -> ()) ){
        let a:[MyObj] = [MyObj(),MyObj(),MyObj()]
        cb(a)
    }
}

并按以下方式调用它:

 let t = Test()
 t.run()
 t.run()

这会在尝试迭代返回的数组时编译但在运行时崩溃.该arr.count也是垃圾,返回一个随机数大,如232521760与arr自身指向某个遥远的地方周围0xfffffff9,寓意明确它的垃圾.

我的问题是为什么会这样？编译器不会抱怨类型错误.为什么我无法使用该myArr数组,编译器myArr在离开闭包后是否进行了解除分配？

我可以通过将provider呼叫更改为:

provider({ (myArr : [AnyObject]) -> () in
    for e in myArr{
      self.arr.append(e as MyObj)
    }
    self.didRun = true
 })

但我更感兴趣的是为什么我的第一个代码不起作用.

如果有人可以向我解释Swift中的闭包语义以及为什么上面会产生这样的错误,我将不胜感激.

Answer 1

编辑：@SevenTenEleven（Apple 员工）在与此问题相关的 ADF 线程中指出：

看起来某些协变数组分配存在问题；请提交一个错误，以便我们可以在编译时正确禁止它们或在运行时正确实现它们。

让我们这样做吧，我做到了。

经过一些实验和研究，我得出以下结论：

• 这与闭包和外部范围无关
• [AnyObject]仅当您向下转换时才会发生错误[MyObj]
• 仅当“外部”变量声明为协议类型数组时才会发生错误

由于它似乎provider总是会返回Testable，因此我能够通过更改provider函数声明并将a变量显式标记为数组来使您的代码正常工作Testable：

func provider(cb: [Testable] -> ()) {
    let a : [Testable] = [MyObj(), MyObj(), MyObj()]
    cb(a)
}

那么就不用downcast了，所以就不会报错了。这是整个代码：

protocol Testable {}
class MyObj : Testable {}

class Test {
    var arr : [Testable] = []
    var didRun = false
    func run() -> [Testable] {
        if didRun {
            println("arr has \(arr.count) elements")
            for e in arr {
                println(e)
            }
            return arr
        } else {
            provider() { (myArr : [Testable]) in
                self.arr = myArr
                self.didRun = true
            }
            return []
        }
    }
    func provider(cb: [Testable] -> ()) {
        let a : [Testable] = [MyObj(), MyObj(), MyObj()]
        cb(a)
    }
}

let t = Test()
t.run()
t.run()

前面的代码输出：

func provider(cb: [Testable] -> ()) {
    let a : [Testable] = [MyObj(), MyObj(), MyObj()]
    cb(a)
}