存在问题
trait
如果对实现了它的容器类型是泛型的,则须遵守类型规范要求——trait
的
使用者必须指出 trait
的全部泛型类型。
在下面例子中,Contains
trait
允许使用泛型类型 A
和 B
。然后我们为
Container
类型实现了这个 trait,将 A
和 B
指定为 i32
,这样就可以对
它们使用 difference()
函数。
因为 Contains
是泛型的,我们必须在 fn difference()
中显式地指出所有的泛型
类型。但实际上,我们想要表达,A
和 B
究竟是什么类型是由输入 C
决定的。在
下一节会看到,关联类型恰好提供了这样的功能。