swift – 嵌套通用约束：限制泛型序列扩展中的泛型项的T,该扩展

发布时间：2020-12-14 04:57:49 所属栏目：百科来源：网络整理

导读：在 Swift中,我们可以编写通用项目的扩展,例如序列： extension Sequence where Iterator.Element : ObservableType {} 这将保证扩展仅适用于(在这种情况下)RxSwift可观察量的序列. 但是,如果元素约束是另一个泛型,那么你可以约束那个泛型吗？例如.： extensi

在 Swift中,我们可以编写通用项目的扩展,例如序列：

extension Sequence where Iterator.Element : ObservableType {

}

这将保证扩展仅适用于(在这种情况下)RxSwift可观察量的序列.

但是,如果元素约束是另一个泛型,那么你可以约束那个泛型吗？例如.：

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

 }

在上面的伪代码(不起作用)中,意图是：

此扩展应该应用于Observable的序列,其中Observable是MyType类型的Observable,例如[可观察]

解决方法

您可以将Iterator.Element限制为符合的类型
ObservableType然后为Iterator.Element的关联类型E添加另一个约束：

protocol ObservableType {
    associatedtype E
    // ...
}

class MyType { }

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

}

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!