布局
我们设计的关键是RefCell类型。 RefCell的核心是一对方法:
fn borrow(&self) -> Ref<'_, T>;
fn borrow_mut(&self) -> RefMut<'_, T>;
borrow 和 borrow_mut 的规则正是 & 和 &mut 的规则:您可以根据需要多次调用borrow,但是borrow_mut 需要排他性。
RefCell 不是静态地强制执行此操作,而是在运行时强制执行它们。 如果您违反了规则,RefCell 将会发生 panic 并使程序崩溃。 为什么返回 Ref 和 RefMut 这些东西? 好吧,它们的行为本质上类似于 Rcs,只是为了借用。 他们还将 RefCell 借用,直到超出范围。 我们稍后再讨论。
现在,有了Rc和RefCell,我们可以成为……一种无法收集周期冗长而普遍可变的垃圾收集语言! Y-yaaaaay ...
我们希望成为双链接。 这意味着每个节点都有一个指向上一个和下一个节点的指针。 同样,列表本身具有指向第一个和最后一个节点的指针。 这使我们可以在列表的两端快速插入和删除。
所以我们可能想要这样的东西:
use std::rc::Rc;
use std::cell::RefCell;
pub struct List<T> {
head: Link<T>,
tail: Link<T>,
}
type Link<T> = Option<Rc<RefCell<Node<T>>>>;
struct Node<T> {
elem: T,
next: Link<T>,
prev: Link<T>,
}
> cargo build
warning: field is never used: `head`
--> src/fourth.rs:5:5
|
5 | head: Link<T>,
| ^^^^^^^^^^^^^
|
= note: #[warn(dead_code)] on by default
warning: field is never used: `tail`
--> src/fourth.rs:6:5
|
6 | tail: Link<T>,
| ^^^^^^^^^^^^^
warning: field is never used: `elem`
--> src/fourth.rs:12:5
|
12 | elem: T,
| ^^^^^^^
warning: field is never used: `next`
--> src/fourth.rs:13:5
|
13 | next: Link<T>,
| ^^^^^^^^^^^^^
warning: field is never used: `prev`
--> src/fourth.rs:14:5
|
14 | prev: Link<T>,
| ^^^^^^^^^^^^^
嘿,它构建了! 有很多未使用警告代码,但它构建了! 让我们试着使用它。
Last updated
Was this helpful?