存在问题

trait 如果对实现了它的容器类型是泛型的,则须遵守类型规范要求——trait 的 使用者必须指出 trait 的全部泛型类型。

在下面例子中,Contains trait 允许使用泛型类型 AB。然后我们为 Container 类型实现了这个 trait,将 AB 指定为 i32,这样就可以对 它们使用 difference() 函数。

因为 Contains 是泛型的,我们必须在 fn difference() 中显式地指出所有的泛型 类型。但实际上,我们想要表达,AB 究竟是什么类型是由输入 C 决定的。在 下一节会看到,关联类型恰好提供了这样的功能。

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

参见:

struct, 和 trait