[英]Conflicting trait implementations for types that clearly already implement the trait
[英]Implement trait for Iterator+Clone: conflicting implementations
我想为Iterator
实现一个特性Foo
(即,对于所有实现Iterator
类型),所以我写了这个:
trait Foo {
fn foo(&self);
}
impl<F, FI> Foo for FI
where F: Foo,
FI: Iterator<Item=F> + Clone,
{
fn foo(&self) {
// Just for demonstration
for x in self.clone() {
x.foo();
}
}
}
到目前为止,它编译。 但是,当我另外为另一种类型实现Foo
,例如
impl Foo for u32 {
fn foo(self) { println!("{} u32", self); }
}
我收到以下错误消息:
t.rs:5:1: 7:2 error: conflicting implementations for trait `Foo` [E0119]
t.rs:5 impl Foo for u32 {
t.rs:6 fn foo(self) { println!("{} u32", self); }
t.rs:7 }
t.rs:9:1: 18:2 note: note conflicting implementation here
t.rs:9 impl<F, FI> Foo for FI
t.rs:10 where F: Foo,
t.rs:11 FI: Iterator<Item=F> + Clone,
t.rs:12 {
t.rs:13 fn foo(&self) {
t.rs:14 for x in self.clone() {
我该如何解决这个问题?
简短的回答是,你做不到。 由于您无法确保u32
在某些时候不会实现Iterator
,因此实现确实会发生冲突。 如果你真的想为Iterator
和u32
实现它,你必须以某种方式使实现分离。 实现此目的的一种方法是将其实现为&'a FI
,因为u32
永远不会成为引用。 或者,您可以将迭代器包装在结构中,但这会使其使用时略微不符合人体工程学。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.