任务分解
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) -> TConsumes 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?