Merge pull request #252 from xiaohulu/master

update ch04-03-slices.md
pull/257/head
KaiserY 6 years ago committed by GitHub
commit 670938a31a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1,20 +1,20 @@
## Slices ## Slice 类型
> [ch04-03-slices.md](https://github.com/rust-lang/book/blob/master/second-edition/src/ch04-03-slices.md) > [ch04-03-slices.md](https://github.com/rust-lang/book/blob/master/second-edition/src/ch04-03-slices.md)
> <br> > <br>
> commit 88a12e16d4c7fa669349c9b1ddb48093de92c5e6 > commit 729f1118332ddcf01138d284eac5db0e85f8c8ed
另一个没有所有权的数据类型是 *slice*。slice 允许你引用集合中一段连续的元素序列,而不用引用整个集合。 另一个没有所有权的数据类型是 *slice*。slice 允许你引用集合中一段连续的元素序列,而不用引用整个集合。
这里有一个编程小题:编写一个函数,该函数接收一个字符串,并返回在该字符串中找到的第一个单词。如果函数在该字符串中并未找到空格,则意味着整个字符串是一个单词,所以应该返回整个字符串。 这里有一个编程小题:编写一个函数,该函数接收一个字符串,并返回在该字符串中找到的第一个单词。如果函数在该字符串中并未找到空格,则整个字符串是一个单词,所以应该返回整个字符串。
让我们考虑一下这个函数的声明 让我们考虑一下这个函数的签名
```rust,ignore ```rust,ignore
fn first_word(s: &String) -> ? fn first_word(s: &String) -> ?
``` ```
`first_word` 函数有一个参数 `&String`。因为我们不需要所有权,所以这没有问题。不过应该返回什么呢?我们并没有一个真正获取 **部分** 字符串的办法。不过,我们可以返回单词结尾的索引。试试如示例 4-5 所示的代码: `first_word` 函数有一个参数 `&String`。因为我们不需要所有权,所以这没有问题。不过应该返回什么呢?我们并没有一个真正获取 **部分** 字符串的办法。不过,我们可以返回单词结尾的索引。试试如示例 4-7 中的代码。
<span class="filename">文件名: src/main.rs</span> <span class="filename">文件名: src/main.rs</span>
@ -32,9 +32,9 @@ fn first_word(s: &String) -> usize {
} }
``` ```
<span class="caption">示例 4-5`first_word` 函数返回 `String` 参数的一个字节索引值</span> <span class="caption">示例 4-7`first_word` 函数返回 `String` 参数的一个字节索引值</span>
让我们将代码分解成小块。因为需要一个元素一个元素的检查 `String` 中的值是否为空格,需要用 `as_bytes` 方法将 `String` 转化为字节数组: 因为需要逐个元素的检查 `String` 中的值是否为空格,需要用 `as_bytes` 方法将 `String` 转化为字节数组:
```rust,ignore ```rust,ignore
let bytes = s.as_bytes(); let bytes = s.as_bytes();
@ -46,21 +46,22 @@ let bytes = s.as_bytes();
for (i, &item) in bytes.iter().enumerate() { for (i, &item) in bytes.iter().enumerate() {
``` ```
第十三章将会讨论迭代器的更多细节。现在,只需知道 `iter` 方法返回集合中的每一个元素,而 `enumerate` 包装 `iter` 的结果并返回一个元组,其中每一个元素是元组的一部分。返回元组的第一个元素是索引,第二个元素是集合中元素的引用。这比我们自己计算索引要方便一些。 我们将在第十三章详细讨论迭代器。现在,只需知道 `iter` 方法返回集合中的每一个元素,而 `enumerate` 包装 `iter` 的结果并返回一个元组,其中每一个元素是元组的一部分。`enumerate` 返回元组的第一个元素是索引,第二个元素是集合中元素的引用。这比我们自己计算索引要方便一些。
因为 `enumerate` 方法返回一个元组,我们可以使用模式来解构,就像 Rust 中其他任何地方所做的一样。所以在 `for` 循环中,我们指定了一个模式,其中 `i` 是元组中的索引而 `&item` 是单个字节。因为我们从 `.iter().enumerate()` 中获取了集合元素的引用,所以模式中使用了 `&` 因为 `enumerate` 方法返回一个元组,我们可以使用模式来解构,就像 Rust 中其他任何地方所做的一样。所以在 `for` 循环中,我们指定了一个模式,其中元组中的 `i`索引而元组中的 `&item` 是单个字节。因为我们从 `.iter().enumerate()` 中获取了集合元素的引用,所以模式中使用了 `&`
我们通过字节的字面值语法来寻找代表空格的字节。如果找到了,返回它的位置。否则,使用 `s.len()` 返回字符串的长度: `for` 循环中,我们通过字节的字面值语法来寻找代表空格的字节。如果找到了一个空格,返回它的位置。否则,使用 `s.len()` 返回字符串的长度:
```rust,ignore ```rust,ignore
if item == b' ' { if item == b' ' {
return i; return i;
} }
} }
s.len() s.len()
``` ```
现在有了一个找到字符串中第一个单词结尾索引的方法,不过这有一个问题。我们返回了单独一个 `usize`,不过它只在 `&String` 的上下文中才是一个有意义的数字。换句话说,因为它是一个与 `String` 相分离的值,无法保证将来它仍然有效。考虑一下示例 4-6 中使用了示例 4-5 中 `first_word` 函数的程序: 现在有了一个找到字符串中第一个单词结尾索引的方法,不过这有一个问题。我们返回了一个独立的 `usize`,不过它只在 `&String` 的上下文中才是一个有意义的数字。换句话说,因为它是一个与 `String` 相分离的值,无法保证将来它仍然有效。考虑一下示例 4-8 中使用了示例 4-7 中 `first_word` 函数的程序。
<span class="filename">文件名: src/main.rs</span> <span class="filename">文件名: src/main.rs</span>
@ -80,28 +81,28 @@ s.len()
fn main() { fn main() {
let mut s = String::from("hello world"); let mut s = String::from("hello world");
let word = first_word(&s); // word will get the value 5. let word = first_word(&s); // word 的值为 5
s.clear(); // This empties the String, making it equal to "". s.clear(); // 这清空了字符串,使其等于 ""
// word still has the value 5 here, but there's no more string that // word 在此处的值仍然是 5
// we could meaningfully use the value 5 with. word is now totally invalid! // 但是没有更多的字符串让我们可以有效地应用数值 5。word 的值现在完全无效!
} }
``` ```
<span class="caption">示例 4-6储存 `first_word` 函数调用的返回值并接着改变 `String` 的内容</span> <span class="caption">示例 4-8存储 `first_word` 函数调用的返回值并接着改变 `String` 的内容</span>
这个程序编译时没有任何错误,而且在调用 `s.clear()` 之后使用 `word` 也不会出错。这时 `word``s` 状态就完全没有联系了,所以 `word `仍然包含值 `5`。可以尝试用值 `5` 来提取变量 `s` 的第一个单词,不过这是有 bug 的,因为在我们将 `5` 保存到 `word` 之后 `s` 的内容已经改变。 这个程序编译时没有任何错误,而且在调用 `s.clear()` 之后使用 `word` 也不会出错。因为 `word``s` 状态完全没有联系,所以 `word ` 仍然包含值 `5`。可以尝试用值 `5` 来提取变量 `s` 的第一个单词,不过这是有 bug 的,因为在我们将 `5` 保存到 `word` 之后 `s` 的内容已经改变。
我们不得不时刻担心 `word` 的索引与 `s` 中的数据不再同步,这是冗余且容易出错的!如果编写这么一个 `second_word` 函数的话,管理索引这件事将更加容易出问题。它的声明看起来像这样: 我们不得不时刻担心 `word` 的索引与 `s` 中的数据不再同步,这很啰嗦且易出错!如果编写这么一个 `second_word` 函数的话,管理索引这件事将更加容易出问题。它的签名看起来像这样:
```rust,ignore ```rust,ignore
fn second_word(s: &String) -> (usize, usize) { fn second_word(s: &String) -> (usize, usize) {
``` ```
现在我们跟踪一个开始索引 **和** 一个结尾索引,同时有了更多从数据的某个特定状态计算而来的值,他们也完全没有与这个状态相关联。现在有了三个飘忽不定的不相关变量都需要被同步。 现在我们跟踪一个开始索引 **和** 一个结尾索引,同时有了更多从数据的某个特定状态计算而来的值,但都完全没有与这个状态相关联。现在有三个飘忽不定的不相关变量需要保持同步。
幸运的是Rust 为这个问题提供了一个解决方:字符串 slice。 幸运的是Rust 为这个问题提供了一个解决方:字符串 slice。
### 字符串 slice ### 字符串 slice
@ -114,9 +115,9 @@ let hello = &s[0..5];
let world = &s[6..11]; let world = &s[6..11];
``` ```
这类似于获取整个 `String` 的引用不过带有额外的 `[0..5]` 部分。不同于整个 `String` 的引用,这是一个包含 `String` 内部的一个位置和所需元素数量的引用。`start..end` 语法代表一个以 `start` 开头并一直持续到但不包含 `end` 的 range。 这类似于引用整个 `String` 不过带有额外的 `[0..5]` 部分。不是对整个 `String` 的引用,而是对部分 `String` 的引用。`start..end` 语法代表一个以 `start` 开头并一直持续到但不包含 `end` 的 range。
使用一个由中括号中的 `[starting_index..ending_index]` 指定的 range 创建一个 slice其中 `starting_index`包含在 slice 的第一个位置,`ending_index` 则是 slice 最后一个位置的后一个值。在其内部slice 的数据结构存了开始位置和 slice 的长度,长度对应 `ending_index` 减去 `starting_index` 的值。所以对于 `let world = &s[6..11];` 的情况,`world` 将是一个包含指向 `s`6 个字节的指针和长度值 5 的 slice。 使用一个由中括号中的 `[starting_index..ending_index]` 指定的 range 创建一个 slice其中 `starting_index` 是 slice 的第一个位置,`ending_index` 则是 slice 最后一个位置的后一个值。在其内部slice 的数据结构存了 slice 的开始位置和长度,长度对应 `ending_index` 减去 `starting_index` 的值。所以对于 `let world = &s[6..11];` 的情况,`world` 将是一个包含指向 `s`7 个字节的指针和长度值 5 的 slice。
图 4-6 展示了一个图例。 图 4-6 展示了一个图例。
@ -144,7 +145,7 @@ let slice = &s[3..len];
let slice = &s[3..]; let slice = &s[3..];
``` ```
也可以同时舍弃这两个值来获取一个整个字符串的 slice。所以如下亦是相同的 也可以同时舍弃这两个值来获取整个字符串的 slice。所以如下亦是相同的
```rust ```rust
let s = String::from("hello"); let s = String::from("hello");
@ -155,7 +156,7 @@ let slice = &s[0..len];
let slice = &s[..]; let slice = &s[..];
``` ```
> 注意:字符串 slice range 的索引必须位于有效的 UTF-8 字符边界内,如果尝试从一个多字节字符的中间位置创建字符串 slice则程序将会因错误而退出。出于介绍字符串 slice 的目的,本部分假设只使用 ASCII 字符集;第八章的 “字符串” 部分会更加全面的讨论 UTF-8 处理问题。 > 注意:字符串 slice range 的索引必须位于有效的 UTF-8 字符边界内,如果尝试从一个多字节字符的中间位置创建字符串 slice则程序将会因错误而退出。出于介绍字符串 slice 的目的,本部分假设只使用 ASCII 字符集;第八章的 “使用字符串存储 UTF-8 编码的文本” 部分会更加全面的讨论 UTF-8 处理问题。
在记住所有这些知识后,让我们重写 `first_word` 来返回一个 slice。“字符串 slice” 的类型声明写作 `&str` 在记住所有这些知识后,让我们重写 `first_word` 来返回一个 slice。“字符串 slice” 的类型声明写作 `&str`
@ -175,9 +176,9 @@ fn first_word(s: &String) -> &str {
} }
``` ```
我们使用跟示例 4-5 相同的方式获取单词结尾的索引,通过寻找第一个出现的空格。当找到一个空格,我们返回一个索引,它使用字符串的开始和空格的索引来作为开始和结束的索引。 我们使用跟示例 4-7 相同的方式获取单词结尾的索引,通过寻找第一个出现的空格。当找到一个空格,我们返回一个字符串 slice它使用字符串的开始和空格的索引作为开始和结束的索引。
现在当调用 `first_word` 时,会返回一个单独的与底层数据相联系的值。这个值由一个 slice 开始位置的引用和 slice 中元素的数量组成。 现在当调用 `first_word` 时,会返回与底层数据关联的单个值。这个值由一个 slice 开始位置的引用和 slice 中元素的数量组成。
`second_word` 函数也可以改为返回一个 slice `second_word` 函数也可以改为返回一个 slice
@ -185,7 +186,7 @@ fn first_word(s: &String) -> &str {
fn second_word(s: &String) -> &str { fn second_word(s: &String) -> &str {
``` ```
现在我们有了一个不易混淆且直观的 API 了,因为编译器会确保指向 `String` 的引用持续有效。还记得示例 4-6 程序中,那个当我们获取第一个单词结尾的索引不过接着就清除了字符串所以索引就无效了的 bug 吗?那些代码逻辑上是不正确的,不过却没有表现出任何直接的错误。问题会在之后尝试对空字符串使用第一个单词的索引时出现。slice 就不可能出现这种 bug 并让我们更早的知道出问题了。使用 slice 版本的 `first_word` 会抛出一个编译时错误: 现在我们有了一个不易混淆且直观的 API 了,因为编译器会确保指向 `String` 的引用持续有效。还记得示例 4-8 程序中,那个当我们获取第一个单词结尾的索引后,接着就清除了字符串导致索引就无效的 bug 吗?那些代码在逻辑上是不正确的,但却没有显示任何直接的错误。问题会在之后尝试对空字符串使用第一个单词的索引时出现。slice 就不可能出现这种 bug 并让我们更早的知道出问题了。使用 slice 版本的 `first_word` 会抛出一个编译时错误:
<span class="filename">文件名: src/main.rs</span> <span class="filename">文件名: src/main.rs</span>
@ -195,7 +196,7 @@ fn main() {
let word = first_word(&s); let word = first_word(&s);
s.clear(); // Error! s.clear(); // error!
} }
``` ```
@ -208,7 +209,7 @@ error[E0502]: cannot borrow `s` as mutable because it is also borrowed as immuta
4 | let word = first_word(&s); 4 | let word = first_word(&s);
| - immutable borrow occurs here | - immutable borrow occurs here
5 | 5 |
6 | s.clear(); // Error! 6 | s.clear(); // error!
| ^ mutable borrow occurs here | ^ mutable borrow occurs here
7 | } 7 | }
| - immutable borrow ends here | - immutable borrow ends here
@ -228,19 +229,21 @@ let s = "Hello, world!";
#### 字符串 slice 作为参数 #### 字符串 slice 作为参数
在知道了能够获取字面值和 `String` 的 slice 后引起了另一个对 `first_word` 的改进,这是它的声明 在知道了能够获取字面值和 `String` 的 slice 后,我们对 `first_word` 做了改进,这是它的签名
```rust,ignore ```rust,ignore
fn first_word(s: &String) -> &str { fn first_word(s: &String) -> &str {
``` ```
相反一个更有经验的 Rustacean 会写下如下这一行,因为它使得可以对 `String``&str` 使用相同的函数: 而更有经验的 Rustacean 会编写出示例 4-9 中的签名,因为它使得可以对 `String` 值和 `&str`使用相同的函数:
```rust,ignore ```rust,ignore
fn first_word(s: &str) -> &str { fn first_word(s: &str) -> &str {
``` ```
如果有一个字符串 slice可以直接传递它。如果有一个 `String`,则可以传递整个 `String` 的 slice。定义一个获取字符串 slice 而不是字符串引用的函数使得我们的 API 更加通用并且不会丢失任何功能: <span class="caption">示例 4-9: 通过将 `s` 参数的类型改为字符串 slice 来改进 `first_word` 函数</span>
如果有一个字符串 slice可以直接传递它。如果有一个 `String`,则可以传递整个 `String` 的 slice。定义一个获取字符串 slice 而不是 `String` 引用的函数使得我们的 API 更加通用并且不会丢失任何功能:
<span class="filename">Filename: src/main.rs</span> <span class="filename">Filename: src/main.rs</span>
@ -259,16 +262,16 @@ fn first_word(s: &str) -> &str {
fn main() { fn main() {
let my_string = String::from("hello world"); let my_string = String::from("hello world");
// first_word works on slices of `String`s // first_word 中传入 `String` 的 slice
let word = first_word(&my_string[..]); let word = first_word(&my_string[..]);
let my_string_literal = "hello world"; let my_string_literal = "hello world";
// first_word works on slices of string literals // first_word 中传入字符串字面值的 slice
let word = first_word(&my_string_literal[..]); let word = first_word(&my_string_literal[..]);
// since string literals *are* string slices already, // 因为字符串字面值 **就是** 字符串 slice
// this works too, without the slice syntax! // 这样写也可以,即不使用 slice 语法!
let word = first_word(my_string_literal); let word = first_word(my_string_literal);
} }
``` ```
@ -281,7 +284,7 @@ fn main() {
let a = [1, 2, 3, 4, 5]; let a = [1, 2, 3, 4, 5];
``` ```
就跟我们想要获取字符串的一部分那样,我们也会想要引用数组的一部分,而我们可以这样做: 就跟我们想要获取字符串的一部分那样,我们也会想要引用数组的一部分我们可以这样做:
```rust ```rust
let a = [1, 2, 3, 4, 5]; let a = [1, 2, 3, 4, 5];
@ -289,10 +292,10 @@ let a = [1, 2, 3, 4, 5];
let slice = &a[1..3]; let slice = &a[1..3];
``` ```
这个 slice 的类型是 `&[i32]`。它跟字符串 slice 一样方式工作,通过存第一个集合元素的引用和一个集合总长度。你可以对其他所有类型的集合使用这类 slice。第八章讲到 vector 时会详细讨论这些集合。 这个 slice 的类型是 `&[i32]`。它跟字符串 slice 的工作方式一样,通过存第一个集合元素的引用和一个集合总长度。你可以对其他所有集合使用这类 slice。第八章讲到 vector 时会详细讨论这些集合。
## 总结 ## 总结
所有权、借用和 slice 这些概念是 Rust 可以在编译时保障内存安全的关键所在。Rust 像其他系统编程语言那样给予你对内存使用的控制,但拥有数据所有者在离开作用域后自动清除其数据的功能意味着你无须额外编写和调试相关的控制代码。 所有权、借用和 slice 这些概念让 Rust 程序在编译时确保内存安全。Rust 语言提供了跟其他系统编程语言相同的方式来控制你使用的内存,但拥有数据所有者在离开作用域后自动清除其数据的功能意味着你无须额外编写和调试相关的控制代码。
所有权系统影响了 Rust 中很多其他部分的工作方式,所以我们还会继续讲到这些概念,这将贯穿本书的余下内容。让我们开始下一个章节,来看看如何将多份数据组合进一个 `struct` 中。 所有权系统影响了 Rust 中很多其他部分的工作方式,所以我们还会继续讲到这些概念,这将贯穿本书的余下内容。让我们开始第五章,来看看如何将多份数据组合进一个 `struct` 中。

Loading…
Cancel
Save