目录
当前位置: 首页 > 文档资料 > 通过例子学 Rust >

关联项 - 存在问题

优质
小牛编辑
137浏览
2023-12-01

对容器类型为泛型的 trait 有类型规范需要——trait 的成员必须指出全部关于它的泛型类型。

在下面例子中,Contains trait 允许使用泛型类型 AB。然后这个 trait 针对 Container 类型实现,指定 i32AB,因而它可以用到 fn difference()。(本段原文:In the example below, the Contains trait allows the use of the generic types A and B. The trait is then implemented for the Container type,
specifying i32 for A and B so that it can be used with fn difference().)

因为 Contains 是泛型,所以我们被迫显式地指出了针对 fn difference() 的所有泛型类型。实际上,我们只想要一种方式来表示由输入C 确定的 AB。正如你就要看到的下一节内容,关联类型正好提供了这方面能力。

  1. struct Container(i32, i32);
  2. // 这个 trait 检查 2 个项是否存到 Container(容器)中。
  3. // 还会获得第一个值或最后一个值。
  4. trait Contains<A, B> {
  5. fn contains(&self, &A, &B) -> bool; // 显式指出需要 `A` 和 `B`
  6. fn first(&self) -> i32; // 未显式指出需要 `A` 或 `B`
  7. fn last(&self) -> i32; // 未显式指出需要 `A` 或 `B`
  8. }
  9. impl Contains<i32, i32> for Container {
  10. // 如果存储的数字相等则为真。
  11. fn contains(&self, number_1: &i32, number_2: &i32) -> bool {
  12. (&self.0 == number_1) && (&self.1 == number_2)
  13. }
  14. // 得到第一个数字。
  15. fn first(&self) -> i32 { self.0 }
  16. // 得到最后一个数字。
  17. fn last(&self) -> i32 { self.1 }
  18. }
  19. // `C` 包含 `A` 和 `B` 。鉴于此,必须重复表达 `A` 和 `B` 真麻烦。
  20. fn difference<A, B, C>(container: &C) -> i32 where
  21. C: Contains<A, B> {
  22. container.last() - container.first()
  23. }
  24. fn main() {
  25. let number_1 = 3;
  26. let number_2 = 10;
  27. let container = Container(number_1, number_2);
  28. println!("Does container contain {} and {}: {}",
  29. &number_1, &number_2,
  30. container.contains(&number_1, &number_2));
  31. println!("First number: {}", container.first());
  32. println!("Last number: {}", container.last());
  33. println!("The difference is: {}", difference(&container));
  34. }

参见:

struct, 和 trait