Question

我有一个特性，我想说如果一个结构实现了这个特性，那么它也可以作为一个Iterator。但是，在尝试使用struct作为迭代器时，我遇到了编译器错误。

我正在编写一个库，用于从许多不同的文件格式中读取相同类型的数据。我想创建一个通用的＆＃34;读者＆＃34;特质，将返回适当的锈物。我想说每个读者都可以作为迭代器运行，产生该对象。

这是代码

/// A generic trait for reading u32s
trait MyReader {
    fn get_next(&mut self) -> Option<u32>;
}

/// Which means we should be able to iterate over the reader, yielding u32s
impl Iterator for MyReader {
    type Item = u32;
    fn next(&mut self) -> Option<u32> {
        self.get_next()
    }
}

/// Example of a 'reader'
struct MyVec {
    buffer: Vec<u32>,
}

/// This can act as a reader
impl MyReader for MyVec {
    fn get_next(&mut self) -> Option<u32> {
        self.buffer.pop()
    }
}

fn main() {
    // Create a reader
    let mut veccy = MyVec { buffer: vec![1, 2, 3, 4, 5] };

    // Doesn't work :(
    let res = veccy.next();
}

编译器输出：

rustc 1.15.0 (10893a9a3 2017-01-19)
error: no method named `next` found for type `MyVec` in the current scope
  --> <anon>:31:21
   |
31 |     let res = veccy.next();
   |                     ^^^^
   |
   = help: items from traits can only be used if the trait is implemented and in scope; the following traits define an item `next`, perhaps you need to implement one of them:
   = help: candidate #1: `std::iter::Iterator`
   = help: candidate #2: `std::iter::ZipImpl`
   = help: candidate #3: `std::str::pattern::Searcher`

Here是生锈操场上的代码。

在我看来，因为MyVec实现了MyReader，所以它应该可以用作迭代器，因此我应该可以在其上调用.next()。由于我已经实现了MyReader，那么我应该免费获得Iterator的实现，对吧？第impl Iterator for ...行显示Iterator在范围内，因此我无法理解错误的来源。

Answer 1

这条线并没有按照你的想法行事。

impl Iterator for MyReader {

这会为trait object Iterator实施MyReader。您想要的是为每个也实现Iterator的类型实现MyReader。不幸的是，由于一致性规则，这是不可能的。

在Rust中，您只能在定义特征的包中定义特征，或者在定义要实现它的类型的包中实现特征。（对于泛型类型来说，情况有点复杂，但这是基本思想。）在这种情况下，Iterator是标准库的特征，因此您无法在其上实现它您没有定义的任意类型。如果您考虑一下，这是有道理的，因为如果其中一种类型具有Iterator的预先存在的实现，那么您会变得模糊不清 - 会使用哪一种？

一种解决方案是将实现MyReader的类型包装在newtype中，并在其上实现Iterator。由于您自己定义了新类型，因此您可以自由地实现Iterator。

Trait实现了Iterator，但是不能使用实现我的trait的结构作为Iterator

1 个答案: