Respuesta

En Rust, las colecciones estándar (como Vec<T>, HashMap<K,V>, HashSet<T>, etc.) implementan el principio de propiedad del contenido. Esto significa que la colección posee todos los objetos que contiene y es responsable de liberar su memoria al eliminarlos.

Por ejemplo, los elementos añadidos a un Vec<T> se trasladan (move) a dicho vector, que luego posee estos elementos:

let s = String::from("hi");
let mut v = Vec::new();
v.push(s); // s ahora está trasladado, no está disponible

Si la colección contiene valores que se pueden copiar, se copian; si son trasladables, se transfieren los derechos de propiedad. Es necesario clonar elementos o la colección cuando queremos mantener el valor original en dos lugares, por ejemplo:

let name = String::from("Olga");
let mut v = Vec::new();
v.push(name.clone());
println!("{}", name); // name sigue estando disponible, ya que fue clonado

Pregunta engañosa

¿Qué sucede al insertar un elemento en HashMap si se utiliza un tipo de datos trasladable (por ejemplo, String) como clave? ¿La clave original estará disponible después de pasarla a HashMap::insert()?

A menudo, se da una respuesta incorrecta: "La clave original permanecerá disponible después de la inserción".

De hecho, la propiedad de la clave y el valor se transfiere a HashMap, y después de la inserción no se pueden usar sin clonarlos previamente:

let key = String::from("id");
let mut map = std::collections::HashMap::new();
map.insert(key, 42); // key ya no está disponible

Intentar acceder a key generará un error de compilación.

Ejemplos de errores reales debido a desconocer los matices del tema

---

Historia Un desarrollador intentó usar un objeto trasladado después de insertarlo en un Vec y recibió el error "value used here after move", sin entender que ahora el Vector lo posee.

---

Historia Al trabajar con HashMap, olvidaron clonar claves en forma de cadena, lo que llevó a la imposibilidad de utilizarlas en otros lugares, requiriendo una importante refactorización del código.

---

Historia En uno de los proyectos, intentaron devolver una referencia a un elemento interno del vector desde fuera de la función, olvidando que la referencia se invalidaría al cambiar el tamaño del vector. Esto llevó a referencias colgantes y a un pánico durante la ejecución.