Wie strukturiert man die generische Protokollkonformität in Swift?

Question

Das folgende erfundene Swift 2 Beispiel aus dem realen Welt Code kompiliert nicht:

protocol SomeModelType { } 

protocol SomeProtocol { 
    var someVar: SomeModelType? { get } 
} 

class ConcreteClass<T: SomeModelType>: SomeProtocol { 
    var someVar: T? 
} 

Dieser Sinn für mich nicht in vollem Umfang machen. Ich würde in ConcreteClass davon ausgehen, dass, weil ich T müssen SomeModelType und haben für die someVar Eigenschaft T als Trägertyp beschränkt zu sein, würde der Compiler Lage sein, herauszufinden, dass die SomeProtocol durch ConcreteClass angepasst wurde.

Wie sollte ein solches Beispiel strukturiert sein? Ist es dem Swift-Compiler möglich, die Protokollkonformität über generische Typ-Constraints zu bestimmen?

Answer 1

protocol SomeModelType { } 

protocol SomeProtocol { 

    associatedtype T: Any 
    var someVar: T? { get } 
} 

class ConcreteClass<T> :SomeProtocol where T: SomeModelType { 

    var someVar: T? 

}