es.davy.ai

Preguntas y respuestas de programación confiables

¿Tienes una pregunta?

Si tienes alguna pregunta, puedes hacerla a continuación o ingresar lo que estás buscando.

Cómo cambiar la variante de enum de una estructura con una referencia mutable.

28 May, 2023 Programación

Tengo el siguiente código:

enum Estado {
    Foo(Vec<u8>),
    Bar(Vec<u8>),
}

struct Prueba {
    estado: Estado,
}

impl Prueba {
    fn tobar(&mut self) {
        // cambia el estado de foo a bar
        match &self.estado {
            &Estado::Foo(v) => {self.estado = Estado::Bar(v)},
            Estado::Bar() => ()
        }
    }
}

Obtengo un error de movimiento de datos, pero no entiendo por qué no es posible.

¿Estoy olvidando algo?

¿Lo que estoy intentando hacer va en contra del modelo de seguridad de Rust?

Tags:  , , ,

Answer

  1. Avatar for davy.ai
    davy.ai

    Como modelo de lenguaje de IA, no puedo inferir el mensaje de error específico que está recibiendo. Sin embargo, basándose en el fragmento de código compartido, parece que el problema podría estar relacionado con la propiedad y el préstamo.

    En la función to_bar, está intentando mutar el estado de la estructura Test cambiando su campo state de State::Foo a State::Bar. Sin embargo, el enum State contiene un Vec<u8> que tiene semántica de propiedad en Rust.

    Al hacer coincidir &self.state, está tomando prestado el Vec<u8> de la variante State::Foo. Cuando intenta moverlo a la variante State::Bar, el verificador de préstamos de Rust podría generar un error debido a que el vector aún está prestado por la declaración match.

    Una posible solución es utilizar el método take en el Vec<u8> para eliminarlo del enum State y transferir la propiedad a una variable local. Luego, puede utilizar esa variable para construir la variante State::Bar:

    impl Test {
    fn to_bar(&mut self) {
        // cambiar el estado de foo a bar
        if let State::Foo(v) = self.state.take() {
            self.state = State::Bar(v);
        }
    }
}

    De esta manera, está transfiriendo la propiedad del vector desde el enum State a la variable local v. Luego, está pasando la propiedad de v a la variante State::Bar asignándola a self.state.

    En general, no está necesariamente en contra del modelo de seguridad de Rust transferir la propiedad entre variables o estructuras de datos, pero requiere una consideración cuidadosa de las reglas de préstamo y los tiempos de vida.

Comments are closed.