Zgodności warunkowe
Sprawcie, aby typ generyczny zapewniał zgodność z protocol tylko wtedy , gdy jego parametr typu spełnia ograniczenia (np. Box<T>: Equatable where T: Equatable ).
Zgodności warunkowe to bezpłatna lekcja Swift Academy na CoddyKit. To lekcja 1 z 3. Możesz przeczytać całą lekcję poniżej za darmo — a potem ćwiczyć ją interaktywnie w przeglądarce z wbudowanym edytorem kodu i tutorem AI dostępnym 24/7. To część ścieżki edukacyjnej Swift Academy, a Twój postęp synchronizuje się między webem a aplikacją CoddyKit. Kurs Swift Academy zawiera 3 lekcji w sumie.
Po co stosować warunkową zgodność?
Warunkowa zgodność dodaje zgodność z protokołem tylko wtedy, gdy parametry typu spełniają określone ograniczenia. Dzięki temu interfejsy API są precyzyjne, można uniknąć powielania kodu, a rozwiązanie dobrze współpracuje z biblioteką standardową.
Podstawowy typ generyczny
Zacznij od typu generycznego. Bez dodatkowej implementacji Box nie jest zgodny z Equatable/Hashable, nawet jeśli jest z nimi zgodny typ T.
struct Box<T> {
var value: T
}
let bi = Box(value: 3)
let bs = Box(value: "hi")
// At this point Box has no Equatable/Hashable, regardless of T.Warunkowa zgodność z Equatable
Dodaj Equatable tylko wtedy, gdy T: Equatable. Kod porównujący obiekty Box dla typów niezgodnych z Equatable nie skompiluje się (co zwiększa bezpieczeństwo).
extension Box: Equatable where T: Equatable {
static func == (lhs: Box<T>, rhs: Box<T>) -> Bool {
lhs.value == rhs.value
}
}
print(Box(value: 5) == Box(value: 5)) // true
// Works because Int is Equatable
// print(Box(value: someNonEquatable) == ...) // won't compileWarunkowa zgodność z Hashable
Podobnie przyjmuj zgodność z Hashable tylko wtedy, gdy element jest zgodny z Hashable. Wówczas Set/Dictionary działają z Box<T>.
extension Box: Hashable where T: Hashable {
func hash(into hasher: inout Hasher) {
hasher.combine(value)
}
}
let set: Set<Box<Int>> = [Box(value: 1), Box(value: 1)]
print(set.count) // 1 because Hashable is available only when T: HashableOgraniczanie funkcji za pomocą where
Użyj extension ... where, aby udostępniać metody tylko dla określonych możliwości (np. T: Numeric), zachowując niewielki podstawowy interfejs API.
// Add extra APIs only when T supports them
extension Box where T: Numeric {
func doubled() -> T { value + value }
}
print(Box(value: 7).doubled()) // 14 (Int is Numeric)
// Box(value: "hi").doubled() // won't compile — String not NumericPrzykłady z biblioteki standardowej
Używasz tego na co dzień:
- Array: Equatable tylko wtedy, gdy
Element: Equatable. - Obsługa haszowania w Dictionary/Set tylko wtedy, gdy klucze lub elementy są zgodne z
Hashable. - Równość Optional tylko wtedy, gdy
Wrapped: Equatable.
Korzyść: interfejsy API są precyzyjne i bezpieczne na etapie kompilacji.
Sprawdzenie definicji
Szybkie sprawdzenie: Na co pozwala warunkowa zgodność?
Podsumowanie
Podsumowanie: Używaj konstrukcji extension Type: Protocol where ..., aby dodawać zgodności i interfejsy API tylko wtedy, gdy ograniczenia są spełnione. Dzięki temu kod pozostaje precyzyjny, bezpieczny i łatwy do przeanalizowania.
Często zadawane pytania
Czy lekcja „Zgodności warunkowe” jest bezpłatna?
Tak — pełny tekst „Zgodności warunkowe” jest dostępny za darmo tutaj w sieci. Aby ćwiczyć ją interaktywnie (wbudowany edytor kodu i tutor AI dostępny 24/7) i odblokować resztę kursu Swift Academy, przejdź na CoddyKit PRO. Kurs Swift Academy zawiera 3 lekcji w sumie.
Co nauczysz się w „Zgodności warunkowe”?
Sprawcie, aby typ generyczny zapewniał zgodność z protocol tylko wtedy , gdy jego parametr typu spełnia ograniczenia (np. Box<T>: Equatable where T: Equatable ). Ćwiczysz Swift Academy z praktycznym kodem, który uruchamiasz bezpośrednio w przeglądarce, a tutor AI dostępny 24/7 odpowiada na Twoje pytania podczas pracy nad lekcją.
Czy potrzebuję doświadczenia, aby zacząć Swift Academy?
Nie wymagamy żadnego doświadczenia. Swift Academy w CoddyKit jest strukturyzowany dla początkujących i zaawansowanych użytkowników, więc możesz zacząć tutaj lub od początku i uczyć się w swoim tempie. To lekcja 1 z 3.
Ile czasu zajmuje lekcja „Zgodności warunkowe”?
Większość lekcji CoddyKit trwa około 5–10 minut. Każda lekcja to mały, interaktywny krok, dzięki czemu robisz systematyczne postępy i zawsze wracasz dokładnie do tego samego miejsca — na webie i w aplikacji.
Czy mogę pisać i uruchamiać kod w tej lekcji Swift Academy?
Tak. Każda lekcja Swift Academy zawiera wbudowany edytor kodu, więc piszesz i uruchamiasz prawdziwy kod bezpośrednio w przeglądarce i od razu otrzymujesz sprzężenie zwrotne od AI — bez konfiguracji na komputerze.
Wszystkie lekcje w tym kursie
- Zgodności warunkowe
- Rekurencyjne ograniczenia i generyka wyższego rzędu
- Klauzule where w rozszerzeniach