Borrow vs veränderbar borgen seltsamen Fehler in Lebenszeiten

Question

Beim Versuch, einen Iterator zu implementieren, der veränderbare refs zu Elementen einer verknüpften Liste ergibt, stolperte ich über ein seltsames Problem.

Dies funktioniert:

impl<'a, T> Iterator<&'a T> for LinkedListIterator<'a, T>{ 
    fn next(&mut self) -> Option<&'a T> { 
     match self.current { 
      &Cell(ref x, ref xs) => {self.current = &**xs; Some(x)}, 
      &End     => None 
     } 
    } 
} 

Aber das funktioniert nicht; der Compiler sagt Lebensdauer von self zu kurz ist, seinen Inhalt zu gewährleisten sicher neu aufgenommen werden kann:

impl<'a, T> Iterator<&'a mut T> for LinkedListMutIterator<'a, T>{ 
    fn next(&mut self) -> Option<&'a mut T> { 
     match self.current { 
      &Cell(ref mut x, ref mut xs) => {self.current = &mut **xs; Some(x)}, 
      &End       => None 
     } 
    } 
} 

Ich würde erwarten, dass entweder beide beispielsweise Arbeit oder beides nicht, aber ich kann nicht verstehen, wie Kreditaufnahme etwas wie wandelbar vs not-mutable würde die Art beeinflussen, wie der Compiler nach Lebensdauern sucht. Sicherlich, wenn etwas lange genug lebt, um sicher ausgeliehen zu werden, lebt es lange genug, um sicher umwandelbar geliehen zu werden?

EDIT: Hier ist die Definition der beiden Iteratoren:

pub struct LinkedListIterator<'a, T> 
    current: &'a LinkedList<T> 
} 

pub struct LinkedListMutIterator<'a, T> { 
    current: &'a mut LinkedList<T> 
} 

LinkedLisk:

#[deriving(Eq, Clone)] 
pub enum LinkedList<T> { 
    Cell(T, ~LinkedList<T>), 
    End 
} 

für eine komplette Ansicht der Datei finden Sie in https://github.com/TisButMe/rust-algo/blob/mut_iter/LinkedList/linked_list.rs

Answer 1

Hinweis, die Sie haben habe die Definition (en) von LinkedListMutIterator für die zwei Varianten von Code weggelassen, die für jeden echten Versuch, dein Problem zu reproduzieren und zu analysieren, relevant sein könnten.

---

Also werde ich versuchen zu erraten, was los ist.

Die Compiler-Fehlermeldung hier könnte Sie irreführen; Es gibt andere Faktoren außerhalb der Lebensdauer von self, die hier relevant sein können.

Insbesondere vermute ich, dass der Borg-Checker sich beschwert, weil es versucht, sicherzustellen, dass Sie nicht mehrere veränderbare-borrows erstellen, die denselben Zustand alias haben.

• Es ist Klang mehrere unveränderlich-leiht auf das gleiche Stück Zustand ...

• zu haben ... aber Sie können auf das gleiche Stück Zustand nicht haben mehr änderbaren-borgt (weil wir Möchten Sie sicherstellen, dass, wenn Sie einen &mut Verweis auf einen Zustand haben, dann diese Referenz die einzige Möglichkeit ist, den Status zu ändern).