Question

我有一个生命周期问题，我试图实现一个迭代器，通过引用返回它的项目，这里是代码：

struct Foo {
   d: [u8; 42],
   pos: usize
}

impl<'a> Iterator<&'a u8> for Foo {
   fn next<'a>(&'a mut self) -> Option<&'a u8> {
      let r = self.d.get(self.pos);
      if r.is_some() {
         self.pos += 1;
      }
      r
   }
}

fn main() {
   let mut x = Foo {
      d: [1; 42],
      pos: 0
   };

   for i in x {
      println!("{}", i);
   }
}

但是这段代码没有正确编译，我得到一个与参数生命周期有关的问题，这里是相应的错误：

$ rustc test.rs
test.rs:8:5: 14:6 error: method `next` has an incompatible type for trait: expected concrete lifetime, but found bound lifetime parameter
test.rs:8     fn next<'a>(&'a mut self) -> Option<&'a u8> {
test.rs:9         let r = self.d.get(self.pos);
test.rs:10         if r.is_some() {
test.rs:11             self.pos += 1;
test.rs:12         }
test.rs:13         r
           ...
test.rs:8:49: 14:6 note: expected concrete lifetime is the lifetime 'a as defined on the block at 8:48
test.rs:8     fn next<'a>(&'a mut self) -> Option<&'a u8> {
test.rs:9         let r = self.d.get(self.pos);
test.rs:10         if r.is_some() {
test.rs:11             self.pos += 1;
test.rs:12         }
test.rs:13         r
           ...
error: aborting due to previous error

有人知道如何解决此问题并仍然通过引用返回项目吗？

至少这个消息意味着什么：预期具体生命周期，但找到了绑定生命周期参数？

Answer 1

关于使用的Rust版本的注意事项：在撰写此问题和答案时，Iterator特征使用了泛型;它已更改为使用关联类型，现在定义如下：
pub trait Iterator {
    type Item;

    fn next(&mut self) -> Option<Self::Item>;
    …
}
所以这里显示的错误实现将是这样的：
impl<'a> Iterator for Foo {
    type Item = &'a u8;

    fn next<'a>(&'a mut self) -> Option<&'a u8>;
}
实际上，这没有任何影响;只是A变为Self::Item。

Iterator特征的定义是：

pub trait Iterator<A> {
    fn next(&mut self) -> Option<A>;
    …
}

请注意：fn next(&mut self) -> Option<A>。

这是你拥有的：

impl<'a> Iterator<&'a u8> for Foo {
    fn next<'a>(&'a mut self) -> Option<&'a u8>;
}

请注意：fn next<'a>(&'a mut self) -> Option<&'a u8>。

这里有几个问题：

您已经引入了一个新的通用参数<'a>，它不应该存在。为了方便和强调这里发生的事情，我将配置在impl块ρ0上定义的'a和方法ρ1上定义的'a。 他们不一样。
&mut self的生命周期与特质的生命周期不同。
返回类型的生命周期与特征不同：A为&'ρ₀ u8，返回类型在A &'ρ₁ u8的位置使用。它期望混凝土寿命ρ0，但发现寿命ρ1。（我不确定正好“绑定”位意味着什么，所以我会保持安静，以免我错了。）

以下是这相当于：您无法将正在迭代的对象的生命周期连接到&mut self。相反，它必须绑定到您正在实现特征的类型中的某些东西。举个例子，迭代切片中的项是通过创建连接到基础切片impl<'a, T> Iterator<&'a T> for Items<'a, T>的新迭代器对象来完成的。换句话说，迭代特征的设计方式不是，如果你正在生成引用，那么你可以在self内返回一些内容，而是在你引用的另一个对象中返回一些东西。

对于您特定的，可能是简单的示例，您应该停止产生引用，或者更改它以使您的迭代器对象不包含您迭代的数据 - 让它只包含引用对它，例如&'a [T]甚至是Items<'a, T>。

迭代器通过引用返回项目，终身问题

1 个答案: