Lifetime
Une durée de vie (lifetime) est la région de code où une référence est valide ; Rust utilise des annotations de durée de vie pour garantir que les références ne survivent jamais aux données qu'elles empruntent.
Objectif
Prévenir les références pendantes à la compilation — le cœur du borrow checker de Rust.
Mécanisme
Annotation 'a : la référence est valide pour la durée de vie 'a. Le compilateur vérifie que les données référencées vivent au moins aussi longtemps que la référence. La durée de vie 'static couvre tout le programme. Les règles d'élision infèrent automatiquement les motifs courants.
Cas d’usage
- Programmation en Rust
- Sûreté des références
- Vérification d'emprunt