登录
目录
当前位置： 首页 > 文档资料 > Rust 程序设计语言 第二版 >

智能指针 - 引用循环与内存泄漏是安全的

优质
小牛编辑
131浏览
2023-12-01

Rust 的内存安全保证使其 难以 意外的制造永远也不会被清理的内存（被称为 内存泄露（memory leak）），但并不是不可能。完全的避免内存泄露并不是同在编译时拒绝数据竞争一样为 Rust 的保证之一，这意味着内存泄露在 Rust 被认为是内存安全的。这一点可以通过 Rc<T> 和 RefCell<T> 看出：有可能会创建个个项之间相互引用的引用。这会造成内存泄露，因为每一项的引用计数将永远也到不了 0，其值也永远也不会被丢弃。

让我们看看引用循环是如何发生的以及如何避免它。以示例 15-28 中的 List 枚举和 tail 方法的定义开始：

文件名: src/main.rs

示例：一个存放 RefCell 的 cons list 定义，这样可以修改 Cons 成员所引用的数据

这里采用了示例 15-6 中 List 定义的另一种变体。现在 Cons 成员的第二个元素是 RefCell<Rc<List>>，这意味着不同于像示例 15-19 那样能够修改 i32 的值，我们希望能够修改 Cons 成员所指向的 List。这里还增加了一个 tail 方法来方便我们在有 Cons 成员的时候访问其第二项。

在示例 15-29 中增加了一个 main 函数，其使用了示例 15-28 中的定义。这些代码在 a 中创建了一个列表，一个指向 a 中列表的 b 列表，接着修改 b 中的列表指向 a 中的列表，这会创建一个引用循环。在这个过程的多个位置有 println! 语句展示引用计数。

Filename: src/main.rs

  1. # use List::{Cons, Nil};
  2. # use std::rc::Rc;
  3. # use std::cell::RefCell;
  4. # #[derive(Debug)]
  5. # enum List {
  6. #     Cons(i32, RefCell<Rc<List>>),
  7. #     Nil,
  8. # }
  9. #
  10. # impl List {
  11. #     fn tail(&self) -> Option<&RefCell<Rc<List>>> {
  12. #         match *self {
  13. #             Cons(_, ref item) => Some(item),
  14. #             Nil => None,
  15. #         }
  16. #     }
  17. # }
  18. #
  19. fn main() {
  20.     let a = Rc::new(Cons(5, RefCell::new(Rc::new(Nil))));
  22.     println!("a initial rc count = {}", Rc::strong_count(&a));
  24.     let b = Rc::new(Cons(10, RefCell::new(Rc::clone(&a))));
  26.     println!("a rc count after b creation = {}", Rc::strong_count(&a));
  27.     println!("b initial rc count = {}", Rc::strong_count(&b));
  28.     println!("b next item = {:?}", b.tail());
  30.     if let Some(link) = a.tail() {
  31.         *link.borrow_mut() = Rc::clone(&b);
  32.     }
  34.     println!("b rc count after changing a = {}", Rc::strong_count(&b));
  35.     println!("a rc count after changing a = {}", Rc::strong_count(&a));
  37.     // Uncomment the next line to see that we have a cycle; it will
  38.     // overflow the stack
  39.     // println!("a next item = {:?}", a.tail());
  40. }

示例 15-29：创建一个引用循环：两个List 值互相指向彼此

这里在变量 a 中创建了一个 Rc 实例来存放初值为 5, Nil 的 List 值。接着在变量 b 中创建了存放包含值 10 和指向列表 a 的 List 的另一个 Rc 实例。

最后，修改 a 使其指向 b 而不是 Nil，这就创建了一个循环。为此需要使用 tail 方法获取 a 中 RefCell 的引用，并放入变量 link 中。接着使用 RefCell 的 borrow_mut 方法将其值从存放 Nil 的 Rc 修改为 b 中的 Rc。

如果保持最后的 println! 行注释并运行代码，会得到如下输出：

  1. a initial rc count = 1
  2. a next item = Some(RefCell { value: Nil })
  3. a rc count after b creation = 2
  4. b initial rc count = 1
  5. b next item = Some(RefCell { value: Cons(5, RefCell { value: Nil }) })
  6. b rc count after changing a = 2
  7. a rc count after changing a = 2

可以看到将 a 修改为指向 b 之后，a 和 b 中都有的 Rc 实例的引用计数为 2。在 main 的结尾，Rust 会尝试首先丢弃 b，这会使 a 和 b 中 Rc 实例的引用计数减一。

然而，因为 仍然引用 b 中的 Rc，Rc 的引用计数是 1 而不是 0，所以 Rc 在堆上的内存不会被丢弃。其内存会因为引用计数为 1 而永远停留。

为了更形象的展示，我们创建了一个如图 15-30 所示的引用循环：

图 15-30: 列表 a 和 b 彼此互相指向形成引用循环

