特徵界限
使用泛型時,您通常會需要該型別實作 某些特徵,這樣才能呼叫該特徵的方法。
您可以使用 T: Trait
或 impl Trait
執行此操作:
fn duplicate<T: Clone>(a: T) -> (T, T) { (a.clone(), a.clone()) } // struct NotClonable; fn main() { let foo = String::from("foo"); let pair = duplicate(foo); println!("{pair:?}"); }
This slide should take about 8 minutes.
-
請嘗試建立
NonClonable
並將其傳送至duplicate
。 -
如果需要多個特徵,請使用
+
彙整特徵。 -
顯示
where
子句,學生在閱讀程式碼時會看到此內容。fn duplicate<T>(a: T) -> (T, T) where T: Clone, { (a.clone(), a.clone()) }
- 如果您有多個參數,這個子句可以整理函式簽名。
- 這個子句具有額外功能,因此效能也更強大。
- 如果有人提問,請說明額外功能是指 ":" 左側的類別可為任意值,例如
Option<T>
。
- 如果有人提問,請說明額外功能是指 ":" 左側的類別可為任意值,例如
-
請注意,Rust 尚不支援特化。舉例來說,對於原始的
duplicate
,您無法新增特化的duplicate(a: u32)
。