From 0875516e039c603744ce81ac58858b7ec3344144 Mon Sep 17 00:00:00 2001 From: "Peng Hailin," Date: Fri, 12 May 2023 20:17:27 +0800 Subject: [PATCH] Update Ch15 --- src/Ch15_Smart_Pointers.md | 10 +++++----- src/Ch21_Appendix.md | 6 ++++++ 2 files changed, 11 insertions(+), 5 deletions(-) diff --git a/src/Ch15_Smart_Pointers.md b/src/Ch15_Smart_Pointers.md index 281b8ca..23a59f5 100644 --- a/src/Ch15_Smart_Pointers.md +++ b/src/Ch15_Smart_Pointers.md @@ -1008,7 +1008,7 @@ error: test failed, to rerun pass `--lib` {{#include ../projects/cons_list_demo/src/main.rs}} ``` -*清单 15-24：使用 `Rc>` 创建咱们可改变的 `List`* +*清单 15-24：使用 `Rc>` 创建一个咱们可改变的 `List`* 我们创建了一个值，他是 `Rc>` 的一个实例，并将其存储在一个名为 `value` 的变量中，以便我们稍后可以直接访问。然后我们以持有 `value` 的一个 `Cons` 变种，在 `a` 中创建了一个 `List`。我们需要克隆 `value`，以便 `a` 和 `value` 都拥有内部值 `5` 的所有权，而不是将所有权从 `value` 转移到 `a` 或让 `a` 从 `value` 借用。 @@ -1028,17 +1028,17 @@ $ cargo run lennyp@vm-manj 之后的 c = Cons(RefCell { value: 4 }, Cons(RefCell { value: 15 }, Nil)) ``` -这样的技巧是相当整洁的！通过使用 `RefCell`，咱们就有了对外不可变的 `List` 值（an outwardly immutable `List` value）。而由于咱们可以使用 `RefCell` 上提供了对其内部可变性访问的那些方法，因此就可以在需要的时候修改一些数据。运行时的借用规则检查，保护了咱们免于数据竞争，而有的时候为了数据结构中的此种灵活性，是值得拿运行速度来换取的。请注意 `RefCell` 对于多线程代码是不生效的！`Mutex` 即为线程安全版本的 `RefCell`，而在第 16 章咱们就会讨论到 `Mutex`。 +这个技巧非常整洁! 通过使用 `RefCell`，我们有一个对外不可变的 `List` 值。但是我们可以使用 `RefCell` 上提供对其内部可变性访问的方法，这样我们就可以在需要的时候修改我们的数据。借用规则的运行时检查可以保护我们不受数据竞赛的影响，有时值得用一点速度来换取我们数据结构中的这种灵活性。请注意，`RefCell` 对多线程代码不起作用! `Mutex` 是 `RefCell` 的线程安全版本，我们将在第 16 章讨论 `Mutex`。 -## 引用循环会泄露内存 +## 引用循环可能会泄露内存 **Reference Cycles Can Leak Memory** -Rust 的内存安全，确保的是难于，但并非不可能，意外创建出绝不会被清理的内存（即所谓的 *内存泄露，memory leak*）。完全防止内存泄露，不是 Rust 那些保证之一，这就意味着在 Rust 中，内存泄露即为内存安全的（preventing memory leaks entirely is not one of Rust's gurantees, meaning memory leaks are memory safe in Rust）。通过使用 `Rc` 及 `RefCell` 就能发现，Rust 是允许内存泄露的：创建出其中以循环方式，指向对方的一些引用是有可能的。由于循环中各个引用条目的引用计数，将永远到不了 `0`，而这些值就永远不会被弃用，这就创造了内存泄露。 +Rust 的内存安全保证，使得意外创建出从未清理过的内存（称为 *内存泄漏，memory leak*）很难，但并非不可能。完全防止内存泄漏不是 Rust 的保证之一，这意味着内存泄漏在 Rust 中是内存安全的。通过使用 `Rc` 和 `RefCell`，我们可以看到 Rust 允许内存泄漏：创建出其中项目在循环中相互指向的引用是可能的。这会造成内存泄漏，因为循环中各个项目的引用计数永远不会达到 0，而值永远不会被弃用。 -### 创建出循环引用 +### 创建引用循环 **Creaing a Reference Cycle** diff --git a/src/Ch21_Appendix.md b/src/Ch21_Appendix.md index 02d33c8..12a9ab2 100644 --- a/src/Ch21_Appendix.md +++ b/src/Ch21_Appendix.md @@ -884,6 +884,12 @@ The Rust Prelude, `std::prelude` 模组。前奏是 Rust 自动导入到每个 R The interior mutability pattern, Rust 的一种设计模式，用于改变不可变值内部的某个值。 + +- 内存泄漏 + +Memory leak, 出现未清理内存的情况。 + + - 关联类型 An associated type, 通过 `type Target = t;` 这种语法声明出的类型，是声明泛型参数的一种稍微不同的方式。