Rc<T> 引用计数智能指针

ch15-04-rc.md


commit 071b97540bca12fd416d2ea7a2daa5d3e9c74400

大部分情况下所有权是非常明确的:可以准确的知道哪个变量拥有某个值。然而,有些情况单个值可能会有多个所有者。例如,在图数据结构中,多个边可能指向相同的结点,而这个结点从概念上讲为所有指向它的边所拥有。结点直到没有任何边指向它之前都不应该被清理。

为了启用多所有权,Rust 有一个叫做 Rc<T> 的类型。其名称为 引用计数reference counting)的缩写。引用计数意味着记录一个值引用的数量来知晓这个值是否仍在被使用。如果某个值有零个引用,就代表没有任何有效引用并可以被清理。

可以将其想象为客厅中的电视。当一个人进来看电视时,他打开电视。其他人也可以进来看电视。当最后一个人离开房间时,他关掉电视因为它不再被使用了。如果某人在其他人还在看的时候就关掉了电视,正在看电视的人肯定会抓狂的!

Rc<T> 用于当我们希望在堆上分配一些内存供程序的多个部分读取,而且无法在编译时确定程序的那一部分会最后结束使用它的时候。如果确实知道哪部分会结束使用的话,就可以令其成为数据的所有者同时正常的所有权规则就可以在编译时生效。

注意 Rc<T> 只能用于单线程场景;第十六章并发会涉及到如何在多线程程序中进行引用计数。

使用 Rc<T> 共享数据

让我们回到示例 15-6 中使用 Box<T> 定义 cons list 的例子。这一次,我们希望创建两个共享第三个列表所有权的列表,其概念将会看起来如图 15-19 所示:

Two lists that share ownership of a third list

图 15-19: 两个列表, bc, 共享第三个列表 a 的所有权

列表 a 包含 5 之后是 10,之后是另两个列表:b 从 3 开始而 c 从 4 开始。bc 会接上包含 5 和 10 的列表 a。换句话说,这两个列表会尝试共享第一个列表所包含的 5 和 10。

尝试使用 Box<T> 定义的 List 并实现不能工作,如示例 15-20 所示:

文件名: src/main.rs

  1. enum List {
  2. Cons(i32, Box<List>),
  3. Nil,
  4. }
  5. use List::{Cons, Nil};
  6. fn main() {
  7. let a = Cons(5,
  8. Box::new(Cons(10,
  9. Box::new(Nil))));
  10. let b = Cons(3, Box::new(a));
  11. let c = Cons(4, Box::new(a));
  12. }

示例 15-20: 展示不能用两个 Box<T> 的列表尝试共享第三个列表的所有权/span>

编译会得出如下错误:

  1. error[E0382]: use of moved value: `a`
  2. --> src/main.rs:13:30
  3. |
  4. 12 | let b = Cons(3, Box::new(a));
  5. | - value moved here
  6. 13 | let c = Cons(4, Box::new(a));
  7. | ^ value used here after move
  8. |
  9. = note: move occurs because `a` has type `List`, which does not
  10. implement the `Copy` trait

Cons 成员拥有其储存的数据,所以当创建 b 列表时,a 被移动进了 b 这样 b 就拥有了 a。接着当再次尝使用 a 创建 c 时,这不被允许因为 a 的所有权已经被移动。

可以改变 Cons 的定义来存放一个引用,不过接着必须指定生命周期参数。通过指定生命周期参数,表明列表中的每一个元素都至少与列表本身存在的一样久。例如,借用检查器不会允许 let a = Cons(10, &Nil); 编译,因为临时值 Nil 会在 a 获取其引用之前就被丢弃了。

相反,我们修改 List 的定义为使用 Rc<T> 代替 Box<T>,如列表 15-21 所示。现在每一个 Cons 变量都包含一个值和一个指向 ListRc。当创建 b 时,不同于获取 a 的所有权,这里会克隆 a 所包含的 Rc,这会将引用计数从 1 增加到 2 并允许 ab 共享 Rc 中数据的所有权。创建 c 时也会克隆 a,这会将引用计数从 2 增加为 3。每次调用 Rc::cloneRc 中数据的引用计数都会增加,直到有零个引用之前其数据都不会被清理:

