Как передать связанный тип между двумя протоколами?

Question

мне нужно объявить два протокола, оба они имеют associatedtypes:

protocol MyView { 
    associatedtype DataType 
    associatedtype LayoutType : MyLayout 

    var data: DataType { get } 
    var layout: LayoutType { get } 

    func doLayout() 
} 

protocol MyLayout { 
    associatedtype DataType 

    func computeLayout(with data: DataType?) 
} 

С этим текущим определением протокола, то associatedtype DataType из MyView не совсем такой же, как тот, в MyLayout:

extension MyView { 
    func doLayout() { 
    layout.computeLayout(with: self.data) 
           ^^^^^^^^^ 
    Cannot convert value of type 'Self.DataType' to expected argument type '_?' 
    } 
} 

компилятор говорит нам, что тип не тот.

Есть ли способ поделиться связанным типом между двумя протоколами, чтобы исправить мою проблему? Благодарю.

Answer 1

Проблема заключается в том, что это возможно для реализации MyView, чтобы иметь LayoutType с другим DataType его собственному DataType. После SE-0142: Permit where clauses to constrain associated types реализован, вы будете просто быть в состоянии сказать:

associatedtype LayoutType : MyLayout where LayoutType.DataType == DataType 

для обеспечения выполнения, что соответствующие типы должны иметь LayoutType с соответствующим DataType.

Однако, до тех пор, пока это не произойдет, самое лучшее, что вы, вероятно, сможете сделать, это добавить ограничение к расширению - это приведет только к реализации по умолчанию doLayout(), если соответствует DataType.

extension MyView where LayoutType.DataType == DataType { 
    func doLayout() { 
     layout.computeLayout(with: data) 
    } 
}