特征边界

使用泛型时，您通常会想要利用类型来实现某些特性， 这样才能调用此特征的方法。

You can do this with T: Trait:

fn duplicate<T: Clone>(a: T) -> (T, T) {
    (a.clone(), a.clone())
}

// struct NotCloneable;

fn main() {
    let foo = String::from("foo");
    let pair = duplicate(foo);
    println!("{pair:?}");
}

  • Try making a NonCloneable and passing it to duplicate.

  • 当需要多个 trait 时，请使用 + 将它们连接起来。

  • 显示 where 子句，学员在阅读代码时会看到它。

    fn duplicate<T>(a: T) -> (T, T)
where
    T: Clone,
{
    (a.clone(), a.clone())
}
    • 它会在您有多个形参的情况下整理函数签名。
    • 它具有额外功能，因此也更强大。
      • 如果有人提问，便阐明额外功能是指“:”左侧的类别可为任意值，例如 Option<T>。

  • 请注意，Rust 尚不支持专精领域认证。例如，根据原始 duplicate 函数，添加专精领域认证的 Duplicate(a: u32) 是无效的。