泛型方法
你可以將 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()); }
- 問題: 為什麼
T
在impl<T> Point<T> {}
中重複出現了兩次?- 因為這是一個泛型型別
T
的Point
實作,而Point
的型別為泛型T
。它們是各自獨立的泛型。 - 這表示這個方法是為了任意型別
T
而定義的。 - 你可以寫成
impl Point<u32> { .. }
。- 由於
Point
仍然是泛型型別,你可以使用Point<f64>
,但這個方法將只適用於Point<u32>
。
- 由於
- 因為這是一個泛型型別