泛型資料型別

你可以使用泛型將具體的欄位型別抽象化：

#[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:?} and {float:?}");
    println!("coords: {:?}", integer.coords());
}

This slide should take about 10 minutes.

問題： 為什麼 T 在 impl<T> Point<T> {} 中重複出現了兩次？
- 因為這是一個泛型型別 T 的 Point 實作，而 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。

Comprehensive Rust 🦀

泛型資料型別