特征是否可以具有由泛型参数化的超级特征？

Question

你能在 Rust 中做这样的事情吗？

trait A : forall<T> B<T> { ... }

也就是说，如果我们想要：

impl A for D { ... }

我们首先要落实：

impl<T> B<T> for D { ... }

Answer 1

不可以。Rust 的类型系统当前不支持任何涉及更高种类类型的功能。但是，它确实支持与您所描述的类似的结构，但仅限于生命周期参数。例如：

trait B<'a> {}

trait A: for<'a> B<'a> {}

struct D;

impl A for D { }

这是一个错误：

trait B<'a> {}

trait A: for<'a> B<'a> {}

struct D;

impl A for D { }

直到您添加一揽子实施：

impl<'a> B<'a> for D { }

Rust 最终也为类型添加类似的功能并非不可能，但我预计不会很快实现。