Generiske structs og enums
Opbyg fleksible datatyper.
Generiske structs og enums er en gratis Lær at programmere i Rust-lektion på CoddyKit. Dette er lektion 2 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 Lær at programmere i Rust, og dine fremskridt synkroniseres på tværs af nettet og CoddyKit-appen. Lær at programmere i Rust-kurset indeholder 4 lektioner i alt.
Generiske datastrukturer
Ligesom funktioner kan structs og enums være generiske over én eller flere typer. Det lader en enkelt definition indeholde værdier af enhver type.
Standardbiblioteket er bygget på denne måde: Vec<T>, Option<T> og Result<T, E> er alle generiske.
En generisk struct
Erklær typeparameteren efter struct-navnet, og brug den derefter til felterne. Her gemmer Point to værdier af samme type T.
Én definition kan nu bruges til heltalspunkter, decimaltalspunkter og meget mere.
struct Point<T> {
x: T,
y: T,
}Opret generiske structs
Når du opretter en instans, udleder compileren T ud fra feltværdierne. Begge felter skal have samme type.
Dette program opbygger et heltalspunkt og et decimaltalspunkt fra den samme struct.
struct Point<T> {
x: T,
y: T,
}
fn main() {
let a = Point { x: 1, y: 2 };
let b = Point { x: 1.5, y: 4.0 };
println!("{} {}", a.x, b.y);
}Blandede typeparametre
Ved at bruge to parametre kan felterne have forskellige typer. Pair<T, U> kan indeholde et heltal og en streng på samme tid.
Vælg én parameter, når felterne skal matche, og flere, når de gerne må variere.
struct Pair<T, U> {
first: T,
second: U,
}Metoder på generiske structs
Hvis du vil tilføje metoder, skal du gentage typeparameteren i impl-blokken: impl<T> Point<T>. Parameteren efter impl erklærer den, og efter typenavnet anvendes den.
Her returnerer en getter en reference til feltet x.
struct Point<T> {
x: T,
y: T,
}
impl<T> Point<T> {
fn x(&self) -> &T {
&self.x
}
}Metoder med begrænsninger
Du kan skrive metoder kun til bestemte konkrete typer eller til typer, der opfylder en begrænsning. Denne impl gælder kun for Point<f64>.
Derfor findes dist_from_origin på decimaltalspunkter, men ikke på heltalspunkter.
struct Point<T> { x: T, y: T }
impl Point<f64> {
fn dist_from_origin(&self) -> f64 {
(self.x * self.x + self.y * self.y).sqrt()
}
}En generisk enum
Enums kan også være generiske. Hver variant kan indeholde generiske data. Det afspejler standardtypen Option, som enten er Some(T) eller None.
Ved at definere din egen kan du se, hvordan bibliotekstypen fungerer.
enum Maybe<T> {
Just(T),
Nothing,
}To parametre i en enum
Result bruger to parametre, så succes- og fejlværdierne kan have forskellige typer. Her er en forenklet version.
Flere typeparametre i enums muliggør fleksibel fejlhåndtering i hele økosystemet.
enum Either<L, R> {
Left(L),
Right(R),
}Mønstermatch generiske enums
Du kan lave mønstermatch på generiske enums præcis som på konkrete enums. Dataene i varianten bliver en binding inde i armen.
Dette program pakker en brugerdefineret Maybe ud og udskriver den indeholdte værdi eller en reserveværdi.
enum Maybe<T> { Just(T), Nothing }
fn main() {
let m: Maybe<i32> = Maybe::Just(5);
match m {
Maybe::Just(n) => println!("got {}", n),
Maybe::Nothing => println!("empty"),
}
}Indpak en værdi
Et almindeligt mønster er en wrapper-struct med ét felt af typen T samt hjælpemetoder. Her gemmer og returnerer Wrapper en vilkårlig værdi.
Dette er grundlaget for newtype-mønstre og typer, der minder om smarte pointer.
struct Wrapper<T> { inner: T }
impl<T> Wrapper<T> {
fn new(v: T) -> Self {
Wrapper { inner: v }
}
}
fn main() {
let w = Wrapper::new("hi");
println!("{}", w.inner);
}Ingen ekstra omkostninger under kørsel
Generiske structs og enums monomorfiseres også. Point<i32> og Point<f64> bliver til to forskellige, fuldt specialiserede typer efter kompileringen.
Der er ingen skjult indirektion eller mærkning for selve den generiske type.
Hurtigt tjek
Test din forståelse af generiske structs og enums.
Opsummering
Structs og enums erklærer typeparametre efter deres navn og bruger dem i felter og varianter, hvilket muliggør genanvendelige beholdere som Option og Result.
Metoder gentager parametre i impl<T>, og du kan skrive specialiserede impl-blokke til konkrete typer. Alt monomorfiseres, så der ikke er ekstra omkostninger.
Lær Rust 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
- 39
- Lektioner
- 144
Ofte stillede spørgsmål
Er lektionen “Generiske structs og enums” gratis?
Ja — alle 3 lektioner i læringssporet Lær at programmere i Rust, inklusive “Generiske structs og enums”, 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. Lær at programmere i Rust-kurset indeholder 4 lektioner i alt.
Hvad lærer jeg i “Generiske structs og enums”?
Opbyg fleksible datatyper. Du øver dig i Lær at programmere i Rust 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å Lær at programmere i Rust?
Der kræves ingen tidligere erfaring. Lær at programmere i Rust 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 2 af 4.
Hvor lang tid tager lektionen “Generiske structs og enums”?
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 Lær at programmere i Rust-lektion?
Ja. Alle Lær at programmere i Rust-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
- Generiske funktioner
- Generiske structs og enums
- Trait-grænser
- where-klausuler og flere grænser