Fundamentos del préstamo de propiedad en Rust

Introducción

En este laboratorio, aprendemos sobre el préstamo en Rust, que permite acceder a datos sin tomar posesión de ellos mediante el uso de referencias ('&T') en lugar de pasar objetos por valor ('T'). El verificador de préstamos asegura que las referencias siempre apunten a objetos válidos y evita la destrucción de objetos que se están prestando.

Nota: Si el laboratorio no especifica un nombre de archivo, puede usar cualquier nombre de archivo que desee. Por ejemplo, puede usar main.rs, compilarlo y ejecutarlo con rustc main.rs &&./main.

Skills Graph

Préstamo

En la mayoría de los casos, queremos acceder a datos sin tomar posesión de ellos. Para lograr esto, Rust utiliza un mecanismo de préstamo. En lugar de pasar objetos por valor (T), los objetos se pueden pasar por referencia (&T).

El compilador garantiza en forma estática (a través de su verificador de préstamos) que las referencias siempre apunten a objetos válidos. Es decir, mientras existan referencias a un objeto, el objeto no puede ser destruido.

// Esta función toma posesión de una caja y la destruye
fn eat_box_i32(boxed_i32: Box<i32>) {
    println!("Destruyendo caja que contiene {}", boxed_i32);
}

// Esta función presta un i32
fn borrow_i32(borrowed_i32: &i32) {
    println!("Este entero es: {}", borrowed_i32);
}

fn main() {
    // Crea una caja con un i32, y un i32 en la pila
    let boxed_i32 = Box::new(5_i32);
    let stacked_i32 = 6_i32;

    // Presta el contenido de la caja. No se toma posesión,
    // por lo que el contenido se puede prestar nuevamente.
    borrow_i32(&boxed_i32);
    borrow_i32(&stacked_i32);

    {
        // Toma una referencia al dato contenido dentro de la caja
        let _ref_to_i32: &i32 = &boxed_i32;

        // Error!
        // No se puede destruir `boxed_i32` mientras el valor interno esté prestado más adelante en el ámbito.
        eat_box_i32(boxed_i32);
        // FIXME ^ Comenta esta línea

        // Intenta prestar `_ref_to_i32` después de que el valor interno sea destruido
        borrow_i32(_ref_to_i32);
        // `_ref_to_i32` sale del ámbito y ya no está prestado.
    }

    // `boxed_i32` ahora puede entregar la posesión a `eat_box` y ser destruido
    eat_box_i32(boxed_i32);
}

Resumen

¡Felicidades! Has completado el laboratorio de Préstamo. Puedes practicar más laboratorios en LabEx para mejorar tus habilidades.