双向队列与单向栈默认Drop行为差异的疑问

嘿，这个问题问得特别好！我来帮你理清楚为什么两种结构的默认Drop表现差这么大～

先看单向栈的情况 #

你的单向栈用的是Box<StackNode>，Box是独占所有权的智能指针。默认的Drop逻辑是这样的：

• 当你Drop一个Stack，首先会处理它的head字段（Option<Box<StackNode>>）。
• 对Box执行Drop时，会先递归Drop里面的StackNode。
• 而StackNode的next又是一个Box<StackNode>，所以又会触发Box的Drop，进而递归Drop下一个节点……

这个过程是深度优先的递归调用，每一层Drop都会占用调用栈的空间。当你的栈非常大时，调用栈就会被这些递归调用填满，直接触发栈溢出。

再看双向队列的情况 #

你的双向队列用的是Rc<RefCell<DequeNode>>，Rc是共享所有权的智能指针，它的Drop逻辑和Box完全不同：

• Rc的核心是引用计数，当你Drop一个Rc实例时，它只会先把内部的引用计数减1，只有当计数降到0的时候，才会真正Drop它包裹的内容（也就是RefCell<DequeNode>）。
• 当你Drop整个Deque时，只会分别对head和tail的Rc执行计数减1操作——这两步都是O(1)的操作，完全没有递归！

那为什么不会栈溢出？因为整个Deque的默认Drop过程根本不会触发节点的递归Drop。不过这里要提一句：如果你的双向队列是标准的双向链表结构（节点之间互相持有Rc引用），这时候其实会形成循环引用——每个节点的引用计数最后都会停留在1，永远不会降到0，这些节点永远不会被真正回收，会造成内存泄漏。但你说的“works just fine”应该是指不会出现栈溢出的问题，这确实是对的，因为整个Drop过程没有递归调用，自然不会撑爆调用栈。

总结一下 #

• 单向栈用Box：默认Drop是递归深度优先，大列表会栈溢出。
• 双向队列用Rc：默认Drop只是减少引用计数，无递归，所以不会栈溢出，但可能伴随内存泄漏。

内容来源于stack exchange