chế Generic lồng nhau: Constrain T của một mục chung trong một phần mở rộng chuỗi chung đó là hạn chế để loại generic

Question

Trong Swift chúng ta có thể viết phần mở rộng vào các mặt hàng chung chung như trình tự:

extension Sequence where Iterator.Element : ObservableType { 

} 

Điều này sẽ đảm bảo phần mở rộng chỉ áp dụng cho các chuỗi (trong trường hợp này) các quan sát RxSwift.

Tuy nhiên, nếu ràng buộc phần tử là một chung chung khác thì bạn có thể hạn chế chung chung không? ví dụ .:

extension Sequence where Iterator.Element : ObservableType where E : MyType { 

} 

Trong mã giả trên (không hoạt động) mục đích là để nói:

Phần mở rộng này nên áp dụng đối với các chuỗi Quan sát nơi Quan sát là một quan sát được của loại MyType ví dụ [Quan sát]

Answer 1

Bạn có thể hạn chế Iterator.Element với các loại phù hợp với ObservableType và sau đó thêm khó khăn khác cho các loại hình liên quan đến E của Iterator.Element:

protocol ObservableType { 
    associatedtype E 
    // ... 
} 

class MyType { } 

extension Sequence where Iterator.Element: ObservableType, Iterator.Element.E: MyType { 

}