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) { self.x = x; } } 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 emimpl<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 usarPoint<f64>
, mas os métodos neste bloco só estarão disponíveis paraPoint<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
eU
.