Tipos Associados

Tipos associados são tipos de espaço reservado que são fornecidos pela implementação do trait.

#[derive(Debug)]
struct Meters(i32);
#[derive(Debug)]
struct MetersSquared(i32);

trait Multiply {
    type Output;
    fn multiply(&self, other: &Self) -> Self::Output;
}

impl Multiply for Meters {
    type Output = MetersSquared;
    fn multiply(&self, other: &Self) -> Self::Output {
        MetersSquared(self.0 * other.0)
    }
}

fn main() {
    println!("{:?}", Meters(10).multiply(&Meters(20)));
}

  • Os tipos associados são às vezes também chamados de “tipos de saída”. A observação chave é que o implementador, e não o chamador, escolhe esse tipo.

  • Muitos traits da biblioteca padrão têm tipos associados, incluindo operadores aritméticos e Iterator.