rust - 在特征边界中引用关联类型

Question

我有一个 trait 是为了加强对另一个 trait 的约束，例如:

trait AssocA {}
trait AssocB: AssocA {}
trait A { type MyAssoc: AssocA; }
trait B: A { type MyAssoc: AssocB; }

如果我使用泛型而不是关联类型，我可以告诉 Rust MyAssoc跨性状相同A和 B :

trait AssocA {}
trait AssocB: AssocA {}
trait A<MyAssoc> where MyAssoc: AssocA {}
trait B<MyAssoc>: A<MyAssoc> where MyAssoc: AssocB { }

如何对关联类型执行相同的操作？

Answer 1

可以通过Self查看实现类型自 B: A , Self::MyAssoc已经存在。

trait B: A where Self::MyAssoc : AssocB {}

这禁止impl B for T {}什么时候<T as A>::MyAssoc不执行 AssocB . (example)