|
|
|
@ -122,14 +122,14 @@ commit f828919e62aa542aaaae03c1fb565da42374213e</p>
|
|
|
|
<blockquote>
|
|
|
|
<blockquote>
|
|
|
|
<p><a href="https://github.com/rust-lang/book/blob/master/src/ch01-02-hello-world.md">ch01-02-hello-world.md</a>
|
|
|
|
<p><a href="https://github.com/rust-lang/book/blob/master/src/ch01-02-hello-world.md">ch01-02-hello-world.md</a>
|
|
|
|
<br>
|
|
|
|
<br>
|
|
|
|
commit aa1801d99cd3b19c96533f00c852b1c4bd5350a6</p>
|
|
|
|
commit ccbeea7b9fe115cd545881618fe14229d18b307f</p>
|
|
|
|
</blockquote>
|
|
|
|
</blockquote>
|
|
|
|
<p>现在你已经安装好了 Rust，让我们来编写你的第一个 Rust 程序。当学习一门新语言的时候，编写一个在屏幕上打印 “Hello, world!” 文本的小程序是一个传统，而在这一部分，我们将遵循这个传统。</p>
|
|
|
|
<p>现在你已经安装好了 Rust，让我们来编写你的第一个 Rust 程序。当学习一门新语言的时候，编写一个在屏幕上打印 “Hello, world!” 文本的小程序是一个传统，而在这一部分，我们将遵循这个传统。</p>
|
|
|
|
<blockquote>
|
|
|
|
<blockquote>
|
|
|
|
<p>注意：本书假设你熟悉基本的命令行操作。Rust 本身并不对你的编辑器，工具和你的代码存放在何处有什么特定的要求，所以如果你比起命令行更喜欢 IDE，请随意选择你喜欢的 IDE。</p>
|
|
|
|
<p>注意：本书假设你熟悉基本的命令行操作。Rust 本身并不对你的编辑器，工具和你的代码存放在何处有什么特定的要求，所以如果你比起命令行更喜欢 IDE，请随意选择你喜欢的 IDE。</p>
|
|
|
|
</blockquote>
|
|
|
|
</blockquote>
|
|
|
|
<h3>创建项目文件</h3>
|
|
|
|
<h3>创建项目文件夹</h3>
|
|
|
|
<p>首先，创建一个文件来编写 Rust 代码。Rust 并不关心你的代码存放在哪里，不过在本书中，我们建议在你的 home 目录创建一个<strong>项目</strong>目录，并把你的所有项目放在这。打开一个终端并输入如下命令来为这个项目创建一个文件夹：</p>
|
|
|
|
<p>首先，创建一个文件夹来编写 Rust 代码。Rust 并不关心你的代码存放在哪里，不过在本书中，我们建议在你的 home 目录创建一个<strong>项目</strong>目录，并把你的所有项目放在这。打开一个终端并输入如下命令来为这个项目创建一个文件夹：</p>
|
|
|
|
<p>Linux 和 Mac:</p>
|
|
|
|
<p>Linux 和 Mac:</p>
|
|
|
|
<pre><code class="language-sh">$ mkdir ~/projects
|
|
|
|
<pre><code class="language-sh">$ mkdir ~/projects
|
|
|
|
$ cd ~/projects
|
|
|
|
$ cd ~/projects
|
|
|
|
@ -194,7 +194,7 @@ main.rs
|
|
|
|
<h2>Hello, Cargo!</h2>
|
|
|
|
<h2>Hello, Cargo!</h2>
|
|
|
|
<p>Cargo 是 Rust 的构建系统和包管理工具，同时 Rustacean 们使用 Cargo 来管理它们的 Rust 项目，因为它使得很多任务变得更轻松。例如，Cargo负责构建代码、下载代码依赖的库并编译这些库。我们把代码需要的库叫做 <strong>依赖</strong>（<em>dependencies</em>）。</p>
|
|
|
|
<p>Cargo 是 Rust 的构建系统和包管理工具，同时 Rustacean 们使用 Cargo 来管理它们的 Rust 项目，因为它使得很多任务变得更轻松。例如，Cargo负责构建代码、下载代码依赖的库并编译这些库。我们把代码需要的库叫做 <strong>依赖</strong>（<em>dependencies</em>）。</p>
|
|
|
|
<p>最简单的 Rust 程序，例如我们刚刚编写的，并没有任何依赖，所以目前我们只使用了 Cargo 负责构建代码的部分。随着你编写更加复杂的 Rust 程序，你会想要添加依赖，那么如果你使用 Cargo 开始的话，这将会变得简单许多。</p>
|
|
|
|
<p>最简单的 Rust 程序，例如我们刚刚编写的，并没有任何依赖，所以目前我们只使用了 Cargo 负责构建代码的部分。随着你编写更加复杂的 Rust 程序，你会想要添加依赖，那么如果你使用 Cargo 开始的话，这将会变得简单许多。</p>
|
|
|
|
<p>因为绝大部分 Rust 项目使用 Cargo，本书接下来的部分将假设你使用它。如果使用安装章节介绍的官方安装包的话，Rust 自带 Cargo。如果通过其他方式安装 Rust 的话，可以在终端输入如下命令检查是否安装了 Cargo：</p>
|
|
|
|
<p>由于绝大部分 Rust 项目使用 Cargo，本书接下来的部分将假设你使用它。如果使用安装章节介绍的官方安装包的话，Rust 自带 Cargo。如果通过其他方式安装 Rust 的话，可以在终端输入如下命令检查是否安装了 Cargo：</p>
|
|
|
|
<pre><code class="language-sh">$ cargo --version
|
|
|
|
<pre><code class="language-sh">$ cargo --version
|
|
|
|
</code></pre>
|
|
|
|
</code></pre>
|
|
|
|
<p>如果看到了版本号，一切 OK！如果出现一个类似“<code>command not found</code>”的错误，那么你应该查看安装方式的文档来确定如何单独安装 Cargo。</p>
|
|
|
|
<p>如果看到了版本号，一切 OK！如果出现一个类似“<code>command not found</code>”的错误，那么你应该查看安装方式的文档来确定如何单独安装 Cargo。</p>
|
|
|
|
@ -1767,9 +1767,533 @@ which does not implement the `Copy` trait
|
|
|
|
<p>这样就解决了我们的麻烦！因为只有<code>s2</code>是有效的，当其离开作用域，它就释放自己的内存，完毕。</p>
|
|
|
|
<p>这样就解决了我们的麻烦！因为只有<code>s2</code>是有效的，当其离开作用域，它就释放自己的内存，完毕。</p>
|
|
|
|
<p>另外，这里还隐含了一个设计选择：Rust 永远也不会自动创建数据的“深拷贝”。因此，任何<strong>自动</strong>的复制可以被认为对运行时性能影响较小。</p>
|
|
|
|
<p>另外，这里还隐含了一个设计选择：Rust 永远也不会自动创建数据的“深拷贝”。因此，任何<strong>自动</strong>的复制可以被认为对运行时性能影响较小。</p>
|
|
|
|
<h4>变量与数据交互：克隆</h4>
|
|
|
|
<h4>变量与数据交互：克隆</h4>
|
|
|
|
<p>如果我们<strong>确实</strong>需要深度复制<code>String</code>中堆上的数据，而不仅仅是栈上的数据，可以使用一个叫做<code>clone</code></p>
|
|
|
|
<p>如果我们<strong>确实</strong>需要深度复制<code>String</code>中堆上的数据，而不仅仅是栈上的数据，可以使用一个叫做<code>clone</code>的通用函数。第五章会讨论方法语法，不过因为方法在很多语言中是一个常见功能，所以之前你可能已经见过了。</p>
|
|
|
|
<h1>References & Borrowing</h1>
|
|
|
|
<p>这是一个实际使用<code>clone</code>方法的例子：</p>
|
|
|
|
<h1>Slices</h1>
|
|
|
|
<pre><code class="language-rust">let s1 = String::from("hello");
|
|
|
|
|
|
|
|
let s2 = s1.clone();
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
println!("s1 = {}, s2 = {}", s1, s2);
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>这段代码能正常运行，也是如何显式产生图 4-5 中行为的方式，这里堆上的数据<strong>被复制了</strong>。</p>
|
|
|
|
|
|
|
|
<p>当出现<code>clone</code>调用时，你知道一些特有的代码被执行而且这些代码可能相当消耗资源。所以它作为一个可视化的标识代表了不同的行为。</p>
|
|
|
|
|
|
|
|
<h4>只在栈上的数据：拷贝</h4>
|
|
|
|
|
|
|
|
<p>这里还有一个没有提到的小窍门。这些代码使用了整型并且是有效的，他们是之前列表 4-2 中的一部分：</p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust">let x = 5;
|
|
|
|
|
|
|
|
let y = x;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
println!("x = {}, y = {}", x, y);
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>他们似乎与我们刚刚学到的内容向抵触：没有调用<code>clone</code>，不过<code>x</code>依然有效且没有被移动到<code>y</code>中。</p>
|
|
|
|
|
|
|
|
<p>原因是像整型这样的在编译时已知大小的类型被整个储存在栈上，所以拷贝其实际的值是快速的。这意味着没有理由在创建变量<code>y</code>后使<code>x</code>无效。换句话说，这里没有深浅拷贝的区别，所以调用<code>clone</code>并不会与通常的浅拷贝有什么不同，我们可以不用管它。</p>
|
|
|
|
|
|
|
|
<p>Rust 有一个叫做<code>Copy</code> trait 的特殊注解，可以用在类似整型这样的储存在栈上的类型（第十章详细讲解 trait）。如果一个类型拥有<code>Copy</code> trait，一个旧的变量在（重新）赋值后仍然可用。Rust 不允许自身或其任何部分实现了<code>Drop</code> trait 的类型使用<code>Copy</code> trait。如果我们对其值离开作用域时需要特殊处理的类型使用<code>Copy</code>注解，将会出现一个编译时错误。</p>
|
|
|
|
|
|
|
|
<p>那么什么类型是<code>Copy</code>的呢？可以查看给定类型的文档来确认，不过作为一个通用的规则，任何简单标量值的组合可以是<code>Copy</code>的，任何不需要分配内存或类似形式资源的类型是<code>Copy</code>的，如下是一些<code>Copy</code>的类型：</p>
|
|
|
|
|
|
|
|
<ul>
|
|
|
|
|
|
|
|
<li>所有整数类型，比如<code>u32</code>。</li>
|
|
|
|
|
|
|
|
<li>布尔类型，<code>bool</code>，它的值是<code>true</code>和<code>false</code>。</li>
|
|
|
|
|
|
|
|
<li>所有浮点数类型，比如<code>f64</code>。</li>
|
|
|
|
|
|
|
|
<li>元组，当且仅当其包含的类型也都是<code>Copy</code>的时候。<code>(i32, i32)</code>是<code>Copy</code>的，不过<code>(i32, String)</code>就不是。</li>
|
|
|
|
|
|
|
|
</ul>
|
|
|
|
|
|
|
|
<h3>所有权与函数</h3>
|
|
|
|
|
|
|
|
<p>将值传递给函数在语言上与给变量赋值相似。向函数传递值可能会移动或者复制，就像赋值语句一样。列表 4-7 是一个带有变量何时进入和离开作用域标注的例子：</p>
|
|
|
|
|
|
|
|
<figure>
|
|
|
|
|
|
|
|
<span class="filename">Filename: src/main.rs</span>
|
|
|
|
|
|
|
|
<pre><code class="language-rust">fn main() {
|
|
|
|
|
|
|
|
let s = String::from("hello"); // s comes into scope.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
takes_ownership(s); // s's value moves into the function...
|
|
|
|
|
|
|
|
// ... and so is no longer valid here.
|
|
|
|
|
|
|
|
let x = 5; // x comes into scope.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
makes_copy(x); // x would move into the function,
|
|
|
|
|
|
|
|
// but i32 is Copy, so it’s okay to still
|
|
|
|
|
|
|
|
// use x afterward.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
} // Here, x goes out of scope, then s. But since s's value was moved, nothing
|
|
|
|
|
|
|
|
// special happens.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
fn takes_ownership(some_string: String) { // some_string comes into scope.
|
|
|
|
|
|
|
|
println!("{}", some_string);
|
|
|
|
|
|
|
|
} // Here, some_string goes out of scope and `drop` is called. The backing
|
|
|
|
|
|
|
|
// memory is freed.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
fn makes_copy(some_integer: i32) { // some_integer comes into scope.
|
|
|
|
|
|
|
|
println!("{}", some_integer);
|
|
|
|
|
|
|
|
} // Here, some_integer goes out of scope. Nothing special happens.
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<figcaption>
|
|
|
|
|
|
|
|
<p>Listing 4-7: Functions with ownership and scope annotated</p>
|
|
|
|
|
|
|
|
</figcaption>
|
|
|
|
|
|
|
|
</figure>
|
|
|
|
|
|
|
|
<p>当尝试在调用<code>takes_ownership</code>后使用<code>s</code>时，Rust 会抛出一个编译时错误。这些静态检查使我们免于犯错。试试在<code>main</code>函数中添加使用<code>s</code>和<code>x</code>的代码来看看哪里能使用他们，和哪里所有权规则会阻止我们这么做。</p>
|
|
|
|
|
|
|
|
<h3>返回值与作用域</h3>
|
|
|
|
|
|
|
|
<p>返回值也可以转移作用域。这里是一个有与列表 4-7 中类似标注的例子：</p>
|
|
|
|
|
|
|
|
<p><span class="filename">Filename: src/main.rs</span></p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust">fn main() {
|
|
|
|
|
|
|
|
let s1 = gives_ownership(); // gives_ownership moves its return
|
|
|
|
|
|
|
|
// value into s1.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let s2 = String::from("hello"); // s2 comes into scope.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let s3 = takes_and_gives_back(s2); // s2 is moved into
|
|
|
|
|
|
|
|
// takes_and_gives_back, which also
|
|
|
|
|
|
|
|
// moves its return value into s3.
|
|
|
|
|
|
|
|
} // Here, s3 goes out of scope and is dropped. s2 goes out of scope but was
|
|
|
|
|
|
|
|
// moved, so nothing happens. s1 goes out of scope and is dropped.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
fn gives_ownership() -> String { // gives_ownership will move its
|
|
|
|
|
|
|
|
// return value into the function
|
|
|
|
|
|
|
|
// that calls it.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let some_string = String::from("hello"); // some_string comes into scope.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
some_string // some_string is returned and
|
|
|
|
|
|
|
|
// moves out to the calling
|
|
|
|
|
|
|
|
// function.
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// takes_and_gives_back will take a String and return one.
|
|
|
|
|
|
|
|
fn takes_and_gives_back(a_string: String) -> String { // a_string comes into
|
|
|
|
|
|
|
|
// scope.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a_string // a_string is returned and moves out to the calling function.
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>变量的所有权总是遵循相同的模式：将值赋值给另一个变量时移动它，并且当变量值的堆书卷离开作用域时，如果数据的所有权没有被移动到另外一个变量时，其值将通过<code>drop</code>被清理掉。</p>
|
|
|
|
|
|
|
|
<p>在每一个函数中都获取并接着返回所有权是冗余乏味的。如果我们想要函数使用一个值但不获取所有权改怎么办呢？如果我们还要接着使用它的话，每次都传递出去再传回来就有点烦人了，另外我们也可能想要返回函数体产生的任何（不止一个）数据。</p>
|
|
|
|
|
|
|
|
<p>使用元组来返回多个值是可能的，像这样：</p>
|
|
|
|
|
|
|
|
<p><span class="filename">Filename: src/main.rs</span></p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust">fn main() {
|
|
|
|
|
|
|
|
let s1 = String::from("hello");
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let (s2, len) = calculate_length(s1);
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
println!("The length of '{}' is {}.", s2, len);
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
fn calculate_length(s: String) -> (String, usize) {
|
|
|
|
|
|
|
|
let length = s.len(); // len() returns the length of a String.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(s, length)
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>但是这不免有些形式主义，同时这离一个通用的观点还有很长距离。幸运的是，Rust 对此提供了一个功能，叫做<strong>引用</strong>（<em>references</em>）。</p>
|
|
|
|
|
|
|
|
<h2>引用与借用</h2>
|
|
|
|
|
|
|
|
<blockquote>
|
|
|
|
|
|
|
|
<p><a href="https://github.com/rust-lang/book/blob/master/src/ch04-02-references-and-borrowing.md">ch04-02-references-and-borrowing.md</a>
|
|
|
|
|
|
|
|
<br>
|
|
|
|
|
|
|
|
commit c9fd8eb1da7a79deee97020e8ad49af8ded78f9c</p>
|
|
|
|
|
|
|
|
</blockquote>
|
|
|
|
|
|
|
|
<p>在上一部分的结尾处的使用元组的代码是有问题的，我们需要将<code>String</code>返回给调用者函数这样就可以在调用<code>calculate_length</code>后仍然可以使用<code>String</code>了，因为<code>String</code>先被移动到了<code>calculate_length</code>。</p>
|
|
|
|
|
|
|
|
<p>下面是如何定义并使用一个（新的）<code>calculate_length</code>函数，它以一个对象的<strong>引用</strong>作为参数而不是获取值的所有权：</p>
|
|
|
|
|
|
|
|
<p><span class="filename">Filename: src/main.rs</span></p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust">fn main() {
|
|
|
|
|
|
|
|
let s1 = String::from("hello");
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let len = calculate_length(&s1);
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
println!("The length of '{}' is {}.", s1, len);
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
fn calculate_length(s: &String) -> usize {
|
|
|
|
|
|
|
|
s.len()
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>首先，注意变量声明和函数返回值中的所有元组代码都消失了。其次，注意我们传递<code>&s1</code>给<code>calculate_length</code>，同时在函数定义中，我们获取<code>&String</code>而不是<code>String</code>。</p>
|
|
|
|
|
|
|
|
<p>这些 & 符号就是<strong>引用</strong>，他们允许你使用值但不获取它的所有权。图 4-8 展示了一个图解。</p>
|
|
|
|
|
|
|
|
<figure>
|
|
|
|
|
|
|
|
<img alt="&String s pointing at String s1" src="img/trpl04-05.svg" class="center" />
|
|
|
|
|
|
|
|
<figcaption>
|
|
|
|
|
|
|
|
<p>Figure 4-8: <code>&String s</code> pointing at <code>String s1</code></p>
|
|
|
|
|
|
|
|
</figcaption>
|
|
|
|
|
|
|
|
</figure>
|
|
|
|
|
|
|
|
<p>仔细看看这个函数调用：</p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust"># fn calculate_length(s: &String) -> usize {
|
|
|
|
|
|
|
|
# s.len()
|
|
|
|
|
|
|
|
# }
|
|
|
|
|
|
|
|
let s1 = String::from("hello");
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let len = calculate_length(&s1);
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p><code>&s1</code>语法允许我们创建一个<strong>参考</strong>值<code>s1</code>的引用，但是并不拥有它。因为并不拥有这个值，当引用离开作用域它指向的值也不会被丢弃。</p>
|
|
|
|
|
|
|
|
<p>同理，函数签名使用了<code>&</code>来表明参数<code>s</code>的类型是一个引用。让我们增加一些解释性的注解：</p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust">fn calculate_length(s: &String) -> usize { // s is a reference to a String
|
|
|
|
|
|
|
|
s.len()
|
|
|
|
|
|
|
|
} // Here, s goes out of scope. But because it does not have ownership of what
|
|
|
|
|
|
|
|
// it refers to, nothing happens.
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>变量<code>s</code>有效的作用域与函数参数的作用域一样，不过当引用离开作用域后并不丢弃它指向的数据因为我们没有所有权。函数使用引用而不是实际值作为参数意味着无需返回值来交还所有权，因为就不曾拥有它。</p>
|
|
|
|
|
|
|
|
<p>我们将获取引用作为函数参数称为<strong>借用</strong>（<em>borrowing</em>）。正如现实生活中，如果一个人拥有某样东西，你可以从它哪里借来。当你使用完毕，必须还回去。</p>
|
|
|
|
|
|
|
|
<p>那么如果我们尝试修改借用的变量呢？尝试列表 4-9 中的代码。剧透：这行不通！</p>
|
|
|
|
|
|
|
|
<figure>
|
|
|
|
|
|
|
|
<span class="filename">Filename: src/main.rs</span>
|
|
|
|
|
|
|
|
<pre><code class="language-rust,ignore">fn main() {
|
|
|
|
|
|
|
|
let s = String::from("hello");
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
change(&s);
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
fn change(some_string: &String) {
|
|
|
|
|
|
|
|
some_string.push_str(", world");
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<figcaption>
|
|
|
|
|
|
|
|
<p>Listing 4-9: Attempting to modify a borrowed value</p>
|
|
|
|
|
|
|
|
</figcaption>
|
|
|
|
|
|
|
|
</figure>
|
|
|
|
|
|
|
|
<p>这里是错误：</p>
|
|
|
|
|
|
|
|
<pre><code class="language-sh">error: cannot borrow immutable borrowed content `*some_string` as mutable
|
|
|
|
|
|
|
|
--> error.rs:8:5
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
8 | some_string.push_str(", world");
|
|
|
|
|
|
|
|
| ^^^^^^^^^^^
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>正如变量默认是不可变的，引用也一样。不允许修改引用的值。</p>
|
|
|
|
|
|
|
|
<h3>可变引用</h3>
|
|
|
|
|
|
|
|
<p>可以通过一个小调整来修复在列表 4-9 代码中的错误，在列表 4-9 的代码中：</p>
|
|
|
|
|
|
|
|
<p><span class="filename">Filename: src/main.rs</span></p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust">fn main() {
|
|
|
|
|
|
|
|
let mut s = String::from("hello");
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
change(&mut s);
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
fn change(some_string: &mut String) {
|
|
|
|
|
|
|
|
some_string.push_str(", world");
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>首先，必须将<code>s</code>改为<code>mut</code>。然后必须创建一个可变引用<code>&mut s</code>和接受一个可变引用<code>some_string: &mut String</code>。</p>
|
|
|
|
|
|
|
|
<p>不过可变引用有一个很大的限制：在特定作用域中的特定数据有且只有一个可变引用。这些代码会失败：</p>
|
|
|
|
|
|
|
|
<p><span class="filename">Filename: src/main.rs</span></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 class="language-text">error[E0499]: cannot borrow `s` as mutable more than once at a time
|
|
|
|
|
|
|
|
--> borrow_twice.rs:5:19
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 | let r1 = &mut s;
|
|
|
|
|
|
|
|
| - first mutable borrow occurs here
|
|
|
|
|
|
|
|
5 | let r2 = &mut s;
|
|
|
|
|
|
|
|
| ^ second mutable borrow occurs here
|
|
|
|
|
|
|
|
6 | }
|
|
|
|
|
|
|
|
| - first borrow ends here
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>这个限制允许可变性，不过是以一种受限制的方式。新 Rustacean 们经常与此作斗争，因为大部分语言任何时候都是可变的。这个限制的好处是 Rust 可以在编译时就避免数据竞争（data races）。</p>
|
|
|
|
|
|
|
|
<p><strong>数据竞争</strong>是一种特定类型的竞争状态，它可由这三个行为造成：</p>
|
|
|
|
|
|
|
|
<ol>
|
|
|
|
|
|
|
|
<li>两个或更多指针同时访问相同的数据。</li>
|
|
|
|
|
|
|
|
<li>至少有一个指针被用来写数据。</li>
|
|
|
|
|
|
|
|
<li>没有被用来同步数据访问的机制。</li>
|
|
|
|
|
|
|
|
</ol>
|
|
|
|
|
|
|
|
<p>数据竞争会导致未定义行为并且当在运行时尝试追踪时可能会变得难以诊断和修复；Rust 阻止了这种情况的发生，因为存在数据竞争的代码根本就不能编译！</p>
|
|
|
|
|
|
|
|
<p>一如既往，使用大括号来创建一个新的作用域，允许拥有多个可变引用，只是不能<strong>同时</strong>拥有：</p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust">let mut s = String::from("hello");
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
let r1 = &mut s;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
} // r1 goes out of scope here, so we can make a new reference with no problems.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let r2 = &mut s;
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>当结合可变和不可变引用时有一个类似的规则存在。这些代码会导致一个错误：</p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust,ignore">let mut s = String::from("hello");
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let r1 = &s; // no problem
|
|
|
|
|
|
|
|
let r2 = &s; // no problem
|
|
|
|
|
|
|
|
let r3 = &mut s; // BIG PROBLEM
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>错误如下：</p>
|
|
|
|
|
|
|
|
<pre><code class="language-sh">error[E0502]: cannot borrow `s` as mutable because it is also borrowed as
|
|
|
|
|
|
|
|
immutable
|
|
|
|
|
|
|
|
--> borrow_thrice.rs:6:19
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 | let r1 = &s; // no problem
|
|
|
|
|
|
|
|
| - immutable borrow occurs here
|
|
|
|
|
|
|
|
5 | let r2 = &s; // no problem
|
|
|
|
|
|
|
|
6 | let r3 = &mut s; // BIG PROBLEM
|
|
|
|
|
|
|
|
| ^ mutable borrow occurs here
|
|
|
|
|
|
|
|
7 | }
|
|
|
|
|
|
|
|
| - immutable borrow ends here
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>哇哦！我们<strong>也</strong>不能在拥有不可变引用的同时拥有可变引用。不可变引用的用户可不希望在它的眼皮底下值突然就被改变了！然而，多个不可变引用是没有问题的因为没有哪个读取数据的人有能力影响其他人读取到的数据。</p>
|
|
|
|
|
|
|
|
<p>即使这些错误有时是使人沮丧的。记住这是 Rust 编译器在提早指出一个潜在的 bug（在编译时而不是运行时）并明确告诉你问题在哪而不是任由你去追踪为何有时数据并不是你想象中的那样。</p>
|
|
|
|
|
|
|
|
<h3>悬垂引用</h3>
|
|
|
|
|
|
|
|
<p>在存在指针的语言中，容易错误地生成一个<strong>悬垂指针</strong>（<em>dangling pointer</em>），一个引用某个内存位置的指针，这个内存可能已经因为被分配给别人，因为释放内存时指向内存的指针被保留了下来。相比之下，在 Rust 中编译器确保引用永远也不会变成悬垂状态：当我们拥有一些数据的引用，编译器确保数据不会在其引用之前离开作用域。</p>
|
|
|
|
|
|
|
|
<p>让我们尝试创建一个悬垂引用：</p>
|
|
|
|
|
|
|
|
<p><span class="filename">Filename: src/main.rs</span></p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust,ignore">fn main() {
|
|
|
|
|
|
|
|
let reference_to_nothing = dangle();
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
fn dangle() -> &String {
|
|
|
|
|
|
|
|
let s = String::from("hello");
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
&s
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>这里是错误：</p>
|
|
|
|
|
|
|
|
<pre><code>error[E0106]: missing lifetime specifier
|
|
|
|
|
|
|
|
--> dangle.rs:5:16
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
5 | fn dangle() -> &String {
|
|
|
|
|
|
|
|
| ^^^^^^^
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= help: this function's return type contains a borrowed value, but there is no
|
|
|
|
|
|
|
|
value for it to be borrowed from
|
|
|
|
|
|
|
|
= help: consider giving it a 'static lifetime
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
error: aborting due to previous error
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>错误信息引用了一个我们还未涉及到的功能：<strong>生命周期</strong>（<em>lifetimes</em>）。第十章会详细介绍生命周期。不过，如果你不理会生命周期的部分，错误信息确实包含了为什么代码是有问题的关键：</p>
|
|
|
|
|
|
|
|
<pre><code>this function's return type contains a borrowed value, but there is no value
|
|
|
|
|
|
|
|
for it to be borrowed from.
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>让我们仔细看看我们的<code>dangle</code>代码的每一步到底放生了什么：</p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust,ignore">fn dangle() -> &String { // dangle returns a reference to a String
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let s = String::from("hello"); // s is a new String
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
&s // we return a reference to the String, s
|
|
|
|
|
|
|
|
} // Here, s goes out of scope, and is dropped. Its memory goes away.
|
|
|
|
|
|
|
|
// Danger!
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>因为<code>s</code>是在<code>dangle</code>创建的，当<code>dangle</code>的代码执行完毕后，<code>s</code>将被释放。不过我们尝试返回一个它的引用。这意味着这个引用会指向一个无效的<code>String</code>！这可不好。Rust 不会允许我们这么做的。</p>
|
|
|
|
|
|
|
|
<p>正确的代码是直接返回<code>String</code>：</p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust">fn no_dangle() -> String {
|
|
|
|
|
|
|
|
let s = String::from("hello");
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>这样就可以没有任何错误的运行了。所有权被移动出去，所以没有值被释放掉。</p>
|
|
|
|
|
|
|
|
<h3>引用的规则</h3>
|
|
|
|
|
|
|
|
<p>简要的概括一下对引用的讨论：</p>
|
|
|
|
|
|
|
|
<ol>
|
|
|
|
|
|
|
|
<li>特定时间，<strong>只能</strong>拥有如下中的一个：</li>
|
|
|
|
|
|
|
|
</ol>
|
|
|
|
|
|
|
|
<ul>
|
|
|
|
|
|
|
|
<li>一个可变引用。</li>
|
|
|
|
|
|
|
|
<li>任意属性的不可变引用。</li>
|
|
|
|
|
|
|
|
</ul>
|
|
|
|
|
|
|
|
<ol start="2">
|
|
|
|
|
|
|
|
<li>引用必须总是有效的。</li>
|
|
|
|
|
|
|
|
</ol>
|
|
|
|
|
|
|
|
<p>接下来，我们来看看一种不同类型的引用：slices。</p>
|
|
|
|
|
|
|
|
<h2>Slices</h2>
|
|
|
|
|
|
|
|
<blockquote>
|
|
|
|
|
|
|
|
<p><a href="https://github.com/rust-lang/book/blob/master/src/ch04-03-slices.md">ch04-03-slices.md</a>
|
|
|
|
|
|
|
|
<br>
|
|
|
|
|
|
|
|
commit c9fd8eb1da7a79deee97020e8ad49af8ded78f9c</p>
|
|
|
|
|
|
|
|
</blockquote>
|
|
|
|
|
|
|
|
<p>另一个没有所有权的数据类型是 <em>slice</em>。slice 允许你引用集合中一段连续的元素序列，而不用引用整个集合。</p>
|
|
|
|
|
|
|
|
<p>这里有一个小的编程问题：编写一个获取一个字符串并返回它在其中找到的第一个单词的函数。如果函数没有在字符串中找到一个空格，就意味着整个字符串是一个单词，所以整个字符串都应该返回。</p>
|
|
|
|
|
|
|
|
<p>让我们看看这个函数的签名：</p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust,ignore">fn first_word(s: &String) -> ?
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p><code>first_word</code>这个函数有一个参数<code>&String</code>。因为我们不需要所有权，所以这没有问题。不过应该返回什么呢？我们并没有一个真正获取<strong>部分</strong>字符串的办法。不过，我们可以返回单词结尾的索引。让我们试试如列表 4-10 所示的代码：</p>
|
|
|
|
|
|
|
|
<figure>
|
|
|
|
|
|
|
|
<span class="filename">Filename: src/main.rs</span>
|
|
|
|
|
|
|
|
<pre><code class="language-rust">fn first_word(s: &String) -> usize {
|
|
|
|
|
|
|
|
let bytes = s.as_bytes();
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
for (i, &item) in bytes.iter().enumerate() {
|
|
|
|
|
|
|
|
if item == b' ' {
|
|
|
|
|
|
|
|
return i;
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s.len()
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<figcaption>
|
|
|
|
|
|
|
|
<p>Listing 4-10: The <code>first_word</code> function that returns a byte index value into
|
|
|
|
|
|
|
|
the <code>String</code> parameter</p>
|
|
|
|
|
|
|
|
</figcaption>
|
|
|
|
|
|
|
|
</figure>
|
|
|
|
|
|
|
|
<p>让我们将代码分解成小块。因为需要一个元素一个元素的检查<code>String</code>中的值是否是空格，需要用<code>as_bytes</code>方法将<code>String</code>转化为字节数组：</p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust,ignore">let bytes = s.as_bytes();
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>Next, we create an iterator over the array of bytes using the <code>iter</code> method :</p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust,ignore">for (i, &item) in bytes.iter().enumerate() {
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>第十六章将讨论迭代器的更多细节。现在，只需知道<code>iter</code>方法返回集合中的每一个元素，而<code>enumerate</code>包装<code>iter</code>的结果并返回一个元组，其中每一个元素是元组的一部分。返回元组的第一个元素是索引，第二个元素是集合中元素的引用。这比我们自己计算索引要方便一些。</p>
|
|
|
|
|
|
|
|
<p>因为<code>enumerate</code>方法返回一个元组，我们可以使用模式来解构它，就像 Rust 中其他地方一样。所以在<code>for</code>循环中，我们指定了一个模式，其中<code>i</code>是元组中的索引而<code>&item</code>是单个字节。因为从<code>.iter().enumerate()</code>中获取了集合元素的引用，我们在模式中使用了<code>&</code>。</p>
|
|
|
|
|
|
|
|
<p>我们通过字节的字面值来寻找代表空格的字节。如果找到了，返回它的位置。否则，使用<code>s.len()</code>返回字符串的长度：</p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust,ignore"> if item == b' ' {
|
|
|
|
|
|
|
|
return i;
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
s.len()
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>现在有了一个找到字符串中第一个单词结尾索引的方法了，不过这有一个问题。我们返回了单单一个<code>usize</code>，不过它只在<code>&String</code>的上下文中才是一个有意义的数字。换句话说，因为它是一个与<code>String</code>像分离的值，无法保证将来它仍然有效。考虑一下列表 4-11 中使用了列表 4-10 <code>first_word</code>函数的程序：</p>
|
|
|
|
|
|
|
|
<figure>
|
|
|
|
|
|
|
|
<span class="filename">Filename: src/main.rs</span>
|
|
|
|
|
|
|
|
<pre><code class="language-rust"># fn first_word(s: &String) -> usize {
|
|
|
|
|
|
|
|
# let bytes = s.as_bytes();
|
|
|
|
|
|
|
|
#
|
|
|
|
|
|
|
|
# for (i, &item) in bytes.iter().enumerate() {
|
|
|
|
|
|
|
|
# if item == b' ' {
|
|
|
|
|
|
|
|
# return i;
|
|
|
|
|
|
|
|
# }
|
|
|
|
|
|
|
|
# }
|
|
|
|
|
|
|
|
#
|
|
|
|
|
|
|
|
# s.len()
|
|
|
|
|
|
|
|
# }
|
|
|
|
|
|
|
|
#
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
|
|
|
|
let mut s = String::from("hello world");
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let word = first_word(&s); // word will get the value 5.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s.clear(); // This empties the String, making it equal to "".
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// word still has the value 5 here, but there's no more string that
|
|
|
|
|
|
|
|
// we could meaningfully use the value 5 with. word is now totally invalid!
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<figcaption>
|
|
|
|
|
|
|
|
<p>Listing 4-11: Storing the result from calling the <code>first_word</code> function then
|
|
|
|
|
|
|
|
changing the <code>String</code> contents</p>
|
|
|
|
|
|
|
|
</figcaption>
|
|
|
|
|
|
|
|
</figure>
|
|
|
|
|
|
|
|
<p>这个程序编译时没有任何错误，而且在调用<code>s.clear()</code>之后使用<code>word</code>也不会出错。这时<code>word</code>与<code>s</code>状态就没有联系了，所以<code>word</code>仍然包含值<code>5</code>。可以尝试用值<code>5</code>来提取变量<code>s</code>的第一个单词，不过这是有 bug 的，因为在我们将<code>5</code>保存到<code>word</code>之后<code>s</code>的内容已经改变。</p>
|
|
|
|
|
|
|
|
<p>不得不担心<code>word</code>的索引与<code>s</code>中的数据不再同步是乏味且容易出错的！如果编写一个<code>second_word</code>函数的话管理索引将更加容易出问题。它的签名看起来像这样：</p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust,ignore">fn second_word(s: &String) -> (usize, usize) {
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>现在我们跟踪了一个开始索引<strong>和</strong>一个结尾索引，同时有了更多从数据的某个特定状态计算而来的值，他们也完全没有与这个状态相关联。现在有了三个飘忽不定的不相关变量都需要被同步。</p>
|
|
|
|
|
|
|
|
<p>幸运的是，Rust 为这个问题提供了一个解决方案：字符串 slice。</p>
|
|
|
|
|
|
|
|
<h3>字符串 slice</h3>
|
|
|
|
|
|
|
|
<p><strong>字符串 slice</strong>（<em>string slice</em>）是<code>String</code>中一部分值的引用，它看起来像这样：</p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust">let s = String::from("hello world");
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let hello = &s[0..5];
|
|
|
|
|
|
|
|
let world = &s[6..11];
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>这类似于获取整个<code>String</code>的引用不过带有额外的<code>[0..5]</code>部分。不同于整个<code>String</code>的引用，这是一个包含<code>String</code>内部的一个位置和所需元素数量的引用。</p>
|
|
|
|
|
|
|
|
<p>我们使用一个 range <code>[starting_index..ending_index]</code>来创建 slice，不过 slice 的数据结构实际上储存了开始位置和 slice 的长度。所以就<code>let world = &s[6..11];</code>来说，<code>world</code>将是一个包含指向<code>s</code>第 6 个字节的指针和长度值 5 的 slice。</p>
|
|
|
|
|
|
|
|
<p>图 4-12 展示了一个图例</p>
|
|
|
|
|
|
|
|
<figure>
|
|
|
|
|
|
|
|
<img alt="world containing a pointer to the 6th byte of String s and a length 5" src="img/trpl04-06.svg" class="center" style="width: 50%;" />
|
|
|
|
|
|
|
|
<figcaption>
|
|
|
|
|
|
|
|
<p>Figure 4-12: String slice referring to part of a <code>String</code></p>
|
|
|
|
|
|
|
|
</figcaption>
|
|
|
|
|
|
|
|
</figure>
|
|
|
|
|
|
|
|
<p>对于 Rust 的<code>..</code> range 语法，如果想要从第一个索引（0）开始，可以不写两个点号之前的值。换句话说，如下两个语句是相同的：</p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust">let s = String::from("hello");
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let slice = &s[0..2];
|
|
|
|
|
|
|
|
let slice = &s[..2];
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>由此类推，如果 slice 包含<code>String</code>的最后一个字节，也可以舍弃尾部的数字。这意味着如下也是相同的：</p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust">let s = String::from("hello");
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let len = s.len();
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let slice = &s[0..len];
|
|
|
|
|
|
|
|
let slice = &s[..];
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>在记住所有这些知识后，让我们重写<code>first_word</code>来返回一个 slice。“字符串 slice”的签名写作<code>&str</code>：</p>
|
|
|
|
|
|
|
|
<p><span class="filename">Filename: src/main.rs</span></p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust">fn first_word(s: &String) -> &str {
|
|
|
|
|
|
|
|
let bytes = s.as_bytes();
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
for (i, &item) in bytes.iter().enumerate() {
|
|
|
|
|
|
|
|
if item == b' ' {
|
|
|
|
|
|
|
|
return &s[0..i];
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
&s[..]
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>我们使用跟列表 4-10 相同的方式获取单词结尾的索引，通过寻找第一个出现的空格。当我们找到一个空格，我们返回一个索引，它使用字符串的开始和空格的索引来作为开始和结束的索引。</p>
|
|
|
|
|
|
|
|
<p>现在当调用<code>first_word</code>时，会返回一个单独的与底层数据相联系的值。这个值由一个 slice 开始位置的引用和 slice 中元素的数量组成。</p>
|
|
|
|
|
|
|
|
<p><code>second_word</code>函数也可以改为返回一个 slice：</p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust,ignore">fn second_word(s: &String) -> &str {
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>现在我们有了一个不易混杂的直观的 API 了，因为编译器会确保指向<code>String</code>的引用保持有效。还记得列表 4-11 程序中，那个当我们获取第一个单词结尾的索引不过接着就清除了字符串所以索引就无效了的 bug 吗？那些代码逻辑上时不正确的，不过却没有任何直观的错误。问题会在之后尝试对空字符串使用第一个单词的索引时出现。slice 就不可能出现这种 bug 并让我们更早的知道出问题了。使用 slice 版本的<code>first_word</code>会抛出一个编译时错误：</p>
|
|
|
|
|
|
|
|
<p><span class="filename">Filename: src/main.rs</span></p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust,ignore">fn main() {
|
|
|
|
|
|
|
|
let mut s = String::from("hello world");
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let word = first_word(&s);
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s.clear(); // Error!
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>这里是编译错误：</p>
|
|
|
|
|
|
|
|
<pre><code>17:6 error: cannot borrow `s` as mutable because it is also borrowed as
|
|
|
|
|
|
|
|
immutable [E0502]
|
|
|
|
|
|
|
|
s.clear(); // Error!
|
|
|
|
|
|
|
|
^
|
|
|
|
|
|
|
|
15:29 note: previous borrow of `s` occurs here; the immutable borrow prevents
|
|
|
|
|
|
|
|
subsequent moves or mutable borrows of `s` until the borrow ends
|
|
|
|
|
|
|
|
let word = first_word(&s);
|
|
|
|
|
|
|
|
^
|
|
|
|
|
|
|
|
18:2 note: previous borrow ends here
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
^
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>回忆一下借用规则，当拥有某值的不可变引用时。不能再获取一个可变引用。因为<code>clear</code>需要清空<code>String</code>，它尝试获取一个可变引用，它失败了。Rust 不仅使得我们的 API 简单易用，也在编译时就消除了一整个错误类型！</p>
|
|
|
|
|
|
|
|
<h4>字符串字面值就是 slice</h4>
|
|
|
|
|
|
|
|
<p>还记得我们讲到过字符串字面值被储存在二进制文件中吗。现在知道 slice 了，我们就可以正确的理解字符串字面值了：</p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust">let s = "Hello, world!";
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>这里<code>s</code>的类型是<code>&str</code>：它是一个指向二进制程序特定位置的 slice。这也就是为什么字符串字面值是不可变的；<code>&str</code>是一个不可变引用。</p>
|
|
|
|
|
|
|
|
<h4>字符串 slice 作为参数</h4>
|
|
|
|
|
|
|
|
<p>在知道了能够获取字面值和<code>String</code>的 slice 后引起了另一个对<code>first_word</code>的改进，这是它的签名：</p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust,ignore">fn first_word(s: &String) -> &str {
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>相反一个更有经验的 Rustacean 会写下如下这一行，因为它使得可以对<code>String</code>和<code>&str</code>使用相同的函数：</p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust,ignore">fn first_word(s: &str) -> &str {
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>如果有一个字符串 slice，可以直接传递它。如果有一个<code>String</code>，则可以传递整个<code>String</code>的 slice。定义一个获取字符串 slice 而不是字符串引用的函数使得我们的 API 更加通用并且不会丢失任何功能：</p>
|
|
|
|
|
|
|
|
<p><span class="filename">Filename: src/main.rs</span></p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust"># fn first_word(s: &str) -> &str {
|
|
|
|
|
|
|
|
# let bytes = s.as_bytes();
|
|
|
|
|
|
|
|
#
|
|
|
|
|
|
|
|
# for (i, &item) in bytes.iter().enumerate() {
|
|
|
|
|
|
|
|
# if item == b' ' {
|
|
|
|
|
|
|
|
# return &s[0..i];
|
|
|
|
|
|
|
|
# }
|
|
|
|
|
|
|
|
# }
|
|
|
|
|
|
|
|
#
|
|
|
|
|
|
|
|
# &s[..]
|
|
|
|
|
|
|
|
# }
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
|
|
|
|
let my_string = String::from("hello world");
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// first_word works on slices of `String`s
|
|
|
|
|
|
|
|
let word = first_word(&my_string[..]);
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let my_string_literal = "hello world";
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// first_word works on slices of string literals
|
|
|
|
|
|
|
|
let word = first_word(&my_string_literal[..]);
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
// since string literals *are* string slices already,
|
|
|
|
|
|
|
|
// this works too, without the slice syntax!
|
|
|
|
|
|
|
|
let word = first_word(my_string_literal);
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<h3>其他 slice</h3>
|
|
|
|
|
|
|
|
<p>字符串 slice，正如你想象的那样，是针对字符串的。不过也有更通用的 slice 类型。考虑一下这个数组：</p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust">let a = [1, 2, 3, 4, 5];
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>就跟我们想要获取字符串的一部分那样，我们也会想要引用数组的一部分，而我们可以这样做：</p>
|
|
|
|
|
|
|
|
<pre><code class="language-rust">let a = [1, 2, 3, 4, 5];
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let slice = &a[1..3];
|
|
|
|
|
|
|
|
</code></pre>
|
|
|
|
|
|
|
|
<p>这个 slice 的类型是<code>&[i32]</code>。它跟以跟字符串 slice 一样的方式工作，通过储存第一个元素的引用和一个长度。你可以对其他所有类型的集合使用这类 slice。第八章讲到 vector 时会详细讨论这些集合。</p>
|
|
|
|
|
|
|
|
<h2>总结</h2>
|
|
|
|
|
|
|
|
<p>所有权、借用和 slice 这些概念是 Rust 何以在编译时保障内存安全的关键所在。Rust 像其他系统编程语言那样给予你对内存使用的控制，但拥有数据所有者在离开作用域后自动清除其数据的功能意味着你无须额外编写和调试相关的控制代码。</p>
|
|
|
|
|
|
|
|
<p>所有权系统影响了 Rust 中其他很多部分如何工作，所以我们会继续讲到这些概念，贯穿本书的余下内容。让我们开始下一个章节，来看看如何将多份数据组合进一个<code>struct</code>中。</p>
|
|
|
|
|
|
|
|
|
|
|
|
</div>
|
|
|
|
</div>
|
|
|
|
|
|
|
|
|
|
|
|
|
yang yue
8 years ago