特征边界
使用泛型时,您通常会想要利用类型来实现某些特性, 这样才能调用此特征的方法。
您可以使用 T: Trait
或 impl Trait
执行此操作:
fn duplicate<T: Clone>(a: T) -> (T, T) { (a.clone(), a.clone()) } // Syntactic sugar for: // fn add_42_millions<T: Into<i32>>(x: T) -> i32 { fn add_42_millions(x: impl Into<i32>) -> i32 { x.into() + 42_000_000 } // struct NotClonable; fn main() { let foo = String::from("foo"); let pair = duplicate(foo); println!("{pair:?}"); let many = add_42_millions(42_i8); println!("{many}"); let many_more = add_42_millions(10_000_000); println!("{many_more}"); }
显示 where
子句,学员在阅读代码时会看到它。
fn duplicate<T>(a: T) -> (T, T)
where
T: Clone,
{
(a.clone(), a.clone())
}
- 它会在您有多个形参的情况下整理函数签名。
- 它具有额外功能,因此也更强大。
- 如果有人提问,便阐明额外功能是指“:”左侧的类别可为任意值,例如
Option<T>
。
- 如果有人提问,便阐明额外功能是指“:”左侧的类别可为任意值,例如