泛型类型
您可以使用泛型对具体字段类型进行抽象化处理:
#[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:?} and {float:?}"); println!("coords: {:?}", integer.coords()); }
This slide should take about 10 minutes.
-
*问:*为什么
T
在impl<T> Point<T> {}
中指定了两次?这不是多余的吗?- 这是因为它是泛型类型的泛型实现部分。它们是独立的泛型内容。
- 这意味着这些方法是针对所有
T
定义的。 - It is possible to write
impl Point<u32> { .. }
.Point
依然是一个泛型,并且您可以使用Point<f64>
,但此块中的方法将仅适用于Point<u32>
。
-
请尝试声明一个新变量
let p = Point { x: 5, y: 10.0 };
。通过使用两种类型变量(例如T
和U
),更新代码以允许具有不同类型元素的点。