如果取消最后 println! 的注释并运行程序，Rust 会尝试打印出 a 指向 b 指向 a 这样的循环直到栈溢出。

创建引用循环并不容易，但也不是不可能。如果你有包含Rc<T>的RefCell<T>值或类似的嵌套结合了内部可变性和引用计数的类型，请务必小心确保你没有形成一个引用循环；你无法指望 Rust 帮你捕获它们。创建引用循环是一个程序上的逻辑 bug，你应该使用自动化测试、代码评审和其他软件开发最佳实践来使其最小化。

另一个解决方案是重新组织数据结构使得一些引用有所有权而另一些则没有。如此，循环将由一些有所有权的关系和一些没有所有权的关系，而只有所有权关系才影响值是否被丢弃。在示例 15-28 中，我们总是希望 Cons 成员拥有其列表，所以重新组织数据结构是不可能的。让我们看看一个由服结点和结点够长的图的例子，观察何时无所有权关系是一个好的避免引用循环的方法。

避免引用循环：将 Rc<T> 变为 Weak<T>

到目前为止，我们已经展示了调用 Rc::clone 会增加 Rc 实例的 strong_count，和 Rc 实例只在其 strong_count 为 0 时才会被清理。也可以通过调用 Rc::downgrade 并传递 Rc 实例的引用来创建其值的 弱引用（weak reference）。调用 Rc::downgrade 时会得到 Weak<T> 类型的智能指针。不同于将 Rc 实例的 strong_count 加一，调用 Rc::downgrade 会将 weak_count 加一。Rc 类型使用 weak_count 来记录其存在多少个 Weak<T> 引用，类似于 strong_count。其区别在于 weak_count 无需计数为 0 就能使 Rc 实例被清理。

强引用代表如何共享 Rc 实例的引用。弱引用并不代表所有权关系。他们不会造成引用循环，因为任何引入了弱引用的循环一旦所涉及的强引用计数为 0 就会被打破。

<!-- Below: I'm struggling to follow here, why do we want to get a value from Weak? This section is losing me somewhat, can you slow this down, make sure you define anything new up front and give it’s purpose, what we intend it to do? -->

因为 Weak<T> 引用的值可能已经被丢弃了，为了使用 Weak<T> 所指向的值，我们必须确保其值仍然有效。为此可以调用 Weak<T> 实例的 upgrade 方法，这会返回 Option<Rc<T>>。如果 Rc 值还未被丢弃则结果是 Some，如果 Rc 已经被丢弃则结果是 None。因为 upgrade 返回一个 Option，我们确信 Rust 会处理 Some 和 None的情况，并且不会有一个无效的指针。

作为一个例子，不同于使用一个某项只知道其下一项的列表，我们会创建一个某项知道其子项 和 父项的树形结构。

创建树形数据结构：带有子结点的 Node

让我们从一个叫做 Node 的存放拥有所有权的 i32 值和其子 Node 值引用的结构体开始：

文件名: src/main.rs

我们希望能够 Node 拥有其子结点，同时也希望变量可以拥有每个结点以便可以直接访问他们。为此 Vec 的项的类型被定义为 Rc<Node>。我们还希望能改其他结点的子结点，所以 children 中 Vec 被放进了 RefCell。

接下来，使用此结构体定义来创建一个叫做 leaf 的带有值 3 且没有子结点的 Node 实例，和另一个带有值 5 并以 leaf 作为子结点的实例 branch，如示例 15-31 所示：

文件名: src/main.rs

  1. # use std::rc::Rc;
  2. # use std::cell::RefCell;
  3. #
  4. # struct Node {
  5. #     value: i32,
  6. #    children: RefCell<Vec<Rc<Node>>>,
  7. # }
  8. #
  9. fn main() {
  10.     let leaf = Rc::new(Node {
  11.         value: 3,
  12.         children: RefCell::new(vec![]),
  13.     });
  15.     let branch = Rc::new(Node {
  16.         value: 5,
  17.         children: RefCell::new(vec![Rc::clone(&leaf)]),
  18.     });
  19. }

示例 15-31：创建没有子结点的 leaf 结点和以 leaf 作为子结点的 branch 结点

这里克隆了 leaf 中的 Rc 并储存在了 branch 中，这意味着 leaf 中的 Node 现在有两个所有者：leaf和branch。可以通过 branch.children 从 branch 中获得 leaf，不过无法从 leaf 到 branch。leaf 没有到 branch 的引用且并不知道他们相互关联。我们希望 leaf 知道 branch 是其父结点。

增加从子到父的引用

为了使子结点知道其父结点，需要在 Node 结构体定义中增加一个 parent 字段。问题是 parent 的类型应该是什么。我们知道其不能包含 ，因为这样 leaf.parent 将会指向 branch 而 branch.children 会包含 leaf 的指针，这会形成引用循环，会造成其 strong_count 永远也不会为 0.

