2017-03-13 23:27:01 +08:00
|
|
|
|
<!DOCTYPE HTML>
|
|
|
|
|
|
<html lang="en">
|
|
|
|
|
|
<head>
|
|
|
|
|
|
<meta charset="UTF-8">
|
|
|
|
|
|
<title>`Rc<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="#rct-引用计数智能指针" name="rct-引用计数智能指针"><h2><code>Rc<T></code> 引用计数智能指针</h2></a>
|
|
|
|
|
|
<blockquote>
|
|
|
|
|
|
<p><a href="https://github.com/rust-lang/book/blob/master/second-edition/src/ch15-04-rc.md">ch15-04-rc.md</a>
|
|
|
|
|
|
<br>
|
|
|
|
|
|
commit 3f2a1bd8dbb19cc48b210fc4fb35c305c8d81b56</p>
|
|
|
|
|
|
</blockquote>
|
|
|
|
|
|
<p>大部分情况下所有权是非常明确的：可以准确的知道哪个变量拥有某个值。然而并不总是如此；有时确实可能需要多个所有者。为此，Rust 有一个叫做<code>Rc<T></code>的类型。它的名字是<strong>引用计数</strong>（<em>reference counting</em>）的缩写。引用计数意味着它记录一个值引用的数量来知晓这个值是否仍在被使用。如果这个值有零个引用，就知道可以在没有有效引用的前提下清理这个值。</p>
|
|
|
|
|
|
<p>根据现实生活场景来想象的话，它就像一个客厅的电视。当一个人进来看电视时，他打开电视。其他人也会进来看电视。当最后一个人离开房间时，他关掉电视因为它不再被使用了。如果某人在其他人还在看的时候关掉了电视，正在看电视人肯定会抓狂的！</p>
|
|
|
|
|
|
<p><code>Rc<T></code>用于当我们希望在堆上分配一些内存供程序的多个部分读取，而且无法在编译时确定程序的那一部分会最后结束使用它。如果我们知道的话那么常规的所有权规则会在编译时强制起作用。</p>
|
|
|
|
|
|
<p>注意<code>Rc<T></code>只能用于单线程场景；下一章并发会涉及到如何在多线程程序中进行引用计数。如果尝试在多线程中使用<code>Rc<T></code>则会得到一个编译错误。</p>
|
|
|
|
|
|
<a class="header" href="#使用rct分享数据" name="使用rct分享数据"><h3>使用<code>Rc<T></code>分享数据</h3></a>
|
|
|
|
|
|
<p>让我们回到列表 15-5 中的 cons list 例子。在列表 15-11 中尝试使用<code>Box<T></code>定义的<code>List</code>。首先创建了一个包含 5 接着是 10 的列表实例。之后我们想要创建另外两个列表：一个以 3 开始并后接第一个包含 5 和 10 的列表，另一个以 4 开始其后<strong>也</strong>是第一个列表。换句话说，我们希望这两个列表共享第三个列表的所有权，概念上类似于图 15-10：</p>
|
|
|
|
|
|
<p><img alt="Two lists that share ownership of a third list" src="img/trpl15-03.svg" class="center" /></p>
|
|
|
|
|
|
<p><span class="caption">Figure 15-10: Two lists, <code>b</code> and <code>c</code>, sharing ownership
|
|
|
|
|
|
of a third list, <code>a</code></span></p>
|
|
|
|
|
|
<p>尝试使用<code>Box<T></code>定义的<code>List</code>并不能工作，如列表 15-11 所示：</p>
|
|
|
|
|
|
<p><span class="filename">Filename: src/main.rs</span></p>
|
|
|
|
|
|
<pre><code class="language-rust,ignore">enum List {
|
|
|
|
|
|
Cons(i32, Box<List>),
|
|
|
|
|
|
Nil,
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
use List::{Cons, Nil};
|
|
|
|
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
|
|
let a = Cons(5,
|
|
|
|
|
|
Box::new(Cons(10,
|
|
|
|
|
|
Box::new(Nil))));
|
|
|
|
|
|
let b = Cons(3, Box::new(a));
|
|
|
|
|
|
let c = Cons(4, Box::new(a));
|
|
|
|
|
|
}
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
<p><span class="caption">Listing 15-11: Having two lists using <code>Box<T></code> that try
|
|
|
|
|
|
to share ownership of a third list won't work</span></p>
|
|
|
|
|
|
<p>编译会得出如下错误：</p>
|
|
|
|
|
|
<pre><code>error[E0382]: use of moved value: `a`
|
|
|
|
|
|
--> src/main.rs:13:30
|
|
|
|
|
|
|
|
|
|
|
|
|
12 | let b = Cons(3, Box::new(a));
|
|
|
|
|
|
| - value moved here
|
|
|
|
|
|
13 | let c = Cons(4, Box::new(a));
|
|
|
|
|
|
| ^ value used here after move
|
|
|
|
|
|
|
|
|
|
|
|
|
= note: move occurs because `a` has type `List`, which does not
|
|
|
|
|
|
implement the `Copy` trait
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
<p><code>Cons</code>成员拥有其储存的数据，所以当创建<code>b</code>列表时将<code>a</code>的所有权移动到了<code>b</code>。接着当再次尝使用<code>a</code>创建<code>c</code>时，这不被允许因为<code>a</code>的所有权已经被移动。</p>
|
|
|
|
|
|
<p>相反可以改变<code>Cons</code>的定义来存放一个引用，不过接着必须指定生命周期参数，而且也必须以使得列表的每一个元素都与列表本身存在的一样久那样构造列表的元素。否则借用检查器甚至都不会允许我们编译代码。</p>
|
|
|
|
|
|
<p>如列表 15-12 所示，可以将<code>List</code>的定义从<code>Box<T></code>改为<code>Rc<T></code>：</p>
|
|
|
|
|
|
<p><span class="filename">Filename: src/main.rs</span></p>
|
|
|
|
|
|
<pre><code class="language-rust">enum List {
|
|
|
|
|
|
Cons(i32, Rc<List>),
|
|
|
|
|
|
Nil,
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
use List::{Cons, Nil};
|
|
|
|
|
|
use std::rc::Rc;
|
|
|
|
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
|
|
let a = Rc::new(Cons(5, Rc::new(Cons(10, Rc::new(Nil)))));
|
|
|
|
|
|
let b = Cons(3, a.clone());
|
|
|
|
|
|
let c = Cons(4, a.clone());
|
|
|
|
|
|
}
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
<p><span class="caption">Listing 15-12: A definition of <code>List</code> that uses
|
|
|
|
|
|
<code>Rc<T></code></span></p>
|
|
|
|
|
|
<p>注意必须为<code>Rc</code>增加<code>use</code>语句因为它不在 prelude 中。在<code>main</code>中创建了存放 5 和 10 的列表并将其存放在一个叫做<code>a</code>的新的<code>Rc</code>中。接着当创建<code>b</code>和<code>c</code>时，我们对<code>a</code>调用了<code>clone</code>方法。</p>
|
|
|
|
|
|
<a class="header" href="#克隆rct会增加引用计数" name="克隆rct会增加引用计数"><h3>克隆<code>Rc<T></code>会增加引用计数</h3></a>
|
|
|
|
|
|
<p>之前我们见过<code>clone</code>方法，当时使用它来创建某些数据的完整拷贝。但是对于<code>Rc<T></code>来说，它并不创建一个完整的拷贝。<code>Rc<T></code>存放了<strong>引用计数</strong>，也就是说，一个存在多少个克隆的数量。让我们像列表 15-13 那样在创建<code>c</code>时增加一个内部作用域，并在不同的位置打印出关联函数<code>Rc::strong_count</code>的结果。<code>Rc::strong_count</code>返回传递给它的<code>Rc</code>值的引用计数，而在本章的稍后部分介绍避免引用循环时讲到它为什么叫做<code>strong_count</code>。</p>
|
|
|
|
|
|
<p><span class="filename">Filename: src/main.rs</span></p>
|
|
|
|
|
|
<pre><code class="language-rust"># enum List {
|
|
|
|
|
|
# Cons(i32, Rc<List>),
|
|
|
|
|
|
# Nil,
|
|
|
|
|
|
# }
|
|
|
|
|
|
#
|
|
|
|
|
|
# use List::{Cons, Nil};
|
|
|
|
|
|
# use std::rc::Rc;
|
|
|
|
|
|
#
|
|
|
|
|
|
fn main() {
|
|
|
|
|
|
let a = Rc::new(Cons(5, Rc::new(Cons(10, Rc::new(Nil)))));
|
|
|
|
|
|
println!("rc = {}", Rc::strong_count(&a));
|
|
|
|
|
|
let b = Cons(3, a.clone());
|
|
|
|
|
|
println!("rc after creating b = {}", Rc::strong_count(&a));
|
|
|
|
|
|
{
|
|
|
|
|
|
let c = Cons(4, a.clone());
|
|
|
|
|
|
println!("rc after creating c = {}", Rc::strong_count(&a));
|
|
|
|
|
|
}
|
|
|
|
|
|
println!("rc after c goes out of scope = {}", Rc::strong_count(&a));
|
|
|
|
|
|
}
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
<p><span class="caption">Listing 15-13: Printing out the reference count</span></p>
|
|
|
|
|
|
<p>这会打印出：</p>
|
|
|
|
|
|
<pre><code>rc = 1
|
|
|
|
|
|
rc after creating b = 2
|
|
|
|
|
|
rc after creating c = 3
|
|
|
|
|
|
rc after c goes out of scope = 2
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
<p>不难看出<code>a</code>的初始引用计数是一。接着每次调用<code>clone</code>，计数会加一。当<code>c</code>离开作用域时，计数减一，这发生在<code>Rc<T></code>的<code>Drop</code> trait 实现中。这个例子中不能看到的是当<code>b</code>接着是<code>a</code>在<code>main</code>函数的结尾离开作用域时，包含 5 和 10 的列表的引用计数会是 0，这时列表将被丢弃。这个策略允许拥有多个所有者，而引用计数会确保任何所有者存在时这个值保持有效。</p>
|
|
|
|
|
|
<p>在本部分的开始，我们说<code>Rc<T></code>只允许程序的多个部分读取<code>Rc<T></code>中<code>T</code>的不可变引用。如果<code>Rc<T></code>允许一个可变引用，我们将遇到第四章讨论的借用规则所不允许的问题：两个指向同一位置的可变借用会导致数据竞争和不一致。不过可变数据是非常有用的！在下一部分，我们将讨论内部可变性模式和<code>RefCell<T></code>类型，它可以与<code>Rc<T></code>结合使用来处理不可变性的限制。</p>
|
|
|
|
|
|
|
2017-03-13 23:27:01 +08:00
|
|
|
|
</div>
|
|
|
|
|
|
|
|
|
|
|
|
<!-- Mobile navigation buttons -->
|
|
|
|
|
|
|
|
|
|
|
|
<a href="ch15-03-drop.html" class="mobile-nav-chapters previous">
|
|
|
|
|
|
<i class="fa fa-angle-left"></i>
|
|
|
|
|
|
</a>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
<a href="ch15-05-interior-mutability.html" class="mobile-nav-chapters next">
|
|
|
|
|
|
<i class="fa fa-angle-right"></i>
|
|
|
|
|
|
</a>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
</div>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
<a href="ch15-03-drop.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-05-interior-mutability.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>
|
