Question

我想为Foo实现特征Iterator（即，对于所有实现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() {

如何解决此问题？

(Playground)

Answer 1

简短的回答是，你做不到。由于您无法确保u32在某些时候不会实现Iterator，因此实现确实会发生冲突。如果你真的想为Iterator和u32实现它，你必须以某种方式使实现分开。实现此目的的一种方法是将其&'a FI实现，因为u32永远不会成为引用。或者你可以将迭代器包装在一个结构中，尽管这会使它的使用符合人体工程学。

实现Iterator + Clone的特征：冲突的实现

1 个答案: