任务分解

pop_front 应该和 push_front 的基本逻辑相同, 但是是反向的:

pub fn pop_front(&mut self) -> Option<T> {
    // need to take the old head, ensuring it's -2
    self.head.take().map(|old_head| {                         // -1 old
        match old_head.borrow_mut().next.take() {
            Some(new_head) => {                               // -1 new
                // not emptying list
                new_head.borrow_mut().prev.take();            // -1 old
                self.head = Some(new_head);                   // +1 new
                // total: -2 old, +0 new
            }
            None => {
                // emptying list
                self.tail.take();                             // -1 old
                // total: -2 old, (no new)
            }
        }
        old_head.elem
    })
}

确认 RefCells。 我想要再次借用...

叹气

看来 Box 真的把我们宠坏了。borrow_mut 只能给我们一个 &mut Node,但是我们不能离开它!

我们需要一个可以接受 RefCell<T> 并且给我们一个 T 的东西。让我们检查一下文档,看看有没有类似的东西:

fn into_inner(self) -> T

Consumes the RefCell, returning the wrapped value.

看起来很有希望!

当 into_inner 想要移出 RefCell,但我们不能,因为它在Rc中。 正如我们在上一章中所看到的,Rc 仅允许我们获取其内部的共享引用。 这很有意义,因为这就是引用计数指针的全部要点:它们是共享的!

当我们想为引用计数列表实现 Drop 时,这对我们来说是个问题,解决方案是相同的:Rc::try_unwrap,如果引用计数为1,则将Rc的内容移出。

Rc::try_unwrap 将返回Result<T, Rc<T>> 。结果是泛型的Option,其中无案例有相关的数据。在这种情况下,您试图打开的 Rc。由于我们不关心它失败的情况(如果我们正确地编写了程序,那么它必须成功) ,我们只是调用 unwrap。

不管怎样,让我们看看接下来会出现什么样的编译错误(让我们面对现实吧,肯定会有一个)。

对 Result 进行解包要求可以 Debug 打印错误情况。 RefCell 仅在 T 执行时才实现Debug。 Node 未实现Debug。

与其这样做,不如通过将 Result 转换为带有 ok 的 Option 来解决:

是的

我们成功了

我们实现了 push 和 pop。

让我们通过窃取旧的链堆的测试代码进行测试(因为这是我们到目前为止已实现的全部):

现在我们可以正确地从列表中删除一些东西,我们可以实现 Drop。这次 Drop 在概念上更有趣一些。以前我们为了避免无限递归而为堆栈实现 Drop,现在我们需要实现 Drop 来实现任何事情。

Rc 不能处理循环。如果有一个循环,所有的东西都会保持存活。事实证明,一个双向链表只是一个由小循环组成的大链!所以当我们删除我们的列表时,两个末端节点的拒绝计数将减少到1... 然后什么也不会发生。如果我们的列表只包含一个节点,我们就可以开始了。但理想情况下,如果列表包含多个元素,那么它应该正常工作。也许那只是我的想法。

正如我们所看到的,删除元素有点痛苦。所以对我们来说最简单的事情就是 pop,直到我们得到 None:

(实际上,我们可以使用可变堆栈来实现这一点,但是快捷方式是为理解事物的人准备的!)

我们可以考虑实现 push 和 pop 的 _back 版本,但它们只是复制粘贴作业,我们将在本章后面讨论。现在让我们来看看更有趣的事情!

Last updated

Was this helpful?