Dożywotni problem z implementacją Iteratora

Question

Wprowadziłem cechę Iterator dla kilku struktur i napotkałem pewne problemy. Dlaczego implementacja Iterator dla Rows pokazuje błąd? Oto link: link to playground

Zasadniczo dlaczego to nie działa?

struct Stripe<'a> { 
    cells: &'a [u32], 
} 

struct Rows<'a> { 
    foo: &'a Foo, 
    vec: Vec<u32>, 
    first: bool, 
} 

impl<'a> std::iter::Iterator for Rows<'a> { 
    type Item = Stripe<'a>; 
    fn next(&mut self) -> Option<Stripe<'a>> { 
     if self.first { 
      self.first = false; 
      Some(
       Stripe { 
        cells: &self.vec[0..1], 
       } 
      ) 
     } else { 
      None 
     } 
    } 
} 

Answer 1

Żywotność 'a w rodzaju odnosi się tylko do jednego pola typu. Odniesienia, które powracasz, nie mają nic wspólnego z tym życiem. Cecha Iterator nie pozwala na powrót wcieleń do samego obiektu iteratora. To wymagałoby dodania nowego okresu użytkowania do funkcji next.

Proponuję utworzyć RowsIterator typ z odniesieniem do obiektu Rows i obsłużyć rzeczy iterator specyficzne tam:

struct Stripe<'a> { 
    cells: &'a [u32], 
} 

struct Rows { 
    vec: Vec<u32>, 
} 

struct RowsIter<'a> { 
    rows: &'a Rows, 
    first: bool, 
} 

impl<'a> std::iter::Iterator for RowsIter<'a> { 
    type Item = Stripe<'a>; 
    fn next(&mut self) -> Option<Stripe<'a>> { 
     if self.first { 
      self.first = false; 
      Some(
       Stripe { 
        cells: &self.rows.vec[0..1], 
       } 
      ) 
     } else { 
      None 
     } 
    } 
} 

Pełny przykład w playground