文件名: src/main.rs

  1. enum List {
  2. Cons(i32, Rc<List>),
  3. Nil,
  4. }
  5. use List::{Cons, Nil};
  6. use std::rc::Rc;
  7. fn main() {
  8. let a = Rc::new(Cons(5, Rc::new(Cons(10, Rc::new(Nil)))));
  9. let b = Cons(3, Rc::clone(&a));
  10. let c = Cons(4, Rc::clone(&a));
  11. }

示例 15-21: 使用 Rc<T> 定义的 List

需要为 Rc 增加use语句因为它不在 prelude 中。在 main 中创建了存放 5 和 10 的列表并将其存放在 a 的新的 Rc 中。接着当创建 bc 时,调用 Rc::clone 函数并传递 aRc 的引用作为参数。

也可以调用 a.clone() 而不是 Rc::clone(&a),不过在这里 Rust 的习惯是使用 Rc::cloneRc::clone 的实现并不像大部分类型的 clone 实现那样对所有数据进行深拷贝。Rc::clone 只会增加引用计数,这并不会花费多少时间。深拷贝可能会花费很长时间,所以通过使用 Rc::clone 进行引用计数,可以明显的区别可能会对运行时性能有巨大影响的深拷贝和不分配内存的对运行时性能影响相对较小的增加引用计数拷贝。

克隆 Rc<T> 会增加引用计数

让我们修改示例 15-21 的代码以便观察创建和丢弃 aRc 的引用时引用计数的变化。

在示例 15-22 中,修改了 main 以便将列表 c 置于内部作用域中,这样就可以观察当 c 离开作用域时引用计数如何变化。在程序中每个引用计数变化的点,会打印出引用计数,其值可以通过调用 Rc::strong_count 函数获得。在本章稍后的部分讨论避免引用循环时会解释为何这个函数叫做 strong_count 而不是 count

文件名: src/main.rs

  1. # enum List {
  2. # Cons(i32, Rc<List>),
  3. # Nil,
  4. # }
  5. #
  6. # use List::{Cons, Nil};
  7. # use std::rc::Rc;
  8. #
  9. fn main() {
  10. let a = Rc::new(Cons(5, Rc::new(Cons(10, Rc::new(Nil)))));
  11. println!("count after creating a = {}", Rc::strong_count(&a));
  12. let b = Cons(3, Rc::clone(&a));
  13. println!("count after creating b = {}", Rc::strong_count(&a));
  14. {
  15. let c = Cons(4, Rc::clone(&a));
  16. println!("count after creating c = {}", Rc::strong_count(&a));
  17. }
  18. println!("count after c goes out of scope = {}", Rc::strong_count(&a));
  19. }

示例 15-22:打印出引用计数

这会打印出:

  1. count after creating a = 1
  2. count after creating b = 2
  3. count after creating c = 3
  4. count after c goes out of scope = 2

我们能够看到 aRc 的初始引用计数为一,接着每次调用 clone,计数会增加一。当 c 离开作用域时,计数减一。不必像调用 Rc::clone 增加引用计数那样调用一个函数来减少计数;Drop trait 的实现当 Rc 值离开作用域时自动减少引用计数。

从这个例子我们所不能看到的是在 main 的结尾当 b 然后是 a 离开作用域时,此处计数会是 0,同时 Rc 被完全清理。使用 Rc 允许一个值有多个所有者,引用计数则确保只要任何所有者依然存在其值也保持有效。

Rc<T> 允许通过不可变引用来只读的在程序的多个部分共享数据。如果 Rc<T> 也允许多个可变引用,则会违反第四章讨论的借用规则之一:相同位置的多个可变借用可能造成数据竞争和不一致。不过可以修改数据是非常有用的!在下一部分,我们将讨论内部可变性模式和 RefCell<T> 类型,它可以与 Rc<T> 结合使用来处理不可变性的限制。