From 02fdcfd00d1d79d60104a3478a9c789c8cca40ce Mon Sep 17 00:00:00 2001 From: Alex Chen Date: Tue, 5 Dec 2017 14:28:02 +0800 Subject: [PATCH] Fix #91 --- src/ch15-05-interior-mutability.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ch15-05-interior-mutability.md b/src/ch15-05-interior-mutability.md index eb82b57..63b6bae 100644 --- a/src/ch15-05-interior-mutability.md +++ b/src/ch15-05-interior-mutability.md @@ -19,7 +19,7 @@ 对于引用和`Box`，借用规则的不可变性作用于编译时。对于`RefCell`，这些不可变性作用于**运行时**。对于引用，如果违反这些规则，会得到一个编译错误。而对于`RefCell`，违反这些规则会`panic!`。 -Rust 编译器执行的静态分析天生是保守的。代码的一些属性则不可能通过分析代码发现：其中最著名的就是停机问题（停机问题），这超出了本书的范畴，不过如果你感兴趣的话这是一个值得研究的有趣主题。 +Rust 编译器执行的静态分析天生是保守的。代码的一些属性则不可能通过分析代码发现：其中最著名的就是停机问题（Halting Problem），这超出了本书的范畴，不过如果你感兴趣的话这是一个值得研究的有趣主题。 因为一些分析是不可能的，Rust 编译器在其不确定的时候甚至都不尝试猜测，所以说它是保守的而且有时会拒绝事实上不会违反 Rust 保证的正确的程序。换句话说，如果 Rust 接受不正确的程序，那么人们也就不会相信 Rust 所做的保证了。如果 Rust 拒绝正确的程序，会给程序员带来不便，但不会带来灾难。`RefCell`正是用于当你知道代码遵守借用规则，而编译器不能理解的时候。 @@ -169,4 +169,4 @@ c after = Cons(RefCell { value: 10 }, Cons(RefCell { value: 15 }, Nil)) 这是非常巧妙的！通过使用`RefCell`，我们可以拥有一个表面上不可变的`List`，不过可以使用`RefCell`中提供内部可变性的方法来在需要时修改数据。`RefCell`的运行时借用规则检查也确实保护我们免于出现数据竞争，而且我们也决定牺牲一些速度来换取数据结构的灵活性。 -`RefCell`并不是标准库中唯一提供内部可变性的类型。`Cell`有点类似，不过不同于`RefCell`那样提供内部值的引用，其值被拷贝进和拷贝出`Cell`。`Mutex`提供线程间安全的内部可变性，下一章并发会讨论它的应用。请查看标准库来获取更多细节和不同类型的区别。 \ No newline at end of file +`RefCell`并不是标准库中唯一提供内部可变性的类型。`Cell`有点类似，不过不同于`RefCell`那样提供内部值的引用，其值被拷贝进和拷贝出`Cell`。`Mutex`提供线程间安全的内部可变性，下一章并发会讨论它的应用。请查看标准库来获取更多细节和不同类型的区别。