Regler for utelatelse
Når livstider utledes
Regler for utelatelse er en gratis leksjon i Lær Rust-programmering på CoddyKit. Dette er leksjon 4 av 4. Du kan lese valgfritt 3 leksjoner fra denne læringsstien gratis i sin helhet – deretter låser CoddyKit PRO opp alle leksjoner, samt praktisk øving med en innebygd kodeeditor og en AI-veileder som er tilgjengelig døgnet rundt. Den er en del av læringsløpet i Lær Rust-programmering, og fremdriften din synkroniseres mellom nettet og CoddyKit-appen. Kurset i Lær Rust-programmering inneholder totalt 4 leksjoner.
Levetider De ikke skriver
Mange funksjoner tar imot og returnerer referanser uten levetidsannotasjoner, og likevel kompilerer de. Det skyldes utelating av levetider: Kompilatoren utleder åpenbare levetider for Dem.
Utelating er bare en snarvei
Utelating fjerner ikke levetider; kompilatoren fyller dem fortsatt inn i bakgrunnen ved hjelp av noen få deterministiske regler. Når reglene dekker tilfellet, kan De utelate annotasjonene.
En funksjon med utelatt levetid
Denne funksjonen har ingen eksplisitte levetider, men kompilatoren forstår likevel at den returnerte referansen låner fra inndataene. Reglene gjør dette entydig.
fn first_word(s: &str) -> &str {
s.split(' ').next().unwrap_or("")
}
fn main() {
let phrase = String::from("rust is fun");
println!("{}", first_word(&phrase));
}Regel 1: Hver inndata får sin egen
Den første regelen: Hver utelatte levetid i parameterne får en separat levetid. To referanseparametere får to separate levetider.
Regel 2: Én inndata, én utdata
Den andre regelen: Hvis det finnes nøyaktig én levetid for inndata, tildeles den til alle levetider for utdata. Dette dekker funksjoner som first_word, som tar imot og returnerer én referanse.
fn trim_start(s: &str) -> &str {
s.trim_start()
}
fn main() {
println!("[{}]", trim_start(" hi"));
}Regel 3: Metoder og &self
Den tredje regelen: Hvis en metode har &self eller &mut self, tildeles levetiden til self til alle levetider for utdata. Derfor trenger metoder sjelden annotasjoner.
struct Holder { value: String }
impl Holder {
fn get(&self) -> &str {
&self.value
}
}
fn main() {
let h = Holder { value: String::from("stored") };
println!("{}", h.get());
}Når utelating mislykkes
Hvis en levetid for utdata fortsatt er ukjent etter at alle tre reglene er anvendt, ber kompilatoren Dem om å annotere eksplisitt. Funksjonen longest er det klassiske tilfellet: To inndata, tvetydig utdata.
Funksjonen longest igjen
To referanseinndata og én referanseutdata: Regel 2 gjelder ikke (det er mer enn én inndata), og det finnes ingen self. Derfor må De annotere.
fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
if x.len() > y.len() { x } else { y }
}
fn main() {
println!("{}", longest("abcd", "ab"));
}Flere inndata, utdata fra self
En metode med flere parametere får fortsatt levetiden for utdata fra self etter regel 3, selv om det finnes andre referanseparametere.
struct Doc { body: String }
impl Doc {
fn announce(&self, _note: &str) -> &str {
&self.body
}
}
fn main() {
let d = Doc { body: String::from("content") };
println!("{}", d.announce("ping"));
}Hvorfor reglene finnes
Disse tre reglene dekker det store flertallet av virkelig kode, så de fleste funksjoner trenger ikke levetidssyntaks i det hele tatt. De skriver bare annotasjoner når hensikten faktisk er tvetydig.
En rask sjekkliste
For å avgjøre om utelating gjelder, spør De:
- Finnes det nøyaktig én referanse som inndata? Utdata låner fra den.
- Finnes det en
&self? Utdata låner fra self. - Ellers må De annotere eksplisitt.
Hurtigsjekk
Test forståelsen Deres av reglene for utelating.
Oppsummering
De har lært når levetider utledes:
- Regel 1: Hver referanse som inndata får sin egen levetid
- Regel 2: Én levetid for inndata tilordnes alle utdata
- Regel 3:
&selfleverer levetiden for utdata i metoder - Hvis utdata fortsatt er tvetydige, annoterer De eksplisitt
Lær deg Rust med en AI-veileder – gratis
Skriv og kjør ekte kode i nettleseren, få umiddelbar hjelp fra en AI-veileder som er tilgjengelig døgnet rundt, og fortsett der du slapp – på nettet eller i appen.
- Kurs
- 39
- Leksjoner
- 144
Ofte stilte spørsmål
Er leksjonen «Regler for utelatelse» gratis?
Ja – du kan lese valgfritt 3 av leksjonene i læringsstien Lær Rust-programmering, inkludert «Regler for utelatelse», gratis i sin helhet her på nettet. Deretter låser CoddyKit PRO opp alle leksjoner, samt interaktiv øving med en innebygd kodeeditor og en AI-veileder som er tilgjengelig døgnet rundt. Kurset i Lær Rust-programmering inneholder totalt 4 leksjoner.
Hva lærer jeg i «Regler for utelatelse»?
Når livstider utledes Du øver på Lær Rust-programmering med praktisk kode som du kjører direkte i nettleseren, mens en AI-veileder som er tilgjengelig døgnet rundt, svarer på spørsmålene dine mens du jobber deg gjennom leksjonen.
Trenger jeg erfaring for å begynne med Lær Rust-programmering?
Ingen tidligere erfaring er nødvendig. Lær Rust-programmering på CoddyKit er lagt opp for både nybegynnere og viderekomne, så De kan begynne her eller helt fra start og lære i Deres eget tempo. Dette er leksjon 4 av 4.
Hvor lang tid tar leksjonen «Regler for utelatelse»?
De fleste CoddyKit-leksjoner tar omtrent 5–10 minutter. Hver leksjon er kort og interaktiv, slik at De gjør jevne fremskritt og kan fortsette akkurat der De slapp – både på nettet og i appen.
Kan jeg skrive og kjøre kode i denne Lær Rust-programmering-leksjonen?
Ja. Alle Lær Rust-programmering-leksjoner har en innebygd kodeeditor, slik at De kan skrive og kjøre ekte kode direkte i nettleseren og få umiddelbar tilbakemelding fra AI – uten lokal konfigurering.
Alle leksjonene i dette kurset
- Hvorfor livstider
- Livstidsannotasjoner
- Livstider i struct-er
- Regler for utelatelse