Traits Genéricos

Traits também podem ser genéricos, assim como tipos e funções. Os parâmetros de um trait recebem tipos concretos quando ele é usado.

#[derive(Debug)]
struct Foo(String);

impl From<u32> for Foo {
    fn from(from: u32) -> Foo {
        Foo(format!("Convertido de inteiro: {from}"))
    }
}

impl From<bool> for Foo {
    fn from(from: bool) -> Foo {
        Foo(format!("Convertido de booleano: {from}"))
    }
}

fn main() {
    let from_int = Foo::from(123);
    let from_bool = Foo::from(true);
    println!("{from_int:?}, {from_bool:?}");
}

O trait From será abordado mais tarde no curso, mas sua definição na documentação std é simples.
As implementações do trait não precisam cobrir todos os possíveis parâmetros de tipo. Aqui, Foo::from("hello") não seria compilado porque não há implementação From<&str> para Foo.
Os traits genéricos recebem tipos como “entrada”, enquanto os tipos associados são uma espécie de tipo de “saída”. Um trait pode ter várias implementações para diferentes tipos de entrada.
Na verdade, o Rust exige que no máximo uma implementação de um trait corresponda a qualquer tipo T. Ao contrário de algumas outras linguagens, o Rust não tem uma heurística para escolher a correspondência “mais específica”. Há trabalho em adicionar esse suporte, chamado especialização.

Keyboard shortcuts

Comprehensive Rust 🦀

Traits Genéricos