特性实现是否可以有一个局部变量？

Question

我有一个要迭代的可索引类型。它由一些元数据和一个数组组成。我需要先遍历元数据的字节，然后遍历数组的字节。据我了解，迭代器不能在 trait 实现中拥有任何本地存储。我认为这是非常杂乱无章的，我不希望我的数据类型被满足外来影响的需要所混淆。

impl Iterator for IndexableData {
  type Item = u8
  let index : isize = 0;
  fn next(& mut self) -> Option<Item> {
     if self.index > self.len() { None }
     if self.index > size_of::<Metadata> {
       Some (self.data[index - size_of::<Metadata>])
     } 
     Some (self.metadata[index])
  }
}

这就是我认为实现的样子。 index 变量 属于 在迭代器特征中。不是我的IndexableData 类型。我怎样才能做到这一点？

Answer 1

Iterator 应该是一个单独的结构，它具有对集合的引用以及它可能需要的任何其他数据（例如此索引）。集合对象本身应该不是一个迭代器。这不仅需要在集合中错放额外的元数据，还会阻止您在集合上拥有多个独立的迭代器。