Learn Rust Coding · Lezione

Regole di elisione

Quando le lifetime vengono inferite

Regole di elisione è una lezione Learn Rust Coding gratuita su CoddyKit. Questa è la lezione 4 di 4. Puoi leggere la lezione completa qui gratuitamente — poi esercitati direttamente nel browser con un editor di codice integrato e un tutor IA disponibile 24/7. Fa parte del percorso di apprendimento Learn Rust Coding, e i tuoi progressi si sincronizzano tra il web e l'app CoddyKit. Il corso Learn Rust Coding include 4 lezioni in totale.

Lifetime che non è necessario scrivere

Molte funzioni accettano e restituiscono riferimenti senza alcuna annotazione di lifetime, eppure vengono compilate. Questo è possibile grazie all'elisione delle lifetime: il compilatore inferisce automaticamente le lifetime evidenti.

L'elisione è solo una scorciatoia

L'elisione non elimina le lifetime; il compilatore le inserisce comunque dietro le quinte usando alcune regole deterministiche. Quando le regole coprono il caso in questione, è possibile omettere le annotazioni.

Una funzione con lifetime omesse

Questa funzione non presenta lifetime esplicite, eppure il compilatore capisce che il riferimento restituito prende in prestito i dati dall'input. Le regole rendono il comportamento non ambiguo.

fn first_word(s: &str) -> &str {
    s.split(' ').next().unwrap_or("")
}

fn main() {
    let phrase = String::from("rust is fun");
    println!("{}", first_word(&phrase));
}

Regola 1: ogni input riceve la propria lifetime

La prima regola: ogni lifetime omessa nei parametri riceve una lifetime distinta. Due parametri di tipo riferimento ricevono due lifetime separate.

Regola 2: un input, un output

La seconda regola: se esiste esattamente una lifetime di input, questa viene assegnata a tutte le lifetime di output. Questo vale per funzioni come first_word, che accettano e restituiscono un riferimento.

fn trim_start(s: &str) -> &str {
    s.trim_start()
}

fn main() {
    println!("[{}]", trim_start("   hi"));
}

Regola 3: metodi e &self

La terza regola: se un metodo ha &self o &mut self, la lifetime di self viene assegnata a tutte le lifetime di output. Per questo i metodi raramente richiedono annotazioni.

struct Holder { value: String }

impl Holder {
    fn get(&self) -> &str {
        &self.value
    }
}

fn main() {
    let h = Holder { value: String::from("stored") };
    println!("{}", h.get());
}

Quando l'elisione non funziona

Se, dopo aver applicato tutte e tre le regole, una lifetime di output è ancora sconosciuta, il compilatore chiede di annotarla esplicitamente. La funzione longest è il caso classico: due input e un output ambiguo.

Ancora sulla funzione longest

Due input di tipo riferimento e un output di tipo riferimento: la regola 2 non si applica (ci sono più input) e non è presente self. È quindi necessario annotare la lifetime.

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"));
}

Più input, output da self

Un metodo con diversi parametri riceve comunque la lifetime dell'output da self in base alla regola 3, anche se sono presenti altri parametri di tipo riferimento.

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"));
}

Perché esistono queste regole

Queste tre regole coprono la stragrande maggioranza del codice reale, quindi la maggior parte delle funzioni non ha bisogno della sintassi delle lifetime. Le annotazioni si scrivono solo quando l'intento è realmente ambiguo.

Una checklist rapida

Per stabilire se si applica l'elisione, si chieda:

Esiste esattamente un riferimento di input? L'output prende in prestito i dati da quello.
È presente &self? L'output prende in prestito i dati da self.
In caso contrario, annoti esplicitamente le lifetime.

Verifica rapida

Verifichi la Sua comprensione delle regole di elisione.

Riepilogo

Ha imparato quando le lifetime vengono inferite:

Regola 1: ogni riferimento di input riceve la propria lifetime
Regola 2: una lifetime di input viene assegnata a tutti gli output
Regola 3: &self fornisce la lifetime dell'output nei metodi
Se gli output rimangono ambigui, è necessario annotare esplicitamente le lifetime

Domande Frequenti

La lezione «Regole di elisione» è gratuita?

Sì — il testo completo di «Regole di elisione» è gratuito qui sul web. Per esercitarvi in modo interattivo (un editor di codice integrato e un tutor IA 24/7) e sbloccare il resto del corso Learn Rust Coding, passa a CoddyKit PRO. Il corso Learn Rust Coding include 4 lezioni in totale.

Cosa imparerò in «Regole di elisione»?

Quando le lifetime vengono inferite Eserciti Learn Rust Coding con codice pratico che esegui direttamente nel browser, e un tutor IA 24/7 risponde alle tue domande mentre lavori sulla lezione.

Ho bisogno di esperienza per iniziare Learn Rust Coding?

Non è richiesta alcuna esperienza precedente. Learn Rust Coding su CoddyKit è strutturato per principianti e studenti avanzati, quindi puoi iniziare da qui o dall'inizio e procedere al tuo ritmo. Questa è la lezione 4 di 4.

Quanto tempo richiede la lezione «Regole di elisione»?

La maggior parte delle lezioni CoddyKit richiede circa 5–10 minuti. Ogni lezione è breve e interattiva, quindi fai progressi costanti e riprendi esattamente da dove hai lasciato su web e app.

Posso scrivere ed eseguire codice in questa lezione Learn Rust Coding?

Sì. Ogni lezione Learn Rust Coding include un editor di codice integrato, quindi scrivi ed esegui codice reale direttamente nel tuo browser e ricevi feedback istantaneo dall'IA — nessuna configurazione locale necessaria.

Tutte le lezioni di questo corso

← Torna a Learn Rust Coding