too-many-lists/deque/layout

[giscus[bot]]

too-many-lists/deque/layout

https://course.rs/too-many-lists/deque/layout.html

[jan6055]

pop的代码有些难懂，我这写了注释，大家看一下吧

pub fn pop_front(&mut self) -> Option<T>{
        /******************注意区分头指针和头节点的不同,List中的head和tail只是一个被Option包装过的指针********************/
        //如果head是None，则不会执行map中的闭包，直接返回None，
        //换句话说，如果闭包被执行，则这个链表一顶不为空
        self.head.take().map(|old_head| {
            match old_head.borrow_mut().next.take() {
                //pop之后是不是一个空链表
                Some(new_head) => {
                    //new_head:Rc 指向被pop的Node的下一个Node
                    //让新的Node不再指向被pop的Node
                    new_head.borrow_mut().prev.take();
                    //重新让head指向一个Node——新的头节点，即被pop的Node的下一个Node
                    self.head = Some(new_head);
                },
                //pop之后是一个空链表
                None => {
                    //此时的尾tail中的Rc还指向着已经被pop的链表，重置tail为None
                    self.tail.take();
                }
            }
            //根据上面的代码，这里蕴含着old_head一定是强引用
            Rc::try_unwrap(old_head).ok().unwrap().into_inner().data
        })
    }

[hu76589]

两个疑问：
1、self.tail.take(); 如果换成 self.tail = None; 会不会造成内存泄露？
2、为什么不需要self.head.take();

[xingkong2053]

impl<T> List<T> {
  pub fn new() -> Self{
    List { head: None, tail: None }
  }
  pub fn push_front(&mut self,elem: T){
    let new_head = Node::new(elem);
    // 头部插入
    if let Some(old_head) = self.head.take() {
      // 非空链表
      // old_head.prev = new_head
      // refCell.borrow_mut() : 解refcell
      old_head.borrow_mut().prev = Some(new_head.clone());
      // new_head.next -> old_head
      new_head.borrow_mut().next = Some(old_head/* 后边不会用到old_head这个变量, 直接将所有权转移就行*/);
      // head -> new_head
      self.head = Some(new_head);
    } else {
      // 空链表
      // tail -> new_head
      self.tail = Some(new_head.clone());
      // head -> new_head
      self.head = Some(new_head);
    }
  }
  pub fn pop_front(&mut self) -> Option<T>{
    let old_head = self.head.take()?;
    if let Some(new_head) = old_head.borrow_mut().next.take() {
      // 非空链表
      // new_head.prev = null
      new_head.borrow_mut().prev.take();
      // list.head = new_head
      self.head = Some(new_head);
    } else {
      // 空链表
      // tail -> null
      self.tail.take();
    }

    // ?
    Some(Rc::try_unwrap(old_head).ok().unwrap().into_inner().elem)
  }
}