• 存在问题
    • 参见：

    存在问题

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

    在下面例子中，Contains trait 允许使用泛型类型 A 或 B。然后这个 trait 针对 Container 类型实现，指定 i32 为 A 和 B，因而它可以用到 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 确定的 A 和 B。正如你就要看到的下一节内容，关联类型正好提供了这方面能力。

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

    参见：

    struct, 和 trait