modèle Swift correspond à

Question

Dans le code ci-dessous:

protocol Serializable { 
} 

struct Owner: Serializable { 
    var name: String 
} 

struct Car: Serializable { 
    var owners: [Serializable] 
} 

let car = Car(owners: [Owner(name: "John"), Owner(name: "Mike")]) 

Mirror(reflecting: car).children.forEach { 
    switch $0.value { 
    case let value as Array<Serializable>: 
     print("Recognized!") 
    default: break 
    } 
} 

si

struct Car: Serializable { 
    var owners: [Serializable] 
} 

(propriétaires var est défini comme [Serializable])

case let value as Array<Serializable>: reconnaîtront, mais en cas:

struct Car: Serializable { 
    var owners: [Owner] 
} 

(propriétaires var est défini comme [Owner])

case let value as Array<Serializable>: ne le reconnaissent pas, même si Owner est conforme à Serializable protocole? Quelqu'un peut-il expliquer pourquoi?

J'ai essayé:

extension Array where Element: Serializable { 
    var representation: AnyObject { 
     return self.map { element in return "String" } 
    } 
} 

let arr: [Owner] = [Owner(name: "John"), Owner(name: "Mike")] 
arr.representation 

œuvres, si Swift reconnaît que [Owner] est [Serializable], pourquoi case let value as Array<Serializable> match de [Serializable] mais pas [Owner]?

Answer 1

Dans Swift, les protocoles ont une représentation de mémoire différente et distincte de celle des types concrets. Donc, la réponse courte est le tableau de Serializable est différent dans la mémoire d'un tableau d'un type qui est conforme à Serializable, et Swift n'a pas actuellement un mécanisme de casting entre les deux.

Plus de détails spécifiques, la débrouille dans ce discours WWDC:

https://developer.apple.com/videos/play/wwdc2016/416/

Answer 2

Array<T> et T sont différents types, donc vous ne pouvez pas vous attendre à ce que sa conformité à un protocole ait un impact sur l'autre.

En ce qui concerne votre exemple:

extension Array where Element: Serializable { 
    var representation: AnyObject { 
     return self.map { element in return "String" } 
    } 
} 

Ici, vous vérifiez la conformité de chaque élément (Element), pas le tableau comme son propre type. Element est un type distinct de Array<Element>.

Il est difficile de savoir ce que vous devriez faire ici sans information supplémentaire, mais j'espère avoir répondu pourquoi vous n'obtenez pas les résultats que vous attendez.