特征边界
使用泛型时,您通常会想要利用类型来实现某些特性, 这样才能调用此特征的方法。
您可以使用 T: Trait 或 impl Trait 执行此操作:
1. fn duplicate<T: Clone>(a: T) -> (T, T) {
2. (a.clone(), a.clone())
3. }
5. // struct NotClonable;
7. fn main() {
8. let foo = String::from("foo");
9. let pair = duplicate(foo);
10. println!("{pair:?}");
11. }
This slide should take about 8 minutes.
- 请尝试创建一个
NonClonable对象,并将其传递给duplicate函数。 - 当需要多个 trait 时,请使用
+将它们连接起来。 - 显示
where子句,学员在阅读代码时会看到它。
1. fn duplicate<T>(a: T) -> (T, T)
2. where
3. T: Clone,
4. {
5. (a.clone(), a.clone())
6. }
- 它会在您有多个形参的情况下整理函数签名。
- 它具有额外功能,因此也更强大。
- 如果有人提问,便阐明额外功能是指“:”左侧的类别可为任意值,例如
Option<T>。
- 如果有人提问,便阐明额外功能是指“:”左侧的类别可为任意值,例如
- 请注意,Rust 尚不支持专精领域认证。例如,根据原始
duplicate函数,添加专精领域认证的Duplicate(a: u32)是无效的。
