Typ ogólny zgodny z protokołem w Swift

Question

Czy jest możliwe wymaganie, aby określone wystąpienia typów ogólnych były zgodne z protokołem w Swift?

Załóżmy na przykład, że mam ogólny typ o nazwie Thing<T>. Chcę, aby Thing<Int> był zgodny z określonym protokołem, ale nie Thing<T>.

Answer 1

Można zrobić coś takiego, jak przy użyciu słowa kluczowego where i przekazać warunkowe poświadczenia. Widziałem to pod Gdzie sekcja Klauzule https://developer.apple.com/library/mac/documentation/Swift/Conceptual/Swift_Programming_Language/Generics.html#//apple_ref/doc/uid/TP40014097-CH26-XID_275

class Thing<T : SomeProtocol where reflect(T).summary != "Int"> { 
    ... 
} 

Answer 2

W Swift 2.0 można rozszerzyć protokołów i typów

Kiedy przedłużyć go można dodawać rodzajowe where ograniczeń. Tylko typy, które pasuje do tego zasada będzie w stanie wykorzystać tę funkcjonalność

Przykład:

public struct Thing<T> { 
    let x: T 
} 

extension Thing where T : IntegerType { 
    func giveMeInt() -> T { 
    return x 
    } 
} 

let a = Thing<Int>(x: 10) 
a.giveMeInt() 

let b = Thing(x: 10.1) 
//b.giveMeInt() // Error 

W ten sposób można dodać dodatkową funkcjonalność Thing<Int> typu

nie wiem drogę aby dostosować się do protokołu w rozszerzeniu, ale nie ma to większego sensu.

Ograniczenie: Generic where T : może być używana z protokołami i klas, dlatego nie możemy określić Int tam

Answer 3

dobrze, to może nie być zbyt uciążliwe, a może to być dość oczywiste, że masz ignorowane, ale można zrobić „specyficzny konkretyzacji typu rodzajowego” - jako:

class ThingOfInt : Thing<Int>, SpecialIntProtocol { 
// implement SpecialIntProtocol (if it isn't already 
// implemented in an extension) 
} 

lub nieco więcej ogólności:

class IntThing<T:IntegerType> : MyThing<T>, SpecialIntProtocol { 
}