En Rust, los lifetimes definen el ámbito de visibilidad de las referencias, de modo que el compilador pueda asegurarse de que los punteros no queden colgando (no hay referencias colgantes). Esto permite garantizar la seguridad de la memoria en tiempo de compilación sin necesidad de un recolector de basura.
Cuando trabajas con referencias, Rust requiere que se indique explícitamente su tiempo de vida cuando el compilador no puede deducirlo por sí mismo. Normalmente, esto se hace utilizando la sintaxis 'a:
fn longest<'a>(x: &'a str, y: &'a str) -> &'a str { if x.len() > y.len() { x } else { y } }
Aquí ambos parámetros y el valor de retorno tienen el mismo lifetime, lo que garantiza que: la referencia devuelta no vivirá más que ninguno de los argumentos.
Los lifetimes no cambian el tiempo de vida de los datos, solo describen su ciclo de vida al compilador.
¿Se puede devolver una referencia a una variable local dentro de una función?
No, no se puede: ya que tal variable se destruirá al salir de la función. Ejemplo:
fn foo() -> &String { // ¡error de compilación! let s = String::from("hello"); &s } // la referencia a s se vuelve inválida
El compilador no permitirá compilar tal código: te protegerá del uso de referencias a datos destruidos.
Historia
En el equipo se produjeron muchas fugas de memoria cuando las funciones accidentalmente devolvían referencias a buffers locales. Esto no funcionó, y solo el compilador, que comenzó a quejarse sobre los lifetimes, lo salvó. Debido a la ocurrencia frecuente de tales errores, se estableció la regla de indicar explícitamente el lifetime si la función trabaja con estructuras complejas con referencias anidadas.
Historia
En un proyecto se escribió código generics para almacenar en caché datos. Con un mal diseño de los parámetros generics de lifetime, surgieron errores de tipo "no se puede inferir el lifetime" y resultó imposible deducir el tiempo de vida de los datos almacenados en caché. Esto llevó a ajustar las anotaciones de lifetime mediante prueba y error, hasta que se tomó la decisión de separar los datos almacenados en caché y no en caché en diferentes estructuras.
Historia
Uno de los colegas intentó implementar un pool de conexiones utilizando referencias a objetos de conexión, pero no tuvo en cuenta que los lifetimes de las conexiones no coincidían con el tiempo de vida del pool. Como resultado, surgieron referencias colgantes después de liberar las conexiones, lo que solo se notó durante la fase de pruebas exhaustivas. Después de eso, el proyecto se transfirió a envolturas seguras (Arc<Mutex<T>>).