Existenztypen mit any und Type Erasure
Verwenden Sie any Protocol, verstehen Sie die Leistungskosten und wann Generics vorzuziehen sind.
Existenztypen mit any und Type Erasure ist eine kostenlose Swift Academy-Lektion auf CoddyKit. Dies ist Lektion 3 von 4. Du kannst die komplette Lektion unten kostenlos lesen – dann übst du sie direkt im Browser mit einem integrierten Code-Editor und einem KI-Tutor rund um die Uhr. Sie ist Teil des Swift Academy-Lernpfads, und dein Fortschritt wird über Web und CoddyKit-App synchronisiert. Der Swift Academy-Kurs umfasst insgesamt 4 Lektionen.
Was ist ein Existenztyp?
Ein Existenztyp verpackt jeden Wert, der einem Protokoll entspricht, hinter einer einheitlichen Schnittstelle und wird zur Laufzeit aufgelöst.
protocol Drawable { func draw() }
struct Line: Drawable { func draw() { print("Line") } }
let d: any Drawable = Line()
d.draw()Das Schlüsselwort any
Swift 5.7 erfordert das Schlüsselwort any vor Protokollnamen, die als Existenztypen verwendet werden, damit das Verpacken explizit wird.
func render(_ shape: any Drawable) {
shape.draw()
}
render(Line())Kosten von Existenztypen
Existenztypen verwenden Heap-Speicher und dynamischen Dispatch, was langsamer sein kann als Generics mit statischem Dispatch.
// Existential – dynamic dispatch, potential heap alloc
var shapes: [any Drawable] = [Line(), Line()]
// Generic – static dispatch, no boxing
func drawGeneric<T: Drawable>(_ s: T) { s.draw() }Problem mit PATs und Existenztypen
Protokolle mit zugehörigen Typen (PATs) können ohne Type Erasure nicht als reine Existenzialtypen verwendet werden.
protocol Container { associatedtype Item }
// var c: any Container // Swift 5.7 allows with "any" but loses Item infoType-Erasure-Muster
Ein Type-erased Wrapper verpackt einen konkreten Typ hinter einer struct und verbirgt den konkreten Typ.
struct AnyDrawable: Drawable {
private let _draw: () -> Void
init<D: Drawable>(_ d: D) { _draw = d.draw }
func draw() { _draw() }
}AnySequence und AnyPublisher
Die Swift-Standardbibliothek und Combine liefern Type-erased Wrapper wie AnySequence und AnyPublisher mit.
import Combine
let subject = PassthroughSubject<Int, Never>()
let pub: AnyPublisher<Int, Never> = subject.eraseToAnyPublisher()eraseToAnyPublisher()
eraseToAnyPublisher() verbirgt die konkrete Publisher-Kette, sodass Aufrufer nur von AnyPublisher abhängen.
func fetch() -> AnyPublisher<String, Error> {
URLSession.shared.dataTaskPublisher(for: URL(string: "https://example.com")!)
.map { String(data: $0.data, encoding: .utf8) ?? "" }
.eraseToAnyPublisher()
}Wann Existenzialtypen geeignet sind
Verwenden Sie Existenzialtypen für heterogene Collections oder wenn der genaue Typ zur Compile-Zeit unbekannt ist.
var widgets: [any Drawable] = [] // mixed concrete types OKGenerics gegenüber Existenzialtypen bevorzugen
Ersetzen Sie Existenzialtypen nach Möglichkeit durch Generics, um statisches Dispatching und bessere Performance zu erhalten.
// Prefer this:
func draw<T: Drawable>(_ item: T) { item.draw() }
// Over this:
func draw(_ item: any Drawable) { item.draw() }Existenzialtypen öffnen
Swift 5.7+ kann ein Existenzial beim Aufruf einer generischen Funktion „öffnen“ und dabei automatisch den zugrunde liegenden Typ extrahieren.
func drawGeneric<T: Drawable>(_ d: T) { d.draw() }
let d: any Drawable = Line()
drawGeneric(d) // compiler opens the existential automaticallyType Erasure vs. opaque Typen
Type Erasure verbirgt den Typ für eine heterogene Verwendung; opaque Typen bewahren die Identität eines einzelnen, konsistenten Rückgabetyps.
let erased: any Drawable = Line() // runtime type unknown
let opaque: some Drawable = Line() // compile-time fixed typeSchnelltest
Was ist der wichtigste Performance-Nachteil von Existenzialtypen?
Zusammenfassung der Lektion
Existenzialtypen (any Protocol) ermöglichen Polymorphie zur Laufzeit, verursachen aber dynamisches Dispatching. Type Erasure verpackt konkrete Typen hinter einer stabilen Schnittstelle. Bevorzugen Sie Generics für bessere Performance und verwenden Sie Existenzialtypen für heterogene Collections.
Häufig gestellte Fragen
Ist die Lektion „Existenztypen mit any und Type Erasure“ kostenlos?
Ja — der vollständige Text von „Existenztypen mit any und Type Erasure“ ist hier im Web kostenlos zu lesen. Um sie interaktiv zu üben (integrierter Code-Editor und 24/7 KI-Tutor) und den Rest des Swift Academy-Kurses freizuschalten, upgrade auf CoddyKit PRO. Der Swift Academy-Kurs umfasst insgesamt 4 Lektionen.
Was lerne ich in „Existenztypen mit any und Type Erasure“?
Verwenden Sie any Protocol, verstehen Sie die Leistungskosten und wann Generics vorzuziehen sind. Du übst Swift Academy mit praktischem Code, den du direkt im Browser ausführst, und ein 24/7 KI-Tutor beantwortet deine Fragen während du die Lektion bearbeitest.
Brauche ich Erfahrung, um Swift Academy zu starten?
Keine Vorkenntnisse erforderlich. Swift Academy auf CoddyKit ist für Anfänger bis fortgeschrittene Lernende strukturiert, sodass du hier starten oder von Anfang an beginnen und in deinem eigenen Tempo voranschreiten kannst. Dies ist Lektion 3 von 4.
Wie lange dauert die Lektion „Existenztypen mit any und Type Erasure“?
Die meisten CoddyKit-Lektionen dauern etwa 5–10 Minuten. Jede ist kompakt und interaktiv, sodass du stetig Fortschritte machst und genau dort weitermachst, wo du aufgehört hast – im Web und in der App.
Kann ich in dieser Swift Academy-Lektion Code schreiben und ausführen?
Ja. Jede Swift Academy-Lektion enthält einen integrierten Code-Editor, sodass du echten Code direkt in deinem Browser schreibst und ausführst und sofort KI-Feedback erhältst — ohne lokale Einrichtung erforderlich.
Alle Lektionen in diesem Kurs
- Generische Einschränkungen und where-Klauseln
- Opaque Types mit dem Schlüsselwort some
- Existenztypen mit any und Type Erasure
- Primäre Associated Types und typisierte Throws