Lifetime
Un tiempo de vida (lifetime) es la región de código donde una referencia es válida; Rust usa anotaciones de lifetime para garantizar que las referencias nunca sobrevivan a los datos que toman prestados.
Propósito
Prevenir referencias colgantes (dangling) en tiempo de compilación: el núcleo del borrow checker de Rust.
Mecanismo
Anotación 'a: la referencia es válida durante el lifetime 'a. El compilador comprueba que los datos referenciados viven al menos tanto como la referencia. El lifetime 'static abarca todo el programa. Las reglas de elisión infieren automáticamente los patrones comunes.
Casos de uso
- Programación en Rust
- Seguridad de referencias
- Comprobación de préstamos (borrow checking)