Conformité conditionnelle
Faites conformer un type générique uniquement lorsque les contraintes sont respectées.
Conformité conditionnelle est une leçon Swift Academy gratuite sur CoddyKit. Ceci est la leçon 4 sur 4. Tu peux lire la leçon complète ci-dessous gratuitement — puis la pratiquer en direct dans le navigateur avec un éditeur de code intégré et un tuteur IA 24/7. Elle fait partie du parcours d'apprentissage Swift Academy, et ta progression se synchronise sur le web et l'application CoddyKit. Le cours Swift Academy comprend 4 leçons au total.
Qu'est-ce que la conformité conditionnelle ?
La conformité conditionnelle permet à un type générique de se conformer à un protocole uniquement lorsque ses paramètres de type respectent certaines contraintes. L'exemple classique est le suivant : un Array est Equatable uniquement si son Element est Equatable.
extension Array where Element: Equatable {
func allEqual(to x: Element) -> Bool {
allSatisfy { $0 == x }
}
}Exemple intégré
La bibliothèque standard utilise déjà ce mécanisme : [Int] est Equatable parce que Int l'est. Deux tableaux sont comparés élément par élément.
let a = [1, 2, 3]
let b = [1, 2, 3]
print(a == b)Déclarer une conformité conditionnelle
Écrivez une extension qui ajoute la conformité à un protocole avec une clause where. Ici, une enveloppe se conforme à Equatable uniquement lorsque son type de valeur le fait aussi.
struct Pair<T> {
let first: T
let second: T
}
extension Pair: Equatable where T: Equatable {
static func == (l: Pair, r: Pair) -> Bool {
l.first == r.first && l.second == r.second
}
}
print(Pair(first: 1, second: 2) == Pair(first: 1, second: 2))Pourquoi la contrainte est importante
Sans cette contrainte, le compilateur ne pourrait pas générer automatiquement ==, car la comparaison de la valeur enveloppée exige que la valeur elle-même puisse être comparée. La clause where fournit exactement cette garantie.
struct Box<T> { let value: T }
extension Box: Equatable where T: Equatable {}
print(Box(value: "hi") == Box(value: "hi"))
print(Box(value: 5) == Box(value: 9))Conformité conditionnelle à Codable
Vous pouvez vous conformer conditionnellement à Codable. Un conteneur peut être encodé uniquement lorsque son élément peut l'être.
struct Wrapper<T> { let payload: T }
extension Wrapper: Codable where T: Codable {}
let w = Wrapper(payload: 42)
let data = try! JSONEncoder().encode(w)
print(String(data: data, encoding: .utf8)!)Plusieurs contraintes
Une clause where peut énumérer plusieurs exigences séparées par des virgules.
struct Stack<T> { var items: [T] = [] }
extension Stack where T: Comparable {
func maxItem() -> T? { items.max() }
}
var s = Stack<Int>()
s.items = [3, 9, 1]
print(s.maxItem()!)Conformité conditionnelle à CustomStringConvertible
Rendez un type affichable uniquement lorsque son contenu l'est aussi, en composant les descriptions à partir des éléments.
struct Labeled<T> { let label: String; let value: T }
extension Labeled: CustomStringConvertible where T: CustomStringConvertible {
var description: String { label + ": " + value.description }
}
print(Labeled(label: "Age", value: 30))Conformité conditionnelle imbriquée
La conformité conditionnelle se compose : un tableau de tableaux de Int est Equatable, car chaque niveau enchaîne la contrainte.
let grid1 = [[1, 2], [3, 4]]
let grid2 = [[1, 2], [3, 4]]
print(grid1 == grid2)Contraindre à un autre protocole
La clause where peut exiger que l'élément se conforme à un protocole que vous avez défini, ce qui permet d'utiliser les fonctionnalités fondées sur ce protocole.
protocol Priced { var price: Double { get } }
struct Item: Priced { let price: Double }
extension Array where Element: Priced {
var totalPrice: Double { reduce(0) { $0 + $1.price } }
}
print([Item(price: 1.5), Item(price: 2.5)].totalPrice)Contraintes de même type
Vous pouvez contraindre un type associé à un type précis avec ==. Ici, les méthodes s'appliquent uniquement aux tableaux de String.
extension Array where Element == String {
func joinedUpper() -> String {
map { $0.uppercased() }.joined(separator: "-")
}
}
print(["a", "b", "c"].joinedUpper())Comment le compilateur l'utilise
La conformité conditionnelle permet au compilateur d'accorder les avantages d'un protocole exactement lorsqu'ils sont valides, afin que le code générique reste à la fois sûr et réutilisable au maximum.
struct Optional2<T> { let value: T? }
extension Optional2: Equatable where T: Equatable {
static func == (l: Optional2, r: Optional2) -> Bool { l.value == r.value }
}
print(Optional2(value: 1) == Optional2(value: 1))Vérification rapide
Évaluez votre compréhension de la conformité conditionnelle.
Récapitulatif
La conformité conditionnelle utilise extension Type: Protocol where ... pour accorder la conformité uniquement lorsque les paramètres de type respectent certaines contraintes. Vous l'avez vue avec Equatable, Codable et CustomStringConvertible, avec des contraintes de protocole, des contraintes de même type (==) et l'imbrication. Elle permet aux types génériques de rester sûrs et réutilisables.
Questions Fréquemment Posées
La leçon « Conformité conditionnelle » est-elle gratuite ?
Oui — le texte complet de « Conformité conditionnelle » est gratuit à lire ici sur le web. Pour la pratiquer de manière interactive (un éditeur de code intégré et un tuteur IA 24/7) et déverrouiller le reste du cours Swift Academy, passe à CoddyKit PRO. Le cours Swift Academy comprend 4 leçons au total.
Qu'est-ce que j'apprendrai dans « Conformité conditionnelle » ?
Faites conformer un type générique uniquement lorsque les contraintes sont respectées. Tu pratiques Swift Academy avec du code pratique que tu exécutes directement dans le navigateur, et un tuteur IA 24/7 répond à tes questions au fur et à mesure que tu avances dans la leçon.
Dois-je avoir de l'expérience pour commencer Swift Academy ?
Aucune expérience préalable n'est requise. Swift Academy sur CoddyKit est structuré pour les débutants jusqu'aux apprenants avancés, donc tu peux commencer ici ou depuis le début et avancer à ton rythme. Ceci est la leçon 4 sur 4.
Combien de temps prend la leçon « Conformité conditionnelle » ?
La plupart des leçons CoddyKit prennent environ 5–10 minutes. Chacune est courte et interactive, tu progresses régulièrement et tu repiques exactement où tu t'es arrêté sur le web et l'app.
Peux-tu écrire et exécuter du code dans cette leçon Swift Academy ?
Oui. Chaque leçon Swift Academy inclut un éditeur de code intégré, tu écris et exécutes du vrai code directement dans ton navigateur et tu reçois des retours IA instantanés — aucune configuration locale requise.
Toutes les leçons de ce cours
- Les protocoles comme contrats
- Implémentations par défaut dans les extensions
- Composition de protocoles
- Conformité conditionnelle