泛型类型

您可以使用泛型对具体字段类型进行抽象化处理：

1. #[derive(Debug)]
2. struct Point<T> {
3. x: T,
4. y: T,
5. }

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

12. fn set_x(&mut self, x: T) {
13. self.x = x;
14. }
15. }

17. fn main() {
18. let integer = Point { x: 5, y: 10 };
19. let float = Point { x: 1.0, y: 4.0 };
20. println!("{integer:?} and {float:?}");
21. println!("coords: {:?}", integer.coords());
22. }

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），更新代码以允许具有不同类型元素的点。