要求将特征绑定在遗传特征的关联类型上

Question

我有一个traitFoo从另一个traitBar继承。Bar有一个关联的类型Baz。Foo约束Baz使得Baz必须实现Hoge。

trait Hoge {}

trait Bar {
    type Baz;
}

trait Foo: Bar where Self::Baz: Hoge {}

然而，当我定义一个泛型函数时，需要泛型类型T来实现Foo，

// [DESIRED CODE]
fn fizz<T: Foo>(buzz: T) {
    // ...
}

rustc 抱怨 EO277，除非我明确约束 T：

fn fizz<T: Foo>(buzz: T) where T::Baz: Hoge {
    // ...
}

我不明白为什么我需要这样做。我希望能够编写[DESIRED CODE]。推荐的方法是什么？

Answer 1

可以通过在< code>Foo中使用另一个关联类型来解决此问题，因为编译器在关联类型定义(playground)的一部分中接受隐式边界:

trait Foo: Bar<Baz = Self::HogeBaz> {
    type HogeBaz: Hoge;
}

新的关联类型可以隐藏在帮助程序特征中，以避免必须将其包含在每个实现中。完整示例（为清楚起见，请重命名）（游乐场）

trait Bound {
    fn bound();
}

trait Trait {
    type Type;
}

trait BoundedTypeHelper: Trait<Type = Self::BoundedType> {
    type BoundedType: Bound;
}

impl<T> BoundedTypeHelper for T
where
    T: Trait,
    Self::Type: Bound,
{
    type BoundedType = Self::Type;
}

trait UserTrait: BoundedTypeHelper {}

fn fizz<T: UserTrait>() {
    T::Type::bound()
}

我和你们一样认为，最初基于where的边界应该被视为特质定义的一部分，并隐式应用。内联绑定关联类型是可行的，但＜code＞和＜code＞子句不可行，这感觉非常随意。

Answer 2

可悲的是（或者不是），你必须重复界限。

去年，我打开了一个问题，认为类型检查器不一致。代码与您的类似。

@arielb1关闭了该问题，并表示这是有意的行为，并给出了以下解释:

问题是，我们不希望太多的边界隐式可用于函数，因为这可能导致远程更改的脆弱性，从而导致函数停止编译。一个函数基本上有 3 种边界可用：

• 来自显式 where 子句的约束 - 例如，当您有该子句时，T：B。这包括“半显式”大小绑定。
• 来自显式 where 子句的超特征的边界 - 一个 where 子句为其超特征添加边界（作为特征 B：A，T： B 边界添加一个 T：A 边界）。
• 参数的生存期属性中的边界（超寿命/隐含边界/隐含边界）。这些只是生存期界限，与当前问题无关。rust-lang/rfcs#1214 让它们受益匪浅。

如果您的绑定不在列表中，则必须显式添加它才能使用它。我想这应该是一个常见问题解答条目。

今天，我打开了一个问题，要求将此信息添加到文档中。