TryFrom e TryInto

Introdução

Neste laboratório, exploramos o uso de TryFrom e TryInto em Rust, que são traits genéricos usados para conversões falíveis entre tipos e retornam tipos Result. Apresentamos um exemplo de código que demonstra a implementação de TryFrom para converter um i32 em uma estrutura personalizada EvenNumber, e, em seguida, mostramos como usar TryFrom e TryInto para realizar a conversão e lidar com possíveis erros.

Nota: Se o laboratório não especificar um nome de arquivo, você pode usar qualquer nome de arquivo que desejar. Por exemplo, você pode usar main.rs, compilar e executar com rustc main.rs && ./main.

TryFrom e TryInto

Similar a From e Into, TryFrom e TryInto são traits genéricos para conversão entre tipos. Diferentemente de From/Into, os traits TryFrom/TryInto são usados para conversões falíveis, e, como tal, retornam Results.

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(()));
}

Resumo

Parabéns! Você concluiu o laboratório TryFrom e TryInto. Você pode praticar mais laboratórios no LabEx para aprimorar suas habilidades.