Durées de vie (Rust)
Annotation Rust vérifiée à la compilation qui décrit combien de temps une référence reste valide. S'écrit sous forme d'étiquette 'a. Le borrow checker s'appuie sur les durées de vie pour garantir l'absence de référence pendante. L'un des concepts Rust les plus déroutants pour les débutants.
Règles d'élision des durées de vie : le compilateur les infère dans la plupart des cas (référence à entrée unique, &self), une annotation explicite n'est nécessaire qu'en cas d'ambiguïté. 'static désigne la durée de vie du programme entier (littéraux de chaîne, constantes). Générique sur les durées de vie : fn longest<'a>(x: &'a str, y: &'a str) -> &'a str. Le Rust moderne (NLL, depuis 2018) a rendu les durées de vie plus ergonomiques. Polonius (en développement) doit encore améliorer les choses. Une durée de vie n'est pas une information d'exécution — seulement une vérification à la compilation. Le borrow checker rejette le code ? L'erreur vient typiquement d'une durée de vie mal posée.