too-many-lists/persistent-stack/drop-arc

[giscus[bot]]

too-many-lists/persistent-stack/drop-arc

https://course.rs/too-many-lists/persistent-stack/drop-arc.html

[aln8]

impl<T> Drop for List<T> {
    fn drop(&mut self) {
        while let Some(node) = self.head.take() {
            match Rc::try_unwrap(node) {
                Ok(mut n) => {
                    self.head = n.next.take();
                }
                _ => (),
            }
        }
    }
}

[SF-Zhou]

impl<T> Drop for List<T> {
    fn drop(&mut self) {
        let mut head = self.head.take();
        while let Some(mut node) = head.and_then(|node| Rc::try_unwrap(node).ok()) {
            head = node.next.take();
        }
    }
}

[aln8]

这里对于Drop Trait有点疑问, 本地测试的时候, 如果Rc List不实现Drop Trait, 实际上并不会像Box List产生stack overflow的问题,
查看了Rc和Box的Drop Trait的实现, Rc是有自己Drop的实现的, 而Box的Drop并没有代码, 而是只说了一句
// FIXME: Do nothing, drop is currently performed by compiler.
由于时间有限, 水平有限, 没有再往深去对比生成的汇编. 只是感觉对于Rc List并不需要手动实现Drop

[LovesAsuna]

作者意思应该是自动Drop如果不是尾递归会享受不到这种优化，如果手动把Drop改成迭代形式的话就不会有这种问题了(如果你的List不大看起来没什么区别)

[aln8]

嗯, 这个没什么问题的, 这里我想讨论的其实也是为什么Rc<Node<T>> 可以享受到尾递归优化
从Box<Node<T>>里面的伪代码来看, 是因为多了一步释放Box, 所以不是尾递归. 但是Rc确没有问这个问题.

[GSlun]

我的没有实现 Drop 时，会发生栈溢出，你的测试代码是怎么样的

[GSlun]

    #[test]
    fn drop_test() {
        use crate::rclist::RcList;
        let mut list = RcList::new();
        for i in 0..1000000 {
            list = list.prepend(i);
        }
    }

[lihongtao1024]

我本地测试如果不实现Drop，会发生栈溢出。

[ChangyouSiom]

impl<T> Drop for List<T> {
    fn drop(&mut self) {
        let mut cur_link = self.head.take();
        while let Some(mut boxed_node) = cur_link {
            cur_link = boxed_node.next.take();
        }
    }
}

请问一下大佬， 为什么 self.head.take()没有错误， 而 boxed_node.next.take()会报错，两者同样是有Rc持有啊？

[minminm]

你仔细看看，head是Option，所以可以take，boxed_node是match出来的Rc，不可以take

[lgln0]

把take换成clone应该没问题。。

impl<T> Drop for List<T> {
    fn drop(&mut self) {
        let mut head = self.head.take();
        while let Some(node) = head {
            if Rc::strong_count(&node) > 1 {break;}
            else {
                head = node.next.clone();
            }
            // 原head值（被隐藏）drop，强引用计数-1；原head.next如果有Rc也被drop
        }
    }
}