TryFrom y TryInto

Introducción

En este laboratorio, exploramos el uso de TryFrom y TryInto en Rust, que son rasgos genéricos utilizados para conversiones fallibles entre tipos y devuelven tipos Result. Proporcionamos un fragmento de código de ejemplo que demuestra la implementación de TryFrom para convertir un i32 en una estructura personalizada EvenNumber, y luego mostramos cómo usar TryFrom y TryInto para realizar la conversión y manejar los posibles errores.

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

Skills Graph

TryFrom y TryInto

Al igual que From e Into, [TryFrom] y [TryInto] son rasgos genéricos para convertir entre tipos. A diferencia de From/Into, los rasgos TryFrom/TryInto se utilizan para conversiones fallibles y, por lo tanto, devuelven [Result]s.

use std::convert::TryFrom;
use std::convert::TryInto;

#[derive(Debug, PartialEq)]
struct EvenNumber(i32);

impl TryFrom<i32> for EvenNumber {
    type Error = ();

    fn try_from(value: i32) -> Result<Self, Self::Error> {
        if value % 2 == 0 {
            Ok(EvenNumber(value))
        } else {
            Err(())
        }
    }
}

fn main() {
    // TryFrom

    assert_eq!(EvenNumber::try_from(8), Ok(EvenNumber(8)));
    assert_eq!(EvenNumber::try_from(5), Err(()));

    // TryInto

    let result: Result<EvenNumber, ()> = 8i32.try_into();
    assert_eq!(result, Ok(EvenNumber(8)));
    let result: Result<EvenNumber, ()> = 5i32.try_into();
    assert_eq!(result, Err(()));
}

Resumen

¡Felicitaciones! Has completado el laboratorio de TryFrom y TryInto. Puedes practicar más laboratorios en LabEx para mejorar tus habilidades.