现在换一种方式思考这个关系，父结点应该拥有其子结点：如果父结点被丢弃了，其子结点也应该被丢弃。然而子结点不应该拥有其父结点：如果丢弃子结点，其父结点应该依然存在。这正是弱引用的例子！

所以 parent 使用 Weak<T> 类型而不是 Rc，具体来说是 RefCell<Weak<Node>>。现在 Node 结构体定义看起来像这样：

<!-- I think because I still don't understand what Weak is, I’m not really sure what it means for the parent to use Weak, can you make sure that’s clear at this point -->

文件名: src/main.rs

  1. use std::rc::{Rc, Weak};
  2. use std::cell::RefCell;
  4. #[derive(Debug)]
  5. struct Node {
  6.     value: i32,
  7.     parent: RefCell<Weak<Node>>,
  8.     children: RefCell<Vec<Rc<Node>>>,
  9. }

文件名: src/main.rs

示例 15-32：一个 leaf 结点，其拥有指向其父结点 branch 的 Weak 引用

创建 leaf 结点类似于示例 15-31 中如何创建 leaf 结点的，除了 parent 字段有所不同：leaf 开始时没有父结点，所以我们新建了一个空的 Weak 引用实例。

此时，当尝试使用 upgrade 方法获取 leaf 的父结点引用时，会得到一个 None 值。如第一个 println! 输出所示：

  1. leaf parent = None

当创建 branch 结点时，其也会新建一个 Weak 引用，因为 branch 并没有父结点。leaf 仍然作为 branch 的一个子结点。一旦在 branch 中有了 Node 实例，就可以修改 leaf 使其拥有指向父结点的 Weak 引用。这里使用了 leaf 中 parent 字段里的 RefCell 的 borrow_mut 方法，接着使用了 Rc::downgrade 函数来从 branch 中的 Rc 值创建了一个指向 branch 的 Weak 引用。

当再次打印出 leaf 的父结点时，这一次将会得到存放了 branch 的 Some 值：现在 leaf 可以访问其父结点了！当打印出 leaf 时，我们也避免了如示例 15-29 中最终会导致栈溢出的循环：Weak 引用被打印为 (Weak)：

  1. leaf parent = Some(Node { value: 5, parent: RefCell { value: (Weak) },
  2. children: RefCell { value: [Node { value: 3, parent: RefCell { value: (Weak) },

没有无限的输出表明这段代码并没有造成引用循环。这一点也可以从观察 Rc::strong_count 和 Rc::weak_count 调用的结果看出。

可视化 strong_count 和 weak_count 的改变

让我们通过创建了一个新的内部作用域并将 branch 的创建放入其中，来观察 Rc 实例的 strong_count 和 weak_count 值的变化。这会展示当 branch 创建和离开作用域被丢弃时会发生什么。这些修改如示例 15-33 所示：

文件名: src/main.rs

示例 15-33：在内部作用域创建 branch 并检查其强弱引用计数

一旦创建了 leaf，其 Rc 的强引用计数为 1，弱引用计数为 0。在内部作用域中创建了 branch 并与 leaf 相关联，此时 branch 中 Rc 的强引用计数为 1，弱引用计数为 1（因为 leaf.parent 通过 Weak<T> 指向 branch）。这里 leaf 的强引用计数为 2，因为现在 branch 的 branch.children 中储存了 leaf 的 Rc 的拷贝，不过弱引用计数仍然为 0。

当内部作用域结束时，branch 离开作用域，其强引用计数减少为 0，所以其 Node 被丢弃。来自 leaf.parent 的弱引用计数 1 与 Node 是否被丢弃无关，所以并没有产生任何内存泄露！

如果在内部作用域结束后尝试访问 leaf 的父结点，会再次得到 None。在程序的结尾，leaf 中 Rc 的强引用计数为 1，弱引用计数为 0，因为因为现在 leaf 又是 Rc 唯一的引用了。

所有这些管理计数和值的逻辑都内建于 Rc 和 Weak 以及它们的 Drop trait 实现中。通过在 Node 定义中指定从子结点到父结点的关系为一个Weak<T>引用，就能够拥有父结点和子结点之间的双向引用而不会造成引用循环和内存泄露。

总结

这一章涵盖了如何使用智能指针来做出不同于 Rust 常规引用默认所提供的保证与取舍。Box<T> 有一个已知的大小并指向分配在堆上的数据。Rc<T> 记录了堆上数据的引用数量以便可以拥有多个所有者。RefCell<T> 和其内部可变性提供了一个可以用于当需要不可变类型但是需要改变其内部值能力的类型，并在运行时而不是编译时检查借用规则。

我们还介绍了提供了很多智能指针功能的 trait Deref 和 Drop。同时探索了会造成内存泄露的引用循环，以及如何使用 来避免它们。

如果本章内容引起了你的兴趣并希望现在就实现你自己的智能指针的话，请阅读 “The Nomicon” 来获取更多有用的信息。

免责声明： 以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。
@小牛知识库 xnip.cn