我有一个具有关联类型和通用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`
很公道,我必须向编译器解释B
与A::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子句。
答案 0 :(得分:22)
我必须向编译器解释
相同B
与A::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}}