struct S<T> {...} protocol P { associatedtype A ... }
我想要这样的东西:extension S<S<T>> where T:P { ... }
extension S<S<T>> where T:P { ... }
其中第一个S具有另一个S的类型参数,第二个具有某些P的类型参数>我该怎么办?给出这些类型:结构S {...}协议P {关联类型A ...}我想要这样的东西:扩展S >其中T:P {...}其中第一个S具有类型参数...
S
P
我该怎么办?
给出这些类型:结构S
{...}协议P {关联类型A ...}我想要这样的东西:扩展S >其中T:P {...}其中第一个S具有类型参数...