Swift EXC_BAD_ACCESS，在协议扩展中定义了默认实现

Question

从1（Xcode 9.2，Swift 4）调用时，以下操场代码会导致第2行崩溃（EXC_BAD_ACCESS）。在我看来，这是完全有效的代码。

删除Observable扩展并且在实现类中定义addObserver方法（TestObservableImpl）时崩溃消失。

如果删除了协议TestObservableListener，则崩溃也会消失，而TestObserverImpl将用作协议TestObservable中Observer的类型约束。

有没有人知道为什么，或者这只是一个Swift bug？

public protocol Observable: class {
    associatedtype Observer: AnyObject
    var observers: [Observer] { get set }
    func addObserver(_ observer: Observer) -> Void
}

public extension Observable {
    public func addObserver(_ observer: Observer) -> Void {
        observers.append(observer)
    }
}

protocol TestObservableListener: class {
    func bla()
}

protocol TestObservable: Observable where Observer == TestObservableListener {
}

class TestObservableImpl: TestObservable {
    typealias Observer = TestObservableListener
    public var observers = [Observer]()
    func broadcast() {
        for observer in observers {
            //2
            observer.bla()
        }
    }
}

class TestObserverImpl: TestObservableListener {
    func bla() {
        print("bla")
    }
}

let observable = TestObservableImpl()
let observer = TestObserverImpl()
observable.addObserver(observer)
//1
observable.broadcast()

Answer 1

您是否尝试过像AnyObject之后删除associatedtype Observer：

public protocol Observable: class {
  associatedtype Observer
  var observers: [Observer] { get set }
  func addObserver(_ observer: Observer) -> Void
}

我测试了它的工作。

我认为你的条件Observer == TestObservableListener将比较AnyObject和Protocol导致该错误。