Annotazioni delle lifetime
Assegnazione di nomi alle lifetime
Annotazioni delle lifetime è una lezione Learn Rust Coding gratuita su CoddyKit. Questa è la lezione 2 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.
Dare un nome a un lifetime
Un'annotazione di lifetime è un nome che inizia con un apostrofo, come 'a. Non modifica la durata di vita di nulla; descrive le relazioni tra i lifetime dei riferimenti.
Dove inserire le annotazioni
Dichiari i parametri dei lifetime tra parentesi angolari dopo il nome della funzione, quindi li utilizzi nei tipi riferimento, proprio come i parametri di tipo generici.
Sintassi: fn name<'a>(x: &'a T) -> &'a T.
La funzione longest classica
Una funzione che restituisce uno di due riferimenti richiede un'annotazione. 'a indica che il risultato vive quanto il più breve dei due input.
fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
if x.len() > y.len() { x } else { y }
}
fn main() {
let a = String::from("long string");
let b = String::from("short");
println!("{}", longest(&a, &b));
}Che cosa significa 'a in questo caso
L'annotazione comunica al compilatore che il riferimento restituito è valido solo finché sono validi entrambi gli input. Il compilatore verifica quindi ogni punto di chiamata rispetto a questo contratto.
Perché è necessario
Senza l'annotazione, il compilatore non può sapere se il valore restituito prende in prestito da x o da y. Il nome del lifetime li collega, così il borrow checker può ragionare sul risultato.
Lifetime diversi
Quando i riferimenti non sono correlati, assegni loro nomi di lifetime diversi. Qui viene restituito solo x, quindi per il risultato conta solo il suo lifetime.
fn first<'a, 'b>(x: &'a str, _y: &'b str) -> &'a str {
x
}
fn main() {
let a = String::from("keep me");
let b = String::from("ignore");
println!("{}", first(&a, &b));
}I lifetime non prolungano la vita
Le annotazioni non fanno mai vivere più a lungo i dati. Dichiarano solo i vincoli che il compilatore deve verificare. Se un valore viene eliminato troppo presto, il codice non verrà compilato indipendentemente dalle annotazioni.
Una chiamata valida
Finché entrambi gli input sopravvivono all'utilizzo del risultato, la chiamata viene accettata. Qui entrambe le stringhe vivono fino alla stampa, quindi è tutto corretto.
fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
if x.len() > y.len() { x } else { y }
}
fn main() {
let a = String::from("abcdef");
let result;
{
let b = String::from("xy");
result = longest(&a, &b);
println!("chosen: {}", result);
}
}Lifetime e generics
I parametri dei lifetime e quelli di tipo possono comparire insieme. I lifetime vengono elencati per primi tra le parentesi angolari.
use std::fmt::Display;
fn announce<'a, T: Display>(text: &'a str, value: T) -> &'a str {
println!("value is {}", value);
text
}
fn main() {
let msg = String::from("hello");
println!("{}", announce(&msg, 42));
}Il lifetime 'static
'static è un lifetime speciale che indica che il riferimento può vivere per l'intera durata del programma. I letterali stringa lo hanno perché sono incorporati nel binario.
fn motto() -> &'static str {
"fearless concurrency"
}
fn main() {
println!("{}", motto());
}Leggere le annotazioni
Legga &'a str come un riferimento a una stringa valido per il lifetime 'a. Quando due parametri condividono 'a, il compilatore lega i loro lifetime a quello più breve a ogni chiamata.
Verifica rapida
Metta alla prova la sua comprensione delle annotazioni dei lifetime.
Riepilogo
Ha imparato a dare un nome ai lifetime:
- I lifetime usano nomi come
'a, dichiarati tra parentesi angolari - I nomi condivisi esprimono una relazione tra i riferimenti, ad esempio un risultato legato agli input
- Le annotazioni descrivono i lifetime, ma non li estendono mai
'staticsignifica valido per l'intero programma
Impara Rust con un tutor IA — gratis
Scrivi ed esegui vero codice nel tuo browser, ricevi aiuto istantaneo da un tutor IA disponibile 24/7, e riprendi da dove hai lasciato sul web o nell'app.
- Corsi
- 39
- Lezioni
- 144
Domande Frequenti
La lezione «Annotazioni delle lifetime» è gratuita?
Sì — il testo completo di «Annotazioni delle lifetime» è 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 «Annotazioni delle lifetime»?
Assegnazione di nomi alle lifetime 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 2 di 4.
Quanto tempo richiede la lezione «Annotazioni delle lifetime»?
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
- Perché le lifetime
- Annotazioni delle lifetime
- Lifetime nelle struct
- Regole di elisione