将通用参数与impl中的关联类型匹配

时间:2015-03-30 12:00:39

标签: generics rust

我有一个具有关联类型和通用struct ::

的特征
trait Generator {
    type Foo;
    fn generate(&self) -> Self::Foo;
}

struct Baz<A, B>
where
    A: Generator,
{
    generator: A, // will be some struct implementing Generator, but the exact type will vary
    vec: Vec<B>,  // Each element will be A::Foo
}

我想generate并将其放入我的矢量中:

impl<A: Generator, B> Baz<A, B> {
    fn addFoo(&mut self) {
        self.vec.push(self.generator.generate());
    }
}

嗯,哦!编译错误:

error[E0308]: mismatched types
  --> src/main.rs:16:27
   |
16 |             self.vec.push(self.generator.generate());
   |                           ^^^^^^^^^^^^^^^^^^^^^^^^^ expected type parameter, found associated type
   |
   = note: expected type `B`
              found type `<A as Generator>::Foo`

很公道,我必须向编译器解释BA::Foo相同;让我们试试where

impl<A: Generator, B> Baz<A, B>
where
    A::Foo = B,
{

没有帮助:

error: equality constraints are not yet supported in where clauses (#20041)
  --> src/main.rs:16:5
   |
16 |     A::Foo = B,
   |     ^^^^^^^^^^
嗯,不等于。也许我可以用冒号操作符代替吗?

impl<A: Generator, B> Baz<A, B>
where
    B: A::Foo,
{
error[E0405]: cannot find trait `Foo` in `A`
  --> src/main.rs:16:11
   |
16 |     B: A::Foo,
   |           ^^^ not found in `A`

不,现在它抱怨A。也许我应该说Generator

impl<A: Generator, B> Baz<A, B>
where
    B: Generator::Foo,
{
error[E0404]: expected trait, found associated type `Generator::Foo`
  --> src/main.rs:16:8
   |
16 |     B: Generator::Foo,
   |        ^^^^^^^^^^^^^^ not a trait

好工作,编译器 - 它特征;它是一个相关的类型,但是它没有告诉我如何编写匹配它的where子句。

3 个答案:

答案 0 :(得分:22)

  

我必须向编译器解释BA::Foo

相同

它有一个特殊的语法:

impl<A, B> Baz<A, B>
where
    A: Generator<Foo = B>,
{
    fn add_foo(&mut self) {
        self.vec.push(self.generator.generate());
    }
}

答案 1 :(得分:12)

诀窍是只有一个通用参数:

trait Generator {
    type Foo;
    fn generate(&self) -> Self::Foo;
}

struct Baz<G>
where
    G: Generator,
{
    generator: G,
    vec: Vec<G::Foo>,
}

impl<G> Baz<G>
where
    G: Generator,
{
    fn add_foo(&mut self) {
        self.vec.push(self.generator.generate());
    }
}

由于向量将包含G::Foo,我们实际上可以这么说。

Rust样式为snake_case,因此我更新了该样式并创建了类型参数G以帮助读者。

答案 2 :(得分:6)

您可以摆脱通用参数B,而不是约束B,而是直接将A::Foo作为第二个通用参数传递给Baz,但是我可以使用impl<A: Generator> Baz<A, A::Foo> { fn addFoo(&mut self) { self.vec.push(self.generator.generate()); } } 。我不确定您的实际问题是否与您展示的简化示例匹配。

{{1}}