Begrænsning af associated types
Begræns associated types i generiske kontekster.
Begrænsning af associated types er en gratis Swift Academy-lektion på CoddyKit. Dette er lektion 3 af 4. Du kan læse alle 3 lektioner i dette læringsspor gratis i deres fulde længde — derefter låser CoddyKit PRO alle lektioner op samt praktiske øvelser med en indbygget kodeeditor og en AI-underviser døgnet rundt. Den er en del af læringsforløbet i Swift Academy, og dine fremskridt synkroniseres på tværs af nettet og CoddyKit-appen. Swift Academy-kurset indeholder 4 lektioner i alt.
Opsamling om associerede typer
En protokol kan erklære en associeret type med associatedtype, altså en pladsholder, som en type, der overholder protokollen, udfylder. Element i en beholderprotokol er det klassiske eksempel.
protocol Container {
associatedtype Item
var count: Int { get }
func item(at i: Int) -> Item
}Overensstemmelse med en konkret type
En type, der overholder protokollen, fastlægger den associerede type, som ofte udledes af, hvordan typen bruges.
protocol Container {
associatedtype Item
func item(at i: Int) -> Item
}
struct IntBox: Container {
let values: [Int]
func item(at i: Int) -> Int { values[i] }
}
print(IntBox(values: [10, 20]).item(at: 1))Begrænsning af den associerede type
Tilføj en begrænsning direkte i erklæringen: associatedtype Item: Comparable tvinger typen for hvert elements værdi til at understøtte sammenligning.
protocol Sorted {
associatedtype Item: Comparable
var items: [Item] { get }
}
struct Nums: Sorted { let items: [Int] }
print(Nums(items: [3, 1, 2]).items.sorted())Brug af begrænsningen
Fordi den associerede type er begrænset, kan protokoludvidelser basere sig på denne funktionalitet.
protocol Sorted {
associatedtype Item: Comparable
var items: [Item] { get }
}
extension Sorted {
var smallest: Item? { items.min() }
}
struct Nums: Sorted { let items: [Int] }
print(Nums(items: [5, 2, 8]).smallest!)where på associatedtype
Swift tillader også en where-klausul på en associeret type, så den kan knyttes til en anden associeret type eller en indlejret type.
protocol Sequence2 {
associatedtype Element
associatedtype Iterator: IteratorProtocol where Iterator.Element == Element
}Begrænsning til en anden protokol
Det kan kræves, at en associeret type overholder en protokol, du selv har defineret, så funktionaliteten kan bygges lagvist.
protocol HasName { var name: String { get } }
protocol Registry {
associatedtype Entry: HasName
var entries: [Entry] { get }
}
struct User: HasName { let name: String }
struct Users: Registry { let entries: [User] }
print(Users(entries: [User(name: "Ada")]).entries[0].name)Flere associerede typer
En protokol kan erklære flere associerede typer, som hver især kan have deres egne begrænsninger.
protocol Mapping {
associatedtype Key: Hashable
associatedtype Value
func value(for k: Key) -> Value?
}
struct Phonebook: Mapping {
let data: [String: Int]
func value(for k: String) -> Int? { data[k] }
}
print(Phonebook(data: ["x": 1]).value(for: "x")!)Standard for associeret type
Du kan give en associeret type en standard med =, som bruges, når en type, der overholder protokollen, ikke angiver den på anden måde.
protocol Producer {
associatedtype Output = String
func make() -> Output
}
struct Hello: Producer {
func make() -> String { "hi" }
}
print(Hello().make())Begrænsninger muliggør generiske algoritmer
Med en begrænset associeret type kan en protokoludvidelse implementere egentlige algoritmer, som deles af alle typer, der overholder protokollen.
protocol Scored {
associatedtype Score: Comparable
var scores: [Score] { get }
}
extension Scored {
var best: Score? { scores.max() }
}
struct Game: Scored { let scores: [Int] }
print(Game(scores: [10, 40, 25]).best!)Begrænsninger af samme type i udvidelser
Uden for protokollen kan du begrænse den associerede type yderligere, når du udvider protokollen.
protocol Box2 {
associatedtype Content
var content: Content { get }
}
extension Box2 where Content == Int {
var doubled: Int { content * 2 }
}
struct IB: Box2 { let content: Int }
print(IB(content: 7).doubled)Hvorfor begrænse?
Begrænsning af associerede typer er sådan, protokoller forbliver generiske og samtidig kraftfulde: Begrænsningen er et løfte, som udvidelsen og den kaldende kode kan stole på.
protocol Listy {
associatedtype E: Equatable
var elements: [E] { get }
}
extension Listy {
func has(_ x: E) -> Bool { elements.contains(x) }
}
struct L: Listy { let elements: [String] }
print(L(elements: ["a", "b"]).has("b"))Hurtigt tjek
Test din forståelse af begrænsning af associerede typer.
Opsamling
Du kan begrænse associerede typer direkte (associatedtype Item: Comparable), knytte dem sammen med where-klausuler, kræve protokoloverensstemmelse, angive standarder med =, erklære flere associerede typer og forfine dem i udvidelser. Begrænsninger lader protokoludvidelser implementere delte, typesikre algoritmer.
Lær Swift med en AI-underviser — gratis
Skriv og kør rigtig kode i din browser, få øjeblikkelig hjælp fra en AI-underviser døgnet rundt, og fortsæt, hvor du slap, på web eller i appen.
- Kurser
- 122
- Lektioner
- 409
Ofte stillede spørgsmål
Er lektionen “Begrænsning af associated types” gratis?
Ja — alle 3 lektioner i læringssporet Swift Academy, inklusive “Begrænsning af associated types”, kan læses gratis i deres fulde længde her på webstedet. Derefter låser CoddyKit PRO alle lektioner op samt interaktive øvelser med en indbygget kodeeditor og en AI-underviser døgnet rundt. Swift Academy-kurset indeholder 4 lektioner i alt.
Hvad lærer jeg i “Begrænsning af associated types”?
Begræns associated types i generiske kontekster. Du øver dig i Swift Academy med praktisk kode, som du kører direkte i browseren, og en AI-vejleder døgnet rundt besvarer dine spørgsmål, mens du arbejder dig gennem lektionen.
Skal jeg have erfaring for at begynde på Swift Academy?
Der kræves ingen tidligere erfaring. Swift Academy på CoddyKit er tilrettelagt for både begyndere og øvede, så du kan starte her eller fra begyndelsen og lære i dit eget tempo. Dette er lektion 3 af 4.
Hvor lang tid tager lektionen “Begrænsning af associated types”?
De fleste CoddyKit-lektioner tager cirka 5–10 minutter. Hver lektion er kort og interaktiv, så du gør løbende fremskridt og kan fortsætte, hvor du slap – på både web og app.
Kan jeg skrive og køre kode i denne Swift Academy-lektion?
Ja. Alle Swift Academy-lektioner har en indbygget kodeeditor, så du kan skrive og køre rigtig kode direkte i din browser og få øjeblikkelig feedback fra AI – uden lokal opsætning.
Alle lektioner i dette kursus
- Begrænsninger for typeparametre
- where-clauses på funktioner
- Begrænsning af associated types
- Generiske subscripts og extensions