特徵界限

使用泛型時，您通常會需要該型別實作某些特徵，這樣才能呼叫該特徵的方法。

您可以使用 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)。

Comprehensive Rust 🦀

特徵界限