Contraintes génériques et clauses where
Appliquer plusieurs contraintes, des exigences de type identique et des extensions conditionnelles.
Contraintes génériques et clauses where est une leçon Swift Academy gratuite sur CoddyKit. Ceci est la leçon 1 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.
Récapitulatif des bases des génériques
Les génériques vous permettent d’écrire du code flexible et réutilisable qui fonctionne avec n’importe quel type.
func identity<T>(_ value: T) -> T { return value }
print(identity(42))
print(identity("hello"))Contrainte sur un seul type
Contraignez un paramètre générique à être conforme à un protocole à l’aide de T: Protocol.
func largest<T: Comparable>(_ a: T, _ b: T) -> T {
return a > b ? a : b
}
print(largest(3, 7))Contraintes multiples avec &
Exigez qu’un type soit conforme à plusieurs protocoles en les combinant avec &.
func process<T: Equatable & Hashable>(_ items: [T]) -> Set<T> {
return Set(items)
}
print(process([1,2,2,3]))Clauses where sur les fonctions
Une clause where placée après la liste des paramètres vous permet d’ajouter des contraintes plus précises.
func allEqual<T: Equatable>(_ array: [T]) -> Bool where T: CustomStringConvertible {
guard let first = array.first else { return true }
return array.allSatisfy { $0 == first }
}where dans les extensions
Étendez un type uniquement lorsque son paramètre générique respecte une exigence.
extension Array where Element: Numeric {
var sum: Element { reduce(0, +) }
}
print([1,2,3].sum)Exigences de type identique
Contraignez deux types associés à être du même type avec T == U.
func zip2<A: Sequence, B: Sequence>(_ a: A, _ b: B) -> [(A.Element, B.Element)]
where A.Element == B.Element {
return Swift.zip(a, b).map { ($0.0, $0.1) }
}Conformité conditionnelle
Rendez un type générique conforme conditionnellement à un protocole lorsque ses paramètres satisfont les contraintes.
extension Array: Equatable where Element: Equatable {
// stdlib already does this, shown for illustration
}
print([1,2] == [1,2])Classes génériques avec contraintes
Les génériques de classe peuvent également porter des contraintes, ce qui garantit la sûreté des types lors de l’instanciation.
class Box<T: Codable> {
var value: T
init(_ v: T) { self.value = v }
}
let box = Box(42)Protocole avec contraintes sur les types associés
Utilisez where dans les définitions de protocoles pour contraindre les types associés.
protocol Container {
associatedtype Item: Equatable
var items: [Item] { get }
func contains(_ item: Item) -> Bool
}Plusieurs clauses where
Empilez plusieurs conditions where séparées par des virgules pour exprimer des exigences complexes.
func merge<C: Collection>(_ a: C, _ b: C) -> [C.Element]
where C.Element: Comparable, C.Element: Hashable {
return Array(Set(a + b)).sorted()
}Spécialisation des types génériques
Swift spécialise les fonctions génériques lors de la compilation pour les types concrets, ce qui permet d’optimiser les performances.
// @_specialize instructs the compiler to emit a specialized version
@_specialize(where T == Int)
func add<T: Numeric>(_ a: T, _ b: T) -> T { a + b }Vérification rapide
Comment exiger qu’un type générique soit conforme à la fois à Comparable et à Hashable ?
Récapitulatif de la leçon
Les contraintes génériques avec T: Protocol, les contraintes multiples via &, les clauses where pour des exigences précises, les exigences de type identique et la conformité conditionnelle vous donnent un contrôle précis sur le code générique.
Apprends Swift avec un tuteur IA — gratuit
Écris et exécute du vrai code dans ton navigateur, obtiens de l'aide instantanée d'un tuteur IA disponible 24h/24, et reprends là où tu t'es arrêté sur le web ou dans l'app.
- Cours
- 122
- Leçons
- 409
Questions Fréquemment Posées
La leçon « Contraintes génériques et clauses where » est-elle gratuite ?
Oui — le texte complet de « Contraintes génériques et clauses where » 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 « Contraintes génériques et clauses where » ?
Appliquer plusieurs contraintes, des exigences de type identique et des extensions conditionnelles. 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 1 sur 4.
Combien de temps prend la leçon « Contraintes génériques et clauses where » ?
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
- Contraintes génériques et clauses where
- Types opaques avec le mot-clé some
- Existentielles avec any et effacement de type
- Types associés principaux et erreurs typées