too-many-lists/bad-stack/final-code

[giscus[bot]]

too-many-lists/bad-stack/final-code

https://course.rs/too-many-lists/bad-stack/final-code.html

[madaoCN]

直呼：安全！安全！

[NicholasFirst]

cur_link = mem::replace(&mut boxed_node.next, Link::Empty);
drop 里面的这段代码next节点放入了 Link::Empty 后, 怎么就释放内存了呢 ?_?

[EchoStone1101]

replace完成之后，boxed_node所有权就从Link::More内部转移到boxed_node这个变量上，然后在while循环块结尾处就drop掉了；此时因为其next字段被替换成Empty，也不会产生进一步递归drop调用。相当于把递归drop变成了迭代drop，避免爆栈 :)

[royleo35]

我加了迭代drop代码之后依然栈溢出，drop内部挂断点，发现并没有被调用

[GeniusPenguin9]

Another solution for drop()

impl Drop for List {
    fn drop(&mut self) {
        let mut cur_link = mem::replace(&mut self.head, Link::Empty);
        
        while let Link::More(boxed_node) = cur_link {
            cur_link = boxed_node.next; // ownership transfer
        } // boxed_node auto drop 
    }
}

[lzl200110]

这里是因为吧

当 List 被自动 drop 后，接着会去尝试 Drop A，然后是 B，最后是 C。这个时候，其中一部分读者可能会紧张起来，因此这其实是一段递归代码，可能会直接撑爆我们的 stack 栈

[istomyang]

你这个模拟编译器是啥？我也想看看我编写的代码drop怎么实现的

[taiiiyang]

我想问问：
cur_link = mem::replace(&mut boxed_node.next, Link::Empty);
是将next后面的值移动到curlink所指的位置，然后把头结点的next替换为Empty
那剩下这个头结点带着data和Empty怎么进行回收，是离开作用域自动进行drop了吗

[GeniusPenguin9]

我想问问： cur_link = mem::replace(&mut boxed_node.next, Link::Empty); 是将next后面的值移动到curlink所指的位置，然后把头结点的next替换为Empty 那剩下这个头结点带着data和Empty怎么进行回收，是离开作用域自动进行drop了吗

#[test]
fn long_list() {
let mut list = List::new();
for i in 0..100000 {
list.push(i);
}
drop(list);
/** 这个drop函数是std::mem::drop(list), 编译器在处理时：

• 1）先调用了我们自己实现的drop()函数（如果有）
• 2）再调用编译器默认的drop(), drop了头节点的value & Link::Empty
  */
  }

[xiangmengpan]

只有Box<Node>不能进行尾调用优化，把他替换为List::empty之后编译器就会自动优化回收了，也就不会爆栈。（个人见解）

[GeniusPenguin9]

This destructor consists of two components: A call to Drop::drop for that value, if this special Drop trait is implemented for its type. The automatically generated “drop glue” which recursively calls the destructors of all the fields of this value. Reference: https://doc.rust-lang.org/std/ops/trait.Drop.html

…

---------- 该邮件从移动设备发送

--------------原始邮件-------------- 发件人："Ryuzu ***@***.***>; 发送时间：2023年2月1日(星期三) 下午3:29 收件人："sunface/rust-course" ***@***.***>; 抄送："GeniusPenguin9 ***@***.***>;"Comment ***@***.***>; 主题：Re: [sunface/rust-course] too-many-lists/bad-stack/final-code (Discussion #912) ----------------------------------- 也就是说我们自己实现的drop并不会覆盖原来编译器默认实现的drop? 相当于在之前加了一层调用函数? — Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you commented.Message ID: ***@***.***>