İçiçe Jenerik Sınırlamalar:</p> <pre><code>extension Sequence where Iterator.Element : ObservableType { } </code></pre> <p>Bu güvence altına alacak: biz böyle dizi olarak jenerik öğeler üzerinde uzantıları yazabilirsiniz Swift ise

Question

o jenerik türüne kısıtlı bir jenerik sekans uzantısı içinde bir jenerik ürünün T kısıtlayın Eklenti sadece (bu durumda) RxSwift gözlenebilir dizileri için geçerlidir.

Bununla birlikte, öğe kısıtlaması başka bir genel ise, o zaman bu jeneriği kısıtlayabilir misiniz? ör .: Yukarıdaki sahte kodda

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

} 

(bu çalışmıyor) niyet ki: gözlemlenebilir MyType örneğin tipte bir gözlemlenebilir olduğu Bu uzantı gözlemlenebilir dizileri için de geçerli olmalıdır

[Gözlemlenebilir]

Answer 1

Sen ObservableType uyan türlerine Iterator.Element kısıtlamak ve sonra ilişkili tip Iterator.Element ait E başka kısıtlamayı ekleyebilirsiniz:

protocol ObservableType { 
    associatedtype E 
    // ... 
} 

class MyType { } 

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

}