diff --git a/src/basic/compound-type/intro.md b/src/basic/compound-type/intro.md index c65724d7..f610dd8f 100644 --- a/src/basic/compound-type/intro.md +++ b/src/basic/compound-type/intro.md @@ -2,7 +2,7 @@ 行百里者半五十，欢迎大家来到这里，虽然还不到中点，但是已经不远了。如果说之前学的基础数据类型是原子，那么本章将讲的数据类型可以认为是分子。 -本章的重点在复合类型上，顾名思义，复合类型是由其它类型组合而成的，最典型的就是结构体 `struct` 和枚举 `enum`。例如平面上的一个点 `point(x,y)`，它由两个数值类型的值 `x` 和 `y` 组合而来。我们无法单独去维护这两个数值，因为单独一个 `x` 或者 `y` 是含义不完整的，无法标识平面上的一个点，应该把它们看作一个整体去理解和处理。 +本章的重点在复合类型上，顾名思义，复合类型是由其它类型组合而成的，最典型的就是结构体 `struct` 和枚举 `enum`。例如平面上的一个点 `point(x, y)`，它由两个数值类型的值 `x` 和 `y` 组合而来。我们无法单独去维护这两个数值，因为单独一个 `x` 或者 `y` 是含义不完整的，无法标识平面上的一个点，应该把它们看作一个整体去理解和处理。 来看一段代码，它使用我们之前学过的内容来构建文件操作： diff --git a/src/basic/compound-type/struct.md b/src/basic/compound-type/struct.md index 6ba1fcb5..76271cce 100644 --- a/src/basic/compound-type/struct.md +++ b/src/basic/compound-type/struct.md @@ -278,7 +278,7 @@ help: consider introducing a named lifetime parameter ## 使用 `#[derive(Debug)]` 来打印结构体的信息 -在前面的代码中我们使用 `#[derive(Debug)]` 对结构体进行了标记，这样才能使用 `println("{:?}", s)` 的方式对其进行打印输出，如果不加，看看会发生什么: +在前面的代码中我们使用 `#[derive(Debug)]` 对结构体进行了标记，这样才能使用 `println!("{:?}", s);` 的方式对其进行打印输出，如果不加，看看会发生什么: ```rust struct Rectangle { @@ -424,8 +424,7 @@ $ cargo run 可以看到，我们想要的 debug 信息几乎都有了：代码所在的文件名、行号、表达式以及表达式的值，简直完美！ - - ## 课后练习 -> [Rust By Practice](https://zh.practice.rs/compound-types/struct.html)，支持代码在线编辑和运行，并提供详细的[习题解答](https://github.com/sunface/rust-by-practice)。 \ No newline at end of file +> [Rust By Practice](https://zh.practice.rs/compound-types/struct.html)，支持代码在线编辑和运行，并提供详细的[习题解答](https://github.com/sunface/rust-by-practice)。 + diff --git a/src/basic/ownership/borrowing.md b/src/basic/ownership/borrowing.md index 6abe055f..e89940bc 100644 --- a/src/basic/ownership/borrowing.md +++ b/src/basic/ownership/borrowing.md @@ -4,7 +4,7 @@ Rust 通过 `借用(Borrowing)` 这个概念来达成上述的目的，**获取变量的引用，称之为借用(borrowing)**。正如现实生活中，如果一个人拥有某样东西，你可以从他那里借来，当使用完毕后，也必须要物归原主。 -### 引用与解引用 +## 引用与解引用 常规引用是一个指针类型，指向了对象存储的内存地址。在下面代码中，我们创建一个 `i32` 值的引用 `y`，然后使用解引用运算符来解出 `y` 所使用的值: @@ -35,7 +35,7 @@ error[E0277]: can't compare `{integer}` with `&{integer}` 不允许比较整数与引用，因为它们是不同的类型。必须使用解引用运算符解出引用所指向的值。 -### 不可变引用 +## 不可变引用 下面的代码，我们用 `s1` 的引用作为参数传递给 `calculate_length` 函数，而不是把 `s1` 的所有权转移给该函数： @@ -102,7 +102,7 @@ error[E0596]: cannot borrow `*some_string` as mutable, as it is behind a `&` ref 正如变量默认不可变一样，引用指向的值默认也是不可变的，没事，来一起看看如何解决这个问题。 -### 可变引用 +## 可变引用 只需要一个小调整，即可修复上面代码的错误： @@ -118,9 +118,9 @@ fn change(some_string: &mut String) { } ``` -首先，声明 `s` 是可变类型，其次创建一个可变的引用 `&mut s` 和接受可变引用的函数 `some_string: &mut String`。 +首先，声明 `s` 是可变类型，其次创建一个可变的引用 `&mut s` 和接受可变引用参数 `some_string: &mut String` 的函数。 -##### 可变引用同时只能存在一个 +#### 可变引用同时只能存在一个 不过可变引用并不是随心所欲、想用就用的，它有一个很大的限制： **同一作用域，特定数据只能有一个可变引用**： @@ -173,7 +173,7 @@ let mut s = String::from("hello"); let r2 = &mut s; ``` -##### 可变引用与不可变引用不能同时存在 +#### 可变引用与不可变引用不能同时存在 下面的代码会导致一个错误： @@ -310,7 +310,6 @@ fn no_dangle() -> String { - 同一时刻，你只能拥有要么一个可变引用, 要么任意多个不可变引用 - 引用必须总是有效的 - ## 课后练习 -> [Rust By Practice](https://zh.practice.rs/ownership/borrowing.html)，支持代码在线编辑和运行，并提供详细的[习题解答](https://github.com/sunface/rust-by-practice)。 \ No newline at end of file +> [Rust By Practice](https://zh.practice.rs/ownership/borrowing.html)，支持代码在线编辑和运行，并提供详细的[习题解答](https://github.com/sunface/rust-by-practice)。 diff --git a/src/index-list.md b/src/index-list.md index c59d6da3..9cf2528b 100644 --- a/src/index-list.md +++ b/src/index-list.md @@ -18,19 +18,23 @@ ## Sym -| 名称 | 关键字 | 简介 | -| ----------------------- | ------------ | -------------------------- | -| [?] | 错误传播 | 用于简化错误传播 | -| [()] | 单元类型 | 单元类型，无返回值 | -| `!` : [1 函数] [2 类型] | 永不返回 | 永不返回 | -| [@] | 变量绑定 | 为一个字段绑定另外一个变量 | -| ['a: 'b] | 生命周期约束 | | -| A | | AIntroduction | +| 名称 | 关键字 | 简介 | +| ----------------------- | ------------ | ------------------------------------------------ | +| [?] | 错误传播 | 用于简化错误传播 | +| [()] | 单元类型 | 单元类型，无返回值 | +| `!` : [1 函数] [2 类型] | 永不返回 | 永不返回 | +| [&] | 引用 | 常规引用是一个指针类型，指向了对象存储的内存地址 | +| [\*] | 解引用 | 解出引用所指向的值 | +| [@] | 变量绑定 | 为一个字段绑定另外一个变量 | +| ['a: 'b] | 生命周期约束 | | +| A | | AIntroduction | [?]: https://course.rs/basic/result-error/result.html#传播界的大明星- [()]: https://course.rs/basic/base-type/function.html#无返回值 [1 函数]: https://course.rs/basic/base-type/function.html#永不返回的函数 [2 类型]: https://course.rs/advance/into-types/custom-type.html#永不返回类型 +[&]: https://course.rs/basic/ownership/borrowing.html#引用与解引用 +[\*]: https://course.rs/basic/ownership/borrowing.html#引用与解引用 [@]: https://course.rs/basic/match-pattern/all-patterns.html#绑定 ['a: 'b]: https://course.rs/advance/lifetime/advance.html#生命周期约束-hrtb @@ -40,6 +44,7 @@ | 名称 | 关键字 | 简介 | | ---- | ------ | ------------- | +| [] | | | | A | KWA | AIntroduction | [back](#head) @@ -217,22 +222,31 @@ ## S -| 名称 | 关键字 | 简介 | -| -------------- | ------ | ------------------------------------------------------------------------------------------------------ | -| [所有权与堆栈] | | Rust 所有权提供的强大保障 | -| [所有权原则] | | Rust 中每一个值都 `有且只有` 一个所有者(变量)
当所有者(变量)离开作用域范围时，这个值将被丢弃(drop) | -| S | KWS | SIntroduction | +| 名称 | 关键字 | 简介 | +| --------------- | ------------- | ------------------------------------------------------------------------------------------------------------------------ | +| [所有权与堆栈] | | Rust 所有权提供的强大保障 | +| [所有权原则] | | Rust 中每一个值都 `有且只有` 一个所有者(变量)
当所有者(变量)离开作用域范围时，这个值将被丢弃(drop) | +| [slice 切片] | `&str` | 允许你引用 `String` 中部分连续的元素序列，而不是引用整个 `String`
语法：`[开始索引..终止索引]`
字符串字面量是切片 | +| [String 字符串] | `String` 类型 | Rust 中的字符串是 UTF-8 编码，也就是字符串中的字符所占的字节数是变化的(1 - 4) | +| [String 操作] | `String` 方法 | 由于 `String` 是可变字符串，因此我们可以对它进行创建、增删操作 | +| S | KWS | SIntroduction | [所有权与堆栈]: https://course.rs/basic/ownership/ownership.html#所有权与堆栈 [所有权原则]: https://course.rs/basic/ownership/ownership.html#所有权原则 +[slice 切片]: https://course.rs/basic/compound-type/string-slice.html#切片slice +[string 字符串]: https://course.rs/basic/compound-type/string-slice.html#什么是字符串 +[string 操作]: https://course.rs/basic/compound-type/string-slice.html#操作字符串 [back](#head) ## T -| 名称 | 关键字 | 简介 | -| ---- | ------ | ------------- | -| T | KWT | TIntroduction | +| 名称 | 关键字 | 简介 | +| ------------ | ------ | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | +| [Tuple 元组] | | 由多种类型组合一起，元组的长度是固定的，元组中元素的顺序也是固定的
用模式匹配解构元组： `let (x, y, z) = (20, 19.2, 1)`
用 `.` 来访问元组： `tuple.0` 索引从 0 开始 | +| T | KWT | TIntroduction | + +[tuple 元组]: https://course.rs/basic/compound-type/tuple.html#元组 [back](#head)