Swift Ковариантных Дженерик

Question

Вот пример того, что я хотел бы достичь:

protocol SomeType {} 

class SomeClass: SomeType {} 

struct SomeGenericStruct<A> { 
    typealias E = A 
} 

func take(someType: SomeGenericStruct<SomeType>) {} 

let concreteGenericStruct1: SomeGenericStruct<SomeType> = SomeGenericStruct<SomeType>() 
let concreteGenericStruct2: SomeGenericStruct<SomeClass> = SomeGenericStruct<SomeClass>() 

take(concreteGenericStruct1) 
take(concreteGenericStruct2) // much no work, very repair. wow. 

Или еще проще:

let concreteGenericStruct3: SomeGenericStruct<SomeType> = SomeGenericStruct<SomeClass>() as SomeGenericStruct<SomeType> // still no work 

Как я могу управлять, чтобы обеспечить take с concreteGenericStruct2?

Answer 1

Вы можете использовать универсальный метод для этого:

func take<T where T: SomeType>(someType: SomeGenericStruct<T>) { } 

Единственная проблема состоит в том, что вы не можете передать SomeGenericStruct<SomeType> к нему. Вместо этого он должен быть общим конкретным типом. Если это абсолютно необходимо, вы можете просто иметь две функции, делающие одно и то же: по существу:

func take(someInput: SomeGenericStruct<SomeType>) { /* do stuff */ } 
func take<T where T: SomeType>(someType: SomeGenericStruct<T>) { /* do same stuff */ }