繁体   English   中英

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

[英]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 ,因此实现确实会发生冲突。 如果你真的想为Iteratoru32实现它,你必须以某种方式使实现分离。 实现此目的的一种方法是将其实现为&'a FI ,因为u32永远不会成为引用。 或者,您可以将迭代器包装在结构中,但这会使其使用时略微不符合人体工程学。

暂无
暂无

声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.

 
粤ICP备18138465号  © 2020-2024 STACKOOM.COM