Swift EXC_BAD_ACCESSプロトコル拡張で定義されているデフォルトの実装

Question

1（Xcode 9.2、Swift 4）から呼び出されると、次の놀え場コードが行2でクラッシュ（EXC_BAD_ACCESS）します。私の考えでは、これは完全に有効なコードです。

Observable拡張が削除され、addObserverメソッドが代わりに実装クラス（TestObservableImpl）で定義されていると、クラッシュが消えます。

プロトコルTestObservableListenerが削除され、代わりにTestObserverImplがプロトコルTestObservableのObserverでタイプ制約として使用されていると、クラッシュが消えます。

誰かが手がかりを持っているのはなぜですか、これはちょうどスウィフトバグですか？

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

あなたはこのようassociatedtype Observer後AnyObjectを削除しようとしています：

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

を私がテストし、それが仕事です。

Observer == TestObservableListenerはAnyObjectとProtocolの間で比較します。原因は間違いです。