泛型方法

你可以將 impl 區塊宣告為泛型型別:

#[derive(Debug)]
struct Point<T>(T, T);

impl<T> Point<T> {
    fn x(&self) -> &T {
        &self.0  // + 10
    }

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

fn main() {
    let p = Point(5, 10);
    println!("p.x = {}", p.x());
}
  • 問題: 為什麼 Timpl<T> Point<T> {} 中重複出現了兩次?
    • 因為這是一個泛型型別 TPoint 實作,而 Point 的型別為泛型 T。它們是各自獨立的泛型。
    • 這表示這個方法是為了任意型別 T 而定義的。
    • 你可以寫成 impl Point<u32> { .. }
      • 由於 Point 仍然是泛型型別,你可以使用 Point<f64>,但這個方法將只適用於 Point<u32>