2017-03-13 23:27:01 +08:00
<!DOCTYPE HTML>
< html lang = "en" >
< head >
< meta charset = "UTF-8" >
< title > `RefCell< T> `和内部可变性模式 - Rust 程序设计语言 简体中文版< / title >
< meta content = "text/html; charset=utf-8" http-equiv = "Content-Type" >
< meta name = "description" content = "Rust 程序设计语言 简体中文版" >
< meta name = "viewport" content = "width=device-width, initial-scale=1" >
< base href = "" >
< link rel = "stylesheet" href = "book.css" >
< link href = 'https://fonts.googleapis.com/css?family=Open+Sans:300italic,400italic,600italic,700italic,800italic,400,300,600,700,800' rel = 'stylesheet' type = 'text/css' >
< link rel = "shortcut icon" href = "favicon.png" >
<!-- Font Awesome -->
< link rel = "stylesheet" href = "https://maxcdn.bootstrapcdn.com/font-awesome/4.3.0/css/font-awesome.min.css" >
< link rel = "stylesheet" href = "highlight.css" >
< link rel = "stylesheet" href = "tomorrow-night.css" >
<!-- MathJax -->
< script type = "text/javascript" src = "https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" > < / script >
<!-- Fetch JQuery from CDN but have a local fallback -->
< script src = "https://code.jquery.com/jquery-2.1.4.min.js" > < / script >
< script >
if (typeof jQuery == 'undefined') {
document.write(unescape("%3Cscript src='jquery.js'%3E%3C/script%3E"));
}
< / script >
< / head >
< body class = "light" >
<!-- Set the theme before any content is loaded, prevents flash -->
< script type = "text/javascript" >
var theme = localStorage.getItem('theme');
if (theme == null) { theme = 'light'; }
$('body').removeClass().addClass(theme);
< / script >
<!-- Hide / unhide sidebar before it is displayed -->
< script type = "text/javascript" >
var sidebar = localStorage.getItem('sidebar');
if (sidebar === "hidden") { $("html").addClass("sidebar-hidden") }
else if (sidebar === "visible") { $("html").addClass("sidebar-visible") }
< / script >
< div id = "sidebar" class = "sidebar" >
2017-04-18 14:55:09 +08:00
< ul class = "chapter" > < li > < a href = "ch01-00-introduction.html" > < strong > 1.< / strong > 介绍< / a > < / li > < li > < ul class = "section" > < li > < a href = "ch01-01-installation.html" > < strong > 1.1.< / strong > 安装< / a > < / li > < li > < a href = "ch01-02-hello-world.html" > < strong > 1.2.< / strong > Hello, World!< / a > < / li > < / ul > < / li > < li > < a href = "ch02-00-guessing-game-tutorial.html" > < strong > 2.< / strong > 猜猜看教程< / a > < / li > < li > < a href = "ch03-00-common-programming-concepts.html" > < strong > 3.< / strong > 通用编程概念< / a > < / li > < li > < ul class = "section" > < li > < a href = "ch03-01-variables-and-mutability.html" > < strong > 3.1.< / strong > 变量和可变性< / a > < / li > < li > < a href = "ch03-02-data-types.html" > < strong > 3.2.< / strong > 数据类型< / a > < / li > < li > < a href = "ch03-03-how-functions-work.html" > < strong > 3.3.< / strong > 函数如何工作< / a > < / li > < li > < a href = "ch03-04-comments.html" > < strong > 3.4.< / strong > 注释< / a > < / li > < li > < a href = "ch03-05-control-flow.html" > < strong > 3.5.< / strong > 控制流< / a > < / li > < / ul > < / li > < li > < a href = "ch04-00-understanding-ownership.html" > < strong > 4.< / strong > 认识所有权< / a > < / li > < li > < ul class = "section" > < li > < a href = "ch04-01-what-is-ownership.html" > < strong > 4.1.< / strong > 什么是所有权< / a > < / li > < li > < a href = "ch04-02-references-and-borrowing.html" > < strong > 4.2.< / strong > 引用 & 借用< / a > < / li > < li > < a href = "ch04-03-slices.html" > < strong > 4.3.< / strong > Slices< / a > < / li > < / ul > < / li > < li > < a href = "ch05-00-structs.html" > < strong > 5.< / strong > 结构体< / a > < / li > < li > < ul class = "section" > < li > < a href = "ch05-01-method-syntax.html" > < strong > 5.1.< / strong > 方法语法< / a > < / li > < / ul > < / li > < li > < a href = "ch06-00-enums.html" > < strong > 6.< / strong > 枚举和模式匹配< / a > < / li > < li > < ul class = "section" > < li > < a href = "ch06-01-defining-an-enum.html" > < strong > 6.1.< / strong > 定义枚举< / a > < / li > < li > < a href = "ch06-02-match.html" > < strong > 6.2.< / strong > < code > match< / code > 控制流运算符< / a > < / li > < li > < a href = "ch06-03-if-let.html" > < strong > 6.3.< / strong > < code > if let< / code > 简单控制流< / a > < / li > < / ul > < / li > < li > < a href = "ch07-00-modules.html" > < strong > 7.< / strong > 模块< / a > < / li > < li > < ul class = "section" > < li > < a href = "ch07-01-mod-and-the-filesystem.html" > < strong > 7.1.< / strong > < code > mod< / code > 和文件系统< / a > < / li > < li > < a href = "ch07-02-controlling-visibility-with-pub.html" > < strong > 7.2.< / strong > 使用< code > pub< / code > 控制可见性< / a > < / li > < li > < a href = "ch07-03-importing-names-with-use.html" > < strong > 7.3.< / strong > 使用< code > use< / code > 导入命名< / a > < / li > < / ul > < / li > < li > < a href = "ch08-00-common-collections.html" > < strong > 8.< / strong > 通用集合类型< / a > < / li > < li > < ul class = "section" > < li > < a href = "ch08-01-vectors.html" > < strong > 8.1.< / strong > vector< / a > < / li > < li > < a href = "ch08-02-strings.html" > < strong > 8.2.< / strong > 字符串< / a > < / li > < li > < a href = "ch08-03-hash-maps.html" > < strong > 8.3.< / strong > 哈希 map< / a > < / li > < / ul > < / li > < li > < a href = "ch09-00-error-handling.html" > < strong > 9.< / strong > 错误处理< / a > < / li > < li > < ul class = "section" > < li > < a href = "ch09-01-unrecoverable-errors-with-panic.html" > < strong > 9.1.< / strong > < code > panic!< / code > 与不可恢复的错误< / a > < / li > < li > < a href = "ch09-02-recoverable-errors-with-result.html" > < strong > 9.2.< / strong > < code > Result< / code > 与可恢复的错误< / a > < / li > < li > < a href = "ch09-03-to-panic-or-not-to-panic.html" > < strong > 9.3.< / strong > < code > panic!< / code > 还是不< code > panic!< / code > < / a > < / li > < / ul > < / li > < li > < a href = "ch10-00-generics.html" > < strong > 10.< / strong > 泛型、trait 和生命周期< / a > < / li > < li > < ul class = "section" > < li > < a href = "ch10-01-syntax.html" > < strong > 10.1.< / strong > 泛型数据类型< / a > < / li > < li > < a href = "ch10-02-traits.html" > < strong > 10.2.< / strong > trait： < / a > < / li > < li > < a href = "ch10-03-lifetime-syntax.html" > < strong > 10.3.< / strong > 生命周期与引用有效性< / a > < / li > < / ul > < / li > < li > < a href = "ch11-00-testing.html" > < strong > 11.< / strong > 测试< / a > < / li > < li > < ul class = "section" > < li > < a href = "ch11-01-writing-tests.html" > < strong > 11.1.< / strong > 编写测试< / a > < / li > < li > < a href = "ch11-02-running-tests.html" > < strong > 11.2.< / strong > 运行测试< / a > < / li > < li > < a href = "ch11-03-test-organization.html" > < strong > 11.3.< / strong > 测试的组织结构< / a > < / li > < / ul > < / li > < li > < a href = "ch12-00-an-io-project.h
2017-03-13 23:27:01 +08:00
< / div >
< div id = "page-wrapper" class = "page-wrapper" >
< div class = "page" >
< div id = "menu-bar" class = "menu-bar" >
< div class = "left-buttons" >
< i id = "sidebar-toggle" class = "fa fa-bars" > < / i >
< i id = "theme-toggle" class = "fa fa-paint-brush" > < / i >
< / div >
< h1 class = "menu-title" > Rust 程序设计语言 简体中文版< / h1 >
< div class = "right-buttons" >
< i id = "print-button" class = "fa fa-print" title = "Print this book" > < / i >
< / div >
< / div >
< div id = "content" class = "content" >
2017-03-16 00:02:13 +08:00
< a class = "header" href = "#refcellt和内部可变性模式" name = "refcellt和内部可变性模式" > < h2 > < code > RefCell< T> < / code > 和内部可变性模式< / h2 > < / a >
< blockquote >
< p > < a href = "https://github.com/rust-lang/book/blob/master/second-edition/src/ch15-05-interior-mutability.md" > ch15-05-interior-mutability.md< / a >
< br >
commit 3f2a1bd8dbb19cc48b210fc4fb35c305c8d81b56< / p >
< / blockquote >
2017-03-17 00:00:53 +08:00
< p > < strong > 内部可变性< / strong > （ < em > Interior mutability< / em > ）是 Rust 中的一个设计模式，它允许你即使在有不可变引用时改变数据，这通常是借用规则所不允许。内部可变性模式涉及到在数据结构中使用< code > unsafe< / code > 代码来模糊 Rust 通常的可变性和借用规则。我们还未讲到不安全代码；第十九章会学习他们。内部可变性模式用于当你可以确保代码在运行时也会遵守借用规则，哪怕编译器也不能保证的情况。引入的< code > unsafe< / code > 代码将被封装进安全的 API 中，而外部类型仍然是不可变的。< / p >
2017-03-16 00:02:13 +08:00
< p > 让我们通过遵循内部可变性模式的< code > RefCell< T> < / code > 类型来开始探索。< / p >
< a class = "header" href = "#refcellt拥有内部可变性" name = "refcellt拥有内部可变性" > < h3 > < code > RefCell< T> < / code > 拥有内部可变性< / h3 > < / a >
< p > 不同于< code > Rc< T> < / code > ， < code > RefCell< T> < / code > 代表其数据的唯一的所有权。那么是什么让< code > RefCell< T> < / code > 不同于像< code > Box< T> < / code > 这样的类型呢？回忆一下第四章所学的借用规则：< / p >
< ol >
< li > 在任意给定时间，< strong > 只能< / strong > 拥有如下中的一个：< / li >
< / ol >
< ul >
< li > 一个可变引用。< / li >
< li > 任意属性的不可变引用。< / li >
< / ul >
< ol start = "2" >
< li > 引用必须总是有效的。< / li >
< / ol >
< p > 对于引用和< code > Box< T> < / code > ，借用规则的不可变性作用于编译时。对于< code > RefCell< T> < / code > ，这些不可变性作用于< strong > 运行时< / strong > 。对于引用，如果违反这些规则，会得到一个编译错误。而对于< code > RefCell< T> < / code > ，违反这些规则会< code > panic!< / code > 。< / p >
2017-05-15 08:27:11 +08:00
< p > Rust 编译器执行的静态分析天生是保守的。代码的一些属性则不可能通过分析代码发现：其中最著名的就是停机问题（停机问题），这超出了本书的范畴，不过如果你感兴趣的话这是一个值得研究的有趣主题。< / p >
< p > 因为一些分析是不可能的， < code > RefCell< T> < / code > 正是用于当你知道代码遵守借用规则，而编译器不能理解的时候。< / p >
2017-03-16 00:02:13 +08:00
< p > 类似于< code > Rc< T> < / code > ， < code > RefCell< T> < / code > 只能用于单线程场景。在并发章节会介绍如何在多线程程序中使用< code > RefCell< T> < / code > 的功能。现在所有你需要知道的就是如果尝试在多线程上下文中使用< code > RefCell< T> < / code > ，会得到一个编译错误。< / p >
< p > 对于引用，可以使用< code > & < / code > 和< code > & mut< / code > 语法来分别创建不可变和可变的引用。不过对于< code > RefCell< T> < / code > ，我们使用< code > borrow< / code > 和< code > borrow_mut< / code > 方法，它是< code > RefCell< T> < / code > 拥有的安全 API 的一部分。< code > borrow< / code > 返回< code > Ref< / code > 类型的智能指针，而< code > borrow_mut< / code > 返回< code > RefMut< / code > 类型的智能指针。这两个类型实现了< code > Deref< / code > 所以可以被当作常规引用处理。< code > Ref< / code > 和< code > RefMut< / code > 动态的借用所有权，而他们的< code > Drop< / code > 实现也动态的释放借用。< / p >
2017-03-17 00:00:53 +08:00
< p > 列表 15-14 展示了如何使用< code > RefCell< T> < / code > 来使函数不可变的和可变的借用它的参数。注意< code > data< / code > 变量使用< code > let data< / code > 而不是< code > let mut data< / code > 来声明为不可变的，而< code > a_fn_that_mutably_borrows< / code > 则允许可变的借用数据并修改它！< / p >
< p > < span class = "filename" > Filename: src/main.rs< / span > < / p >
< pre > < code class = "language-rust" > use std::cell::RefCell;
fn a_fn_that_immutably_borrows(a: & i32) {
println!(" a is {}" , a);
}
fn a_fn_that_mutably_borrows(b: & mut i32) {
*b += 1;
}
fn demo(r: & RefCell< i32> ) {
a_fn_that_immutably_borrows(& r.borrow());
a_fn_that_mutably_borrows(& mut r.borrow_mut());
a_fn_that_immutably_borrows(& r.borrow());
}
fn main() {
let data = RefCell::new(5);
demo(& data);
}
< / code > < / pre >
< p > < span class = "caption" > Listing 15-14: Using < code > RefCell< T> < / code > , < code > borrow< / code > , and
< code > borrow_mut< / code > < / span > < / p >
< p > 这个例子打印出：< / p >
< pre > < code > a is 5
a is 6
< / code > < / pre >
< p > 在< code > main< / code > 函数中，我们新声明了一个包含值 5 的< code > RefCell< T> < / code > ，并储存在变量< code > data< / code > 中，声明时并没有使用< code > mut< / code > 关键字。接着使用< code > data< / code > 的一个不可变引用来调用< code > demo< / code > 函数：对于< code > main< / code > 函数而言< code > data< / code > 是不可变的！< / p >
< p > 在< code > demo< / code > 函数中，通过调用< code > borrow< / code > 方法来获取到< code > RefCell< T> < / code > 中值的不可变引用，并使用这个不可变引用调用了< code > a_fn_that_immutably_borrows< / code > 函数。更为有趣的是，可以通过< code > borrow_mut< / code > 方法来获取< code > RefCell< T> < / code > 中值的< strong > 可变< / strong > 引用，而< code > a_fn_that_mutably_borrows< / code > 函数就允许修改这个值。可以看到下一次调用< code > a_fn_that_immutably_borrows< / code > 时打印出的值是 6 而不是 5。< / p >
< a class = "header" href = "#refcellt在运行时检查借用规则" name = "refcellt在运行时检查借用规则" > < h3 > < code > RefCell< T> < / code > 在运行时检查借用规则< / h3 > < / a >
< p > 回忆一下第四章因为借用规则，尝试使用常规引用在同一作用域中创建两个可变引用的代码无法编译：< / p >
< pre > < code class = "language-rust,ignore" > let mut s = String::from(" hello" );
let r1 = & mut s;
let r2 = & mut s;
< / code > < / pre >
< p > 这会得到一个编译错误：< / p >
< pre > < code > error[E0499]: cannot borrow `s` as mutable more than once at a time
-->
|
5 | let r1 = & mut s;
| - first mutable borrow occurs here
6 | let r2 = & mut s;
| ^ second mutable borrow occurs here
7 | }
| - first borrow ends here
< / code > < / pre >
< p > 与此相反，使用< code > RefCell< T> < / code > 并在同一作用域调用两次< code > borrow_mut< / code > 的代码是< strong > 可以< / strong > 编译的，不过它会在运行时 panic。如下代码： < / p >
< pre > < code class = "language-rust,should_panic" > use std::cell::RefCell;
fn main() {
let s = RefCell::new(String::from(" hello" ));
let r1 = s.borrow_mut();
let r2 = s.borrow_mut();
}
< / code > < / pre >
< p > 能够编译不过在< code > cargo run< / code > 运行时会出现如下错误：< / p >
< pre > < code > Finished dev [unoptimized + debuginfo] target(s) in 0.83 secs
Running `target/debug/refcell`
thread 'main' panicked at 'already borrowed: BorrowMutError',
/stable-dist-rustc/build/src/libcore/result.rs:868
note: Run with `RUST_BACKTRACE=1` for a backtrace.
< / code > < / pre >
2017-05-15 08:27:11 +08:00
< p > 这个运行时< code > BorrowMutError< / code > 类似于编译错误：它表明我们已经可变得借用过一次< code > s< / code > 了，所以不允许再次借用它。我们并没有绕过借用规则，只是选择让 Rust 在运行时而不是编译时执行他们。你可以选择在任何时候任何地方使用< code > RefCell< T> < / code > ，不过除了不得不编写很多< code > RefCell< / code > 之外，最终还是可能会发现其中的问题（可能是在生产环境而不是开发环境）。另外，在运行时检查借用规则有性能惩罚。< / p >
2017-03-17 00:00:53 +08:00
< a class = "header" href = "#结合rct和refcellt来拥有多个可变数据所有者" name = "结合rct和refcellt来拥有多个可变数据所有者" > < h3 > 结合< code > Rc< T> < / code > 和< code > RefCell< T> < / code > 来拥有多个可变数据所有者< / h3 > < / a >
< p > 那么为什么要权衡考虑选择引入< code > RefCell< T> < / code > 呢？好吧，还记得我们说过< code > Rc< T> < / code > 只能拥有一个< code > T< / code > 的不可变引用吗？考虑到< code > RefCell< T> < / code > 是不可变的，但是拥有内部可变性，可以将< code > Rc< T> < / code > 与< code > RefCell< T> < / code > 结合来创造一个既有引用计数又可变的类型。列表 15-15 展示了一个这么做的例子，再次回到列表 15-5 中的 cons list。在这个例子中， < code > i32< / code > 值，我们储存一个< code > Rc< RefCell< i32> > < / code > 值。希望储存这个类型是因为其可以拥有不属于列表一部分的这个值的所有者（< code > Rc< T> < / code > 提供的多个所有者功能），而且还可以改变内部的< code > i32< / code > 值（< code > RefCell< T> < / code > 提供的内部可变性功能）：< / p >
< p > < span class = "filename" > Filename: src/main.rs< / span > < / p >
< pre > < code class = "language-rust" > #[derive(Debug)]
enum List {
Cons(Rc< RefCell< i32> > , Rc< List> ),
Nil,
}
use List::{Cons, Nil};
use std::rc::Rc;
use std::cell::RefCell;
fn main() {
let value = Rc::new(RefCell::new(5));
let a = Cons(value.clone(), Rc::new(Nil));
let shared_list = Rc::new(a);
let b = Cons(Rc::new(RefCell::new(6)), shared_list.clone());
let c = Cons(Rc::new(RefCell::new(10)), shared_list.clone());
*value.borrow_mut() += 10;
println!(" shared_list after = {:?}" , shared_list);
println!(" b after = {:?}" , b);
println!(" c after = {:?}" , c);
}
< / code > < / pre >
< p > < span class = "caption" > Listing 15-15: Using < code > Rc< RefCell< i32> > < / code > to create a
< code > List< / code > that we can mutate< / span > < / p >
< p > 我们创建了一个值，它是< code > Rc< RefCell< i32> > < / code > 的实例。将其储存在变量< code > value< / code > 中因为我们希望之后能直接访问它。接着在< code > a< / code > 中创建了一个拥有存放了< code > value< / code > 值的< code > Cons< / code > 成员的< code > List< / code > ，而且< code > value< / code > 需要被克隆因为我们希望除了< code > a< / code > 之外还拥有< code > value< / code > 的所有权。接着将< code > a< / code > 封装进< code > Rc< T> < / code > 中这样就可以创建都引用< code > a< / code > 的有着不同开头的列表< code > b< / code > 和< code > c< / code > ，类似列表 15-12 中所做的那样。< / p >
< p > 一旦创建了< code > shared_list< / code > 、< code > b< / code > 和< code > c< / code > ，接下来就可以通过解引用< code > Rc< T> < / code > 和对< code > RefCell< / code > 调用< code > borrow_mut< / code > 来将 10 与 5 相加了。< / p >
< p > 当打印出< code > shared_list< / code > 、< code > b< / code > 和< code > c< / code > 时，可以看到他们都拥有被修改的值 15： < / p >
< pre > < code > shared_list after = Cons(RefCell { value: 15 }, Nil)
b after = Cons(RefCell { value: 6 }, Cons(RefCell { value: 15 }, Nil))
c after = Cons(RefCell { value: 10 }, Cons(RefCell { value: 15 }, Nil))
< / code > < / pre >
< p > 这是非常巧妙的！通过使用< code > RefCell< T> < / code > ，我们可以拥有一个表面上不可变的< code > List< / code > ，不过可以使用< code > RefCell< T> < / code > 中提供内部可变性的方法来在需要时修改数据。< code > RefCell< T> < / code > 的运行时借用规则检查也确实保护我们免于出现数据竞争，而且我们也决定牺牲一些速度来换取数据结构的灵活性。< / p >
< p > < code > RefCell< T> < / code > 并不是标准库中唯一提供内部可变性的类型。< code > Cell< T> < / code > 有点类似，不过不同于< code > RefCell< T> < / code > 那样提供内部值的引用，其值被拷贝进和拷贝出< code > Cell< T> < / code > 。< code > Mutex< T> < / code > 提供线程间安全的内部可变性，下一章并发会讨论它的应用。请查看标准库来获取更多细节和不同类型的区别。< / p >
2017-03-16 00:02:13 +08:00
2017-03-13 23:27:01 +08:00
< / div >
<!-- Mobile navigation buttons -->
< a href = "ch15-04-rc.html" class = "mobile-nav-chapters previous" >
< i class = "fa fa-angle-left" > < / i >
< / a >
< a href = "ch15-06-reference-cycles.html" class = "mobile-nav-chapters next" >
< i class = "fa fa-angle-right" > < / i >
< / a >
< / div >
< a href = "ch15-04-rc.html" class = "nav-chapters previous" title = "You can navigate through the chapters using the arrow keys" >
< i class = "fa fa-angle-left" > < / i >
< / a >
< a href = "ch15-06-reference-cycles.html" class = "nav-chapters next" title = "You can navigate through the chapters using the arrow keys" >
< i class = "fa fa-angle-right" > < / i >
< / a >
< / div >
<!-- Local fallback for Font Awesome -->
< script >
if ($(".fa").css("font-family") !== "FontAwesome") {
$('< link rel = "stylesheet" type = "text/css" href = "_FontAwesome/css/font-awesome.css" > ').prependTo('head');
}
< / script >
<!-- Livereload script (if served using the cli tool) -->
< script src = "highlight.js" > < / script >
< script src = "book.js" > < / script >
< / body >
< / html >
