Tipos de Dados Genéricos

VocĂȘ pode usar genĂ©ricos para abstrair o tipo concreto do campo:

#[derive(Debug)]
struct Point<T> {
    x: T,
    y: T,
}

impl<T> Point<T> {
    fn coords(&self) -> (&T, &T) {
        (&self.x, &self.y)
    }

    // fn set_x(&mut self, x: T)
}

fn main() {
    let integer = Point { x: 5, y: 10 };
    let float = Point { x: 1.0, y: 4.0 };
    println!("{integer:?} e {float:?}");
    println!("coords: {:?}", integer.coords());
}
This slide should take about 10 minutes.

  • Pergunta: Por que T Ă© especificado duas vezes em impl<T> Point<T> {}? Isso nĂŁo Ă© redundante?

    • Isso ocorre porque Ă© uma seção de implementação genĂ©rica para tipo genĂ©rico. Eles sĂŁo genĂ©ricos de forma independente.
    • Significa que esses mĂ©todos sĂŁo definidos para qualquer T.
    • É possĂ­vel escrever impl Point<u32> { .. }.
      • Point ainda Ă© genĂ©rico e vocĂȘ pode usar Point<f64>, mas os mĂ©todos neste bloco sĂł estarĂŁo disponĂ­veis para Point<u32>.

  • Tente declarar uma nova variĂĄvel let p = Point { x: 5, y: 10.0 };. Atualize o cĂłdigo para permitir pontos que tenham elementos de tipos diferentes, usando duas variĂĄveis de tipo, por exemplo, T e U.