नेस्टेड जेनेरिक प्रतिबंध:</p> <pre><code>extension Sequence where Iterator.Element : ObservableType { } </code></pre> <p>इस बात की गारंटी होगा: एक सामान्य अनुक्रम विस्तार है जो कि सामान्य प्रकार के लिए विवश है

Question

स्विफ्ट में हम इस तरह के अनुक्रम के रूप में सामान्य वस्तुओं पर एक्सटेंशन लिख सकते हैं अंदर एक सामान्य मद की टी बाध्य करें एक्सटेंशन केवल (इस मामले में) RxSwift अवलोकनों के अनुक्रमों पर लागू होता है।

हालांकि यदि तत्व बाधा एक और सामान्य है तो क्या आप उस सामान्य को रोक सकते हैं? उदा .:

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

} 

ऊपर छद्म कोड में (वह काम नहीं करता) आशय कहना है:

इस विस्तार के प्रत्यक्ष के दृश्यों पर लागू होना चाहिए जहां प्रत्यक्ष प्रकार के MyType जैसे एक मानने योग्य है [प्रत्यक्ष]

Answer 1

आप ObservableType के अनुरूप प्रकार के Iterator.Element सीमित कर सकते हैं और फिर संबद्ध प्रकार Iterator.Element की E के लिए एक और बाधा जोड़ें:

protocol ObservableType { 
    associatedtype E 
    // ... 
} 

class MyType { } 

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

}