スウィフト推論のタイプはここでどうしてですか？

Question

私はassociatedtypeと、このコードがあります。

protocol ATState { 
    associatedtype Event 
    func nextState(event:Event) -> Self? 

} 

enum ATPlayerState:ATState { 


    case weak, powerful, poweringUp, poweringDown 

    func nextState(event: String) -> ATPlayerState? { 
     return nil 
    } 

} 

をしかし、コンパイル時にエラーがあります：「ATPlayerStateがプロトコルに準拠していないがATState」。私が追加した場合、typealias Event = <Type>、を追加する修正があります：typealias Event = String、それはエラーを修正します。しかし、私は理解していないなぜ私はこれを行う必要があります！

私はthe documentationを読んだとき、私がいることがわかり：スウィフトの型推論のおかげで、あなたが実際にIntStackの定義の一部としてのIntの 具体的なitemTypeに宣言する必要はありません

。

また、例ではエイリアスは使用されず、メソッドを実装するだけです。

ここで関連タイプを推論するべきではありませんか？

ありがとうございました！

Answer 1

イベントをタイプアリアスとして追加すると、コンパイラはエラーを表示しませんか？このコードブロックはうまく動作します。

enum ATPlayerState:ATState { 

    case weak, powerful, poweringUp, poweringDown 

    typealias Event = String 

    internal func nextState(event: String) -> ATPlayerState? { 
     return .powerful 
    } 

}