0

.gitignore

@@ -1 +1,2 @@
 target/
+*.tar.gz

docs/src/SUMMARY.md

@@ -81,3 +81,89 @@
 - [Web编程]()
   - [提取网络链接( 爬虫 )](web/scraping.md)
 
+
+
+- [关于 practice.rs](why-exercise.md)
+- [值得学习的小型项目](elegant-code-base.md)
+- [变量绑定与解构](variables.md)
+- [基本类型](basic-types/intro.md)
+  - [数值类型](basic-types/numbers.md)
+  - [字符、布尔、单元类型](basic-types/char-bool-unit.md)
+  - [语句与表达式](basic-types/statements-expressions.md)
+  - [函数](basic-types/functions.md)
+- [所有权和借用](ownership/intro.md)
+  - [所有权](ownership/ownership.md)
+  - [引用和借用](ownership/borrowing.md)
+- [复合类型](compound-types/intro.md)
+  - [字符串](compound-types/string.md)
+  - [数组](compound-types/array.md)
+  - [切片](compound-types/slice.md)
+  - [元组](compound-types/tuple.md)
+  - [结构体](compound-types/struct.md)
+  - [枚举](compound-types/enum.md)
+- [流程控制](flow-control.md)
+- [模式匹配](pattern-match/intro.md)
+  - [match, matches! 和 if let](pattern-match/match-iflet.md)
+  - [模式](pattern-match/patterns.md)
+- [方法和关联函数](method.md)
+- [泛型和特征](generics-traits/intro.md)
+  - [泛型](generics-traits/generics.md)
+  - [Const 泛型](generics-traits/const-generics.md)
+  - [特征 Traits](generics-traits/traits.md)
+  - [特征对象](generics-traits/trait-object.md)
+  - [进一步深入特征](generics-traits/advanced-traits.md)
+- [集合类型](collections/intro.md)
+  - [动态字符串 String](collections/string.md)
+  - [动态数组 Vector](collections/vector.md)
+  - [KV 存储 HashMap](collections/hashmap.md)
+- [类型转换](type-conversions/intro.md)
+  - [as](type-conversions/as.md)
+  - [From/Into](type-conversions/from-into.md)
+  - [其它转换](type-conversions/others.md)
+- [返回值和 panic!](result-panic/intro.md)
+  - [panic! 深入剖析](result-panic/panic.md)
+  - [返回值result 和 ?](result-panic/result.md)
+- [包和模块](crate-module/intro.md)
+  - [包 Crate](crate-module/crate.md)
+  - [模块 Module](crate-module/module.md)
+  - [使用use引入模块及受限可见性](crate-module/use-pub.md)
+- [注释和文档](comments-docs.md)
+- [格式化输出](formatted-output.md)
+- [生命周期](lifetime/intro.md)
+  - [生命周期基础](lifetime/basic.md)
+  - [&'static 和 T: 'static](lifetime/static.md)
+  - [深入生命周期](lifetime/advance.md)
+- [函数式编程: 闭包、迭代器 todo](functional-programing/intro.md)
+  - [闭包 Closure](functional-programing/closure.md)
+  - [迭代器 Iterator](functional-programing/iterator.md)
+- [newtype 和 Sized todo](newtype-sized.md)
+- [智能指针 todo](smart-pointers/intro.md)
+  - [Box](smart-pointers/box.md)
+  - [Deref](smart-pointers/deref.md)
+  - [Drop](smart-pointers/drop.md)
+  - [Rc and Arc](smart-pointers/rc-arc.md)
+  - [Cell and RefCell](smart-pointers/cell-refcell.md)
+- [Weak 和循环引用todo](weak.md)
+- [自引用 todo](self-referential.md)
+- [多线程 todo](threads/intro.md)
+  - [多线程基础](threads/basic-using.md)
+  - [消息传递](threads/message-passing.md)
+  - [线程同步：锁、Condvar和信号量](threads/sync.md)
+  - [线程同步：Atomic](threads/atomic.md)
+  - [Send 和 Sync](threads/send-sync.md)
+- [全局变量 todo](global-variables.md)
+- [错误处理 todo](errors.md)
+- [Unsafe doing](unsafe/intro.md)
+  - [内联汇编](unsafe/inline-asm.md)
+- [macro 宏 todo](macro.md)
+- [测试 todo](tests/intro.md)
+  - [编写测试及控制执行](tests/write-tests.md)
+  - [基准性能测试 Benchmark](tests/benchmark.md)
+  - [单元测试及集成测试](tests/unit-integration.md)
+  - [断言 Assertions](tests/assertions.md)
+- [Async/Await 异步编程 todo](async/intro.md)
+  - [async 和 await!](async/async-await.md)
+  - [Future](async/future.md)
+  - [Pin 和 Unpin](async/pin-unpin.md)
+  - [Stream 流处理](async/stream.md)
+

docs/src/async/async-await.md

@@ -0,0 +1 @@
+# async and await!

docs/src/async/future.md

@@ -0,0 +1 @@
+# Future

docs/src/async/intro.md

@@ -0,0 +1 @@
+# Async/Await

docs/src/async/pin-unpin.md

@@ -0,0 +1 @@
+# Pin and Unpin

docs/src/async/stream.md

@@ -0,0 +1 @@
+# Stream

docs/src/basic-types/char-bool-unit.md

@@ -0,0 +1,98 @@
+# 字符、布尔、单元类型
+
+### 字符
+1. 🌟
+```rust,editable
+// 修改2处 `assert_eq!` 让代码工作
+
+use std::mem::size_of_val;
+fn main() {
+    let c1 = 'a';
+    assert_eq!(size_of_val(&c1),1); 
+
+    let c2 = '中';
+    assert_eq!(size_of_val(&c2),3); 
+
+    println!("Success!")
+} 
+```
+
+2. 🌟
+```rust,editable
+// 修改一行让代码正常打印
+fn main() {
+    let c1 = "中";
+    print_char(c1);
+} 
+
+fn print_char(c : char) {
+    println!("{}", c);
+}
+```
+
+### 布尔
+3. 🌟
+```rust,editable
+
+// 使成功打印
+fn main() {
+    let _f: bool = false;
+
+    let t = true;
+    if !t {
+        println!("Success!")
+    }
+} 
+```
+
+4. 🌟
+```rust,editable
+
+fn main() {
+    let f = true;
+    let t = true && false;
+    assert_eq!(t, f);
+
+    println!("Success!")
+}
+```
+
+
+### 单元类型
+5. 🌟🌟
+```rust,editable
+
+// 让代码工作，但不要修改 `implicitly_ret_unit` !
+fn main() {
+    let _v: () = ();
+
+    let v = (2, 3);
+    assert_eq!(v, implicitly_ret_unit());
+
+    println!("Success!")
+}
+
+fn implicitly_ret_unit() {
+    println!("I will return a ()")
+}
+
+// 不要使用下面的函数，它只用于演示！
+fn explicitly_ret_unit() -> () {
+    println!("I will return a ()")
+}
+```
+
+6. 🌟🌟 单元类型占用的内存大小是多少？
+```rust,editable
+
+// 让代码工作：修改 `assert!` 中的 `4` 
+use std::mem::size_of_val;
+fn main() {
+    let unit: () = ();
+    assert!(size_of_val(&unit) == 4);
+
+    println!("Success!")
+}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/basic-types/char-bool.md)找到答案(在 solutions 路径下) 

docs/src/basic-types/functions.md

@@ -0,0 +1,93 @@
+# 函数
+1. 🌟🌟🌟
+```rust,editable
+
+fn main() {
+    // 不要修改下面两行代码!
+    let (x, y) = (1, 2);
+    let s = sum(x, y);
+
+    assert_eq!(s, 3);
+}
+
+fn sum(x, y: i32) {
+    x + y;
+}
+```
+
+
+2. 🌟🌟
+```rust,editable
+fn main() {
+   print();
+}
+
+// 使用另一个类型来替代 i32
+fn print() -> i32 {
+   println!("hello,world");
+}
+```
+
+
+3. 🌟🌟🌟
+
+```rust,editable
+// 用两种方法求解
+fn main() {
+    never_return();
+}
+
+fn never_return() -> ! {
+    // 实现这个函数，不要修改函数签名!
+    
+}
+```
+
+4. 🌟🌟 发散函数( Diverging function )不会返回任何值，因此它们可以用于替代需要返回任何值的地方
+```rust,editable
+
+fn main() {
+    println!("Success!");
+}
+
+fn get_option(tp: u8) -> Option<i32> {
+    match tp {
+        1 => {
+            // TODO
+        }
+        _ => {
+            // TODO
+        }
+    };
+    
+    // 这里与其返回一个 None，不如使用发散函数替代
+    never_return_fn()
+}
+
+// 使用三种方法实现以下发散函数
+fn never_return_fn() -> ! {
+    
+}
+```
+
+5. 🌟🌟
+```rust,editable
+
+fn main() {
+    // 填空
+    let b = __;
+
+    let _v = match b {
+        true => 1,
+        // 发散函数也可以用于 `match` 表达式，用于替代任何类型的值
+        false => {
+            println!("Success!");
+            panic!("we have no value for `false`, but we can panic")
+        }
+    };
+
+    println!("Exercise Failed if printing out this line!");
+}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/basic-types/functions.md)找到答案(在 solutions 路径下) 

docs/src/basic-types/intro.md

@@ -0,0 +1,5 @@
+# 基本类型
+学习资料: 
+- English: [Rust Book 3.2 and 3.3](https://doc.rust-lang.org/book/ch03-02-data-types.html)
+- 简体中文: [Rust语言圣经 - 基本类型](https://course.rs/basic/base-type/index.html)
+

docs/src/basic-types/numbers.md

@@ -0,0 +1,166 @@
+# 数值类型
+
+### 整数
+
+1. 🌟 
+
+> Tips: 如果我们没有显式的给予变量一个类型，那编译器会自动帮我们推导一个类型
+
+```rust,editable
+
+// 移除某个部分让代码工作
+fn main() {
+    let x: i32 = 5;
+    let mut y: u32 = 5;
+
+    y = x;
+    
+    let z = 10; // 这里 z 的类型是? 
+}
+```
+
+2. 🌟 
+```rust,editable
+
+// 填空
+fn main() {
+    let v: u16 = 38_u8 as __;
+}
+```
+
+3. 🌟🌟🌟 
+
+> Tips: 如果我们没有显式的给予变量一个类型，那编译器会自动帮我们推导一个类型
+
+```rust,editable
+
+// 修改 `assert_eq!` 让代码工作
+fn main() {
+    let x = 5;
+    assert_eq!("u32".to_string(), type_of(&x));
+}
+
+// 以下函数可以获取传入参数的类型，并返回类型的字符串形式，例如  "i8", "u8", "i32", "u32"
+fn type_of<T>(_: &T) -> String {
+    format!("{}", std::any::type_name::<T>())
+}
+```
+
+4. 🌟🌟 
+```rust,editable
+
+// 填空，让代码工作
+fn main() {
+    assert_eq!(i8::MAX, __); 
+    assert_eq!(u8::MAX, __); 
+}
+```
+
+5. 🌟🌟 
+```rust,editable
+
+// 解决代码中的错误和 `panic`
+fn main() {
+   let v1 = 251_u8 + 8;
+   let v2 = i8::checked_add(251, 8).unwrap();
+   println!("{},{}",v1,v2);
+}
+```
+
+6. 🌟🌟
+```rust,editable
+
+// 修改 `assert!` 让代码工作
+fn main() {
+    let v = 1_024 + 0xff + 0o77 + 0b1111_1111;
+    assert!(v == 1579);
+}
+```
+
+
+### 浮点数
+7. 🌟 
+
+```rust,editable
+
+// 将 ? 替换成你的答案
+fn main() {
+    let x = 1_000.000_1; // ?
+    let y: f32 = 0.12; // f32
+    let z = 0.01_f64; // f64
+}
+```
+8. 🌟🌟 使用两种方法来让下面代码工作
+
+
+```rust,editable
+
+fn main() {
+    assert!(0.1+0.2==0.3);
+}
+```
+
+### 序列Range
+9. 🌟🌟 两个目标: 1. 修改 `assert!` 让它工作 2. 让 `println!` 输出: 97 - 122
+
+```rust,editable
+fn main() {
+    let mut sum = 0;
+    for i in -3..2 {
+        sum += i
+    }
+
+    assert!(sum == -3);
+
+    for c in 'a'..='z' {
+        println!("{}",c);
+    }
+}
+```
+
+10. 🌟🌟 
+```rust,editable
+
+// 填空
+use std::ops::{Range, RangeInclusive};
+fn main() {
+    assert_eq!((1..__), Range{ start: 1, end: 5 });
+    assert_eq!((1..__), RangeInclusive::new(1, 5));
+}
+```
+
+### 计算
+
+11. 🌟 
+```rust,editable
+
+// 填空，并解决错误
+fn main() {
+    // 整数加法
+    assert!(1u32 + 2 == __);
+
+    // 整数减法
+    assert!(1i32 - 2 == __);
+    assert!(1u8 - 2 == -1);
+    
+    assert!(3 * 50 == __);
+
+    assert!(9.6 / 3.2 == 3.0); // error ! 修改它让代码工作
+
+    assert!(24 % 5 == __);
+    
+    // 逻辑与或非操作
+    assert!(true && false == __);
+    assert!(true || false == __);
+    assert!(!true == __);
+
+    // 位操作
+    println!("0011 AND 0101 is {:04b}", 0b0011u32 & 0b0101);
+    println!("0011 OR 0101 is {:04b}", 0b0011u32 | 0b0101);
+    println!("0011 XOR 0101 is {:04b}", 0b0011u32 ^ 0b0101);
+    println!("1 << 5 is {}", 1u32 << 5);
+    println!("0x80 >> 2 is 0x{:x}", 0x80u32 >> 2);
+}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/basic-types/numbers.md)找到答案(在 solutions 路径下) 

docs/src/basic-types/statements-expressions.md

@@ -0,0 +1,64 @@
+# 语句与表达式
+
+### 示例
+```rust,editable
+fn main() {
+    let x = 5u32;
+
+    let y = {
+        let x_squared = x * x;
+        let x_cube = x_squared * x;
+
+        // 下面表达式的值将被赋给 `y`
+        x_cube + x_squared + x
+    };
+
+    let z = {
+        // 分号让表达式变成了语句，因此返回的不再是表达式 `2 * x` 的值，而是语句的值 `()`
+        2 * x;
+    };
+
+    println!("x is {:?}", x);
+    println!("y is {:?}", y);
+    println!("z is {:?}", z);
+}
+```
+
+### 练习
+1. 🌟🌟
+```rust,editable
+// 使用两种方法让代码工作起来
+fn main() {
+   let v = {
+       let mut x = 1;
+       x += 2
+   };
+
+   assert_eq!(v, 3);
+}
+```
+
+2. 🌟
+```rust,editable
+
+fn main() {
+   let v = (let x = 3);
+
+   assert!(v == 3);
+}
+```
+
+3. 🌟
+```rust,editable
+
+fn main() {
+    let s = sum(1 , 2);
+    assert_eq!(s, 3);
+}
+
+fn sum(x: i32, y: i32) -> i32 {
+    x + y;
+}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/basic-types/statements.md)找到答案(在 solutions 路径下) 

docs/src/circle-reference/intro.md

@@ -0,0 +1 @@
+# Circle reference and Self referential

docs/src/collections/hashmap.md

@@ -0,0 +1,223 @@
+# HashMap
+
+`HashMap` 默认使用 `SipHash 1-3` 哈希算法，该算法对于抵抗 `HashDos` 攻击非常有效。在性能方面，如果你的 key 是中型大小的，那该算法非常不错，但是如果是小型的 key( 例如整数 )亦或是大型的 key ( 例如字符串 )，那你需要采用社区提供的其它算法来提高性能。
+
+哈希表的算法是基于 Google 的 [SwissTable](https://abseil.io/blog/20180927-swisstables)，你可以在[这里](https://github.com/abseil/abseil-cpp/blob/master/absl/container/internal/raw_hash_set.h)找到 C++ 的实现，同时在 [CppCon talk](https://www.youtube.com/watch?v=ncHmEUmJZf4) 上也有关于算法如何工作的演讲。
+
+### 基本操作
+
+1. 🌟🌟
+
+```rust,editable
+
+// 填空并修复错误
+use std::collections::HashMap;
+fn main() {
+    let mut scores = HashMap::new();
+    scores.insert("Sunface", 98);
+    scores.insert("Daniel", 95);
+    scores.insert("Ashley", 69.0);
+    scores.insert("Katie", "58");
+
+    // get 返回一个 Option<&V> 枚举值
+    let score = scores.get("Sunface");
+    assert_eq!(score, Some(98));
+
+    if scores.contains_key("Daniel") {
+        // 索引返回一个值 V
+        let score = scores["Daniel"];
+        assert_eq!(score, __);
+        scores.remove("Daniel");
+    }
+
+    assert_eq!(scores.len(), __);
+
+    for (name, score) in scores {
+        println!("The score of {} is {}", name, score)
+    }
+}
+```
+
+2. 🌟🌟
+
+```rust,editable
+
+use std::collections::HashMap;
+fn main() {
+    let teams = [
+        ("Chinese Team", 100),
+        ("American Team", 10),
+        ("France Team", 50),
+    ];
+
+    let mut teams_map1 = HashMap::new();
+    for team in &teams {
+        teams_map1.insert(team.0, team.1);
+    }
+
+    // 使用两种方法实现 team_map2
+    // 提示:其中一种方法是使用 `collect` 方法
+    let teams_map2...
+
+    assert_eq!(teams_map1, teams_map2);
+
+    println!("Success!")
+}
+```
+
+3. 🌟🌟
+
+```rust,editable
+
+// 填空
+use std::collections::HashMap;
+fn main() {
+    // 编译器可以根据后续的使用情况帮我自动推断出 HashMap 的类型，当然你也可以显式地标注类型：HashMap<&str, u8>
+    let mut player_stats = HashMap::new();
+
+    // 查询指定的 key, 若不存在时，则插入新的 kv 值
+    player_stats.entry("health").or_insert(100);
+
+    assert_eq!(player_stats["health"], __);
+
+    // 通过函数来返回新的值
+    player_stats.entry("health").or_insert_with(random_stat_buff);
+    assert_eq!(player_stats["health"], __);
+
+    let health = player_stats.entry("health").or_insert(50);
+    assert_eq!(health, __);
+    *health -= 50;
+    assert_eq!(*health, __);
+
+    println!("Success!")
+}
+
+fn random_stat_buff() -> u8 {
+    // 为了简单，我们没有使用随机，而是返回一个固定的值
+    42
+}
+```
+
+### HashMap key 的限制
+
+任何实现了 `Eq` 和 `Hash` 特征的类型都可以用于 `HashMap` 的 key，包括:
+
+- `bool` (虽然很少用到，因为它只能表达两种 key)
+- `int`, `uint` 以及它们的变体，例如 `u8`、`i32` 等
+- `String` 和 `&str` (提示: `HashMap` 的 key 是 `String` 类型时，你其实可以使用 `&str` 配合 `get` 方法进行查询
+
+需要注意的是，`f32` 和 `f64` 并没有实现 `Hash`，原因是 [浮点数精度](https://en.wikipedia.org/wiki/Floating-point_arithmetic#Accuracy_problems) 的问题会导致它们无法进行相等比较。
+
+如果一个集合类型的所有字段都实现了 `Eq` 和 `Hash`,那该集合类型会自动实现 `Eq` 和 `Hash`。例如 `Vect<T>` 要实现 `Hash`，那么首先需要 `T` 实现 `Hash`。
+
+4. 🌟🌟
+
+```rust,editable
+
+// 修复错误
+// 提示: `derive` 是实现一些常用特征的好办法
+use std::collections::HashMap;
+
+struct Viking {
+    name: String,
+    country: String,
+}
+
+impl Viking {
+    fn new(name: &str, country: &str) -> Viking {
+        Viking {
+            name: name.to_string(),
+            country: country.to_string(),
+        }
+    }
+}
+
+fn main() {
+    // 使用 HashMap 来存储 viking 的生命值
+    let vikings = HashMap::from([
+        (Viking::new("Einar", "Norway"), 25),
+        (Viking::new("Olaf", "Denmark"), 24),
+        (Viking::new("Harald", "Iceland"), 12),
+    ]);
+
+    // 使用 derive 的方式来打印 viking 的当前状态
+    for (viking, health) in &vikings {
+        println!("{:?} has {} hp", viking, health);
+    }
+}
+```
+
+### 容量
+
+关于容量，我们在之前的 [Vector](https://zh.practice.rs/collections/vector.html#容量) 中有详细的介绍，而 `HashMap` 也可以调整容量: 你可以通过 `HashMap::with_capacity(uint)` 使用指定的容量来初始化，或者使用 `HashMap::new()` ，后者会提供一个默认的初始化容量。
+
+#### 示例
+
+```rust,editable
+
+use std::collections::HashMap;
+fn main() {
+    let mut map: HashMap<i32, i32> = HashMap::with_capacity(100);
+    map.insert(1, 2);
+    map.insert(3, 4);
+    // 事实上，虽然我们使用了 100 容量来初始化，但是 map 的容量很可能会比 100 更多
+    assert!(map.capacity() >= 100);
+
+    // 对容量进行收缩，你提供的值仅仅是一个允许的最小值，实际上，Rust 会根据当前存储的数据量进行自动设置，当然，这个值会尽量靠近你提供的值，同时还可能会预留一些调整空间
+
+    map.shrink_to(50);
+    assert!(map.capacity() >= 50);
+
+    // 让 Rust  自行调整到一个合适的值，剩余策略同上
+    map.shrink_to_fit();
+    assert!(map.capacity() >= 2);
+    println!("Success!")
+}
+```
+
+### 所有权
+
+对于实现了 `Copy` 特征的类型，例如 `i32`，那类型的值会被拷贝到 `HashMap` 中。而对于有所有权的类型，例如 `String`，它们的值的所有权将被转移到 `HashMap` 中。
+
+5. 🌟🌟
+
+```rust,editable
+// 修复错误，尽可能少的去修改代码
+// 不要移除任何代码行！
+use std::collections::HashMap;
+fn main() {
+  let v1 = 10;
+  let mut m1 = HashMap::new();
+  m1.insert(v1, v1);
+  println!("v1 is still usable after inserting to hashmap : {}", v1);
+
+  let v2 = "hello".to_string();
+  let mut m2 = HashMap::new();
+  // 所有权在这里发生了转移
+  m2.insert(v2, v1);
+
+  assert_eq!(v2, "hello");
+
+   println!("Success!")
+}
+```
+
+### 三方库 Hash 库
+
+在开头，我们提到过如果现有的 `SipHash 1-3` 的性能无法满足你的需求，那么可以使用社区提供的替代算法。
+
+例如其中一个社区库的使用方式如下：
+
+```rust
+use std::hash::BuildHasherDefault;
+use std::collections::HashMap;
+// 引入第三方的哈希函数
+use twox_hash::XxHash64;
+
+
+let mut hash: HashMap<_, _, BuildHasherDefault<XxHash64>> = Default::default();
+hash.insert(42, "the answer");
+assert_eq!(hash.get(&42), Some(&"the answer"));
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/collections/Hashmap.md)找到答案(在 solutions 路径下) 

docs/src/collections/intro.md

@@ -0,0 +1,4 @@
+# 集合类型
+学习资源: 
+- 简体中文: [Rust语言圣经 - 集合类型](https://course.rs/basic/collections/intro.html)
+

docs/src/collections/string.md

@@ -0,0 +1,207 @@
+# String
+`std::string::String` 是 UTF-8 编码、可增长的动态字符串. 它也是我们日常开发中最常用的字符串类型，同时对于它所拥有的内容拥有所有权。
+
+### 基本操作
+1. 🌟🌟
+```rust,editable
+
+// 填空并修复错误
+// 1. 不要使用 `to_string()`
+// 2. 不要添加/删除任何代码行
+fn main() {
+    let mut s: String = "hello, ";
+    s.push_str("world".to_string());
+    s.push(__);
+
+    move_ownership(s);
+
+    assert_eq!(s, "hello, world!");
+
+    println!("Success!")
+}
+
+fn move_ownership(s: String) {
+    println!("ownership of \"{}\" is moved here!", s)
+}
+```
+
+### String and &str
+虽然 `String` 的底层是 `Vec<u8>` 也就是字节数组的形式存储的，但是它是基于 UTF-8 编码的字符序列。`String` 分配在堆上、可增长且不是以 `null` 结尾。
+
+而 `&str` 是[切片引用](https://course.rs/confonding/slice.html)类型( `&[u8]` )，指向一个合法的 UTF-8 字符序列，总之，`&str` 和 `String` 的关系类似于 `&[T]` 和 `Vec<T>` 。
+
+如果大家想了解更多，可以看看[易混淆概念解析 - &str 和 String](https://course.rs/difficulties/string.html)。
+
+
+2. 🌟🌟
+```rust,editable
+// 填空
+fn main() {  
+   let mut s = String::from("hello, world");
+
+   let slice1: &str = __; // 使用两种方法
+   assert_eq!(slice1, "hello, world");
+
+   let slice2 = __;
+   assert_eq!(slice2, "hello");
+
+   let slice3: __ = __; 
+   slice3.push('!');
+   assert_eq!(slice3, "hello, world!");
+
+   println!("Success!")
+}
+```
+
+3. 🌟🌟
+```rust,editable
+
+// 问题:  我们的代码中发生了多少次堆内存分配？
+// 你的回答: 
+fn main() {  
+    // 基于 `&str` 类型创建一个 String,
+    // 字符串字面量的类型是 `&str`
+   let s: String = String::from("hello, world!");
+
+   // 创建一个切片引用指向 String `s`
+   let slice: &str = &s;
+
+   // 基于刚创建的切片来创建一个 String
+   let s: String = slice.to_string();
+
+   assert_eq!(s, "hello, world!");
+
+   println!("Success!")
+}
+```
+
+### UTF-8 & 索引
+由于 String 都是 UTF-8 编码的，这会带来几个影响:
+
+- 如果你需要的是非 UTF-8 字符串，可以考虑 [OsString](https://doc.rust-lang.org/stable/std/ffi/struct.OsString.html) 
+- 无法通过索引的方式访问一个 String
+
+具体请看[字符串索引](https://course.rs/basic/compound-type/string-slice.html#字符串索引)。
+
+4. 🌟🌟🌟 我们无法通过索引的方式访问字符串中的某个字符，但是可以通过切片的方式来获取字符串的某一部分 `&s1[start..end]`
+
+```rust,editable
+
+// 填空并修复错误
+fn main() {
+    let s = String::from("hello, 世界");
+    let slice1 = s[0]; //提示: `h` 在 UTF-8 编码中只占用 1 个字节
+    assert_eq!(slice1, "h");
+
+    let slice2 = &s[3..5];// 提示: `世` 在 UTF-8 编码中占用 3 个字节
+    assert_eq!(slice2, "世");
+    
+    // 迭代 s 中的所有字符
+    for (i, c) in s.__ {
+        if i == 7 {
+            assert_eq!(c, '世')
+        }
+    }
+
+    println!("Success!")
+}
+```
+
+
+#### utf8_slice
+我们可以使用 [utf8_slice](https://docs.rs/utf8_slice/1.0.0/utf8_slice/fn.slice.html) 来按照字符的自然索引方式对 UTF-8 字符串进行切片访问，与之前的切片方式相比，它索引的是字符，而之前的方式索引的是字节.
+
+**示例**
+```rust
+use utf8_slice;
+fn main() {
+   let s = "The 🚀 goes to the 🌑!";
+
+   let rocket = utf8_slice::slice(s, 4, 5);
+   // Will equal "🚀"
+}
+```
+
+
+5. 🌟🌟🌟
+> 提示: 也许你需要使用 `from_utf8` 方法
+
+```rust,editable
+
+// 填空
+fn main() {
+    let mut s = String::new();
+    __;
+
+    let v = vec![104, 101, 108, 108, 111];
+
+    // 将字节数组转换成 String
+    let s1 = __;
+    
+    
+    assert_eq!(s, s1);
+
+    println!("Success!")
+}
+```
+
+### 内部表示
+事实上 `String` 是一个智能指针，它作为一个结构体存储在栈上，然后指向存储在堆上的字符串底层数据。
+
+存储在栈上的智能指针结构体由三部分组成：一个指针只指向堆上的字节数组，已使用的长度以及已分配的容量 capacity (已使用的长度小于等于已分配的容量，当容量不够时，会重新分配内存空间)。
+
+6. 🌟🌟 如果 String 的当前容量足够，那么添加字符将不会导致新的内存分配
+```rust,editable
+
+// 修改下面的代码以打印如下内容: 
+// 25
+// 25
+// 25
+// 循环中不会发生任何内存分配
+fn main() {
+    let mut s = String::new();
+
+    println!("{}", s.capacity());
+
+    for _ in 0..2 {
+        s.push_str("hello");
+        println!("{}", s.capacity());
+    }
+
+    println!("Success!")
+}
+```
+
+7. 🌟🌟🌟
+```rust,editable
+
+// 填空
+use std::mem;
+
+fn main() {
+    let story = String::from("Rust By Practice");
+
+    // 阻止 String 的数据被自动 drop
+    let mut story = mem::ManuallyDrop::new(story);
+
+    let ptr = story.__();
+    let len = story.__();
+    let capacity = story.__();
+
+    assert_eq!(16, len);
+
+    // 我们可以基于 ptr 指针、长度和容量来重新构建 String. 
+    // 这种操作必须标记为 unsafe，因为我们需要自己来确保这里的操作是安全的
+    let s = unsafe { String::from_raw_parts(ptr, len, capacity) };
+
+    assert_eq!(*story, s);
+
+    println!("Success!")
+}
+```
+
+
+### 常用方法(TODO)
+关于 String 的常用方法练习，可以查看[这里](../std/String.md).
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/collections/String.md)找到答案(在 solutions 路径下) 

docs/src/collections/vector.md

@@ -0,0 +1,248 @@
+# Vector
+相比 `[T; N]` 形式的数组， `Vector` 最大的特点就是可以动态调整长度。
+
+### 基本操作
+1. 🌟🌟🌟
+```rust,editable
+
+fn main() {
+    let arr: [u8; 3] = [1, 2, 3];
+    
+    let v = Vec::from(arr);
+    is_vec(v);
+
+    let v = vec![1, 2, 3];
+    is_vec(v);
+
+    // vec!(..) 和 vec![..] 是同样的宏，宏可以使用 []、()、{}三种形式，因此...
+    let v = vec!(1, 2, 3);
+    is_vec(v);
+    
+    // ...在下面的代码中, v 是 Vec<[u8; 3]> , 而不是 Vec<u8>
+    // 使用 Vec::new 和 `for` 来重写下面这段代码
+    let v1 = vec!(arr);
+    is_vec(v1);
+ 
+    assert_eq!(v, v1);
+
+    println!("Success!")
+}
+
+fn is_vec(v: Vec<u8>) {}
+```
+
+
+
+2. 🌟🌟 `Vec` 可以使用 `extend` 方法进行扩展
+```rust,editable
+
+// 填空
+fn main() {
+    let mut v1 = Vec::from([1, 2, 4]);
+    v1.pop();
+    v1.push(3);
+    
+    let mut v2 = Vec::new();
+    v2.__;
+
+    assert_eq!(v1, v2);
+
+    println!("Success!")
+}
+```
+
+### 将 X 类型转换(From/Into 特征)成 Vec
+只要为 `Vec` 实现了 `From<T>` 特征，那么 `T` 就可以被转换成 `Vec`。
+
+3. 🌟🌟🌟
+```rust,editable
+
+// 填空
+fn main() {
+    // array -> Vec
+    // impl From<[T; N]> for Vec
+    let arr = [1, 2, 3];
+    let v1 = __(arr);
+    let v2: Vec<i32> = arr.__();
+ 
+    assert_eq!(v1, v2);
+ 
+    
+    // String -> Vec
+    // impl From<String> for Vec
+    let s = "hello".to_string();
+    let v1: Vec<u8> = s.__();
+
+    let s = "hello".to_string();
+    let v2 = s.into_bytes();
+    assert_eq!(v1, v2);
+
+    // impl<'_> From<&'_ str> for Vec
+    let s = "hello";
+    let v3 = Vec::__(s);
+    assert_eq!(v2, v3);
+
+    // 迭代器 Iterators 可以通过 collect 变成 Vec
+    let v4: Vec<i32> = [0; 10].into_iter().collect();
+    assert_eq!(v4, vec![0; 10]);
+
+    println!("Success!")
+ }
+```
+
+### 索引
+4. 🌟🌟🌟
+```rust,editable
+
+// 修复错误并实现缺失的代码
+fn main() {
+    let mut v = Vec::from([1, 2, 3]);
+    for i in 0..5 {
+        println!("{:?}", v[i])
+    }
+
+    for i in 0..5 {
+       // 实现这里的代码...
+    }
+    
+    assert_eq!(v, vec![2, 3, 4, 5, 6]);
+
+    println!("Success!")
+}
+```
+
+
+### 切片
+与 `String` 的切片类似， `Vec` 也可以使用切片。如果说 `Vec` 是可变的，那它的切片就是不可变或者说只读的，我们可以通过 `&` 来获取切片。
+
+在 Rust 中，将切片作为参数进行传递是更常见的使用方式，例如当一个函数只需要可读性时，那传递 `Vec` 或 `String` 的切片 `&[T]` / `&str` 会更加适合。
+
+
+5. 🌟🌟
+```rust,editable
+
+// 修复错误
+fn main() {
+    let mut v = vec![1, 2, 3];
+
+    let slice1 = &v[..];
+    // 越界访问将导致 panic.
+    // 修改时必须使用 `v.len`
+    let slice2 = &v[0..4];
+    
+    assert_eq!(slice1, slice2);
+    
+    // 切片是只读的
+    // 注意：切片和 `&Vec` 是不同的类型，后者仅仅是 `Vec` 的引用，并可以通过解引用直接获取 `Vec`
+    let vec_ref: &mut Vec<i32> = &mut v;
+    (*vec_ref).push(4);
+    let slice3 = &mut v[0..3];
+    slice3.push(4);
+
+    assert_eq!(slice3, &[1, 2, 3, 4]);
+
+    println!("Success!")
+}
+```
+### 容量
+容量 `capacity` 是已经分配好的内存空间，用于存储未来添加到 `Vec` 中的元素。而长度 `len` 则是当前 `Vec` 中已经存储的元素数量。如果要添加新元素时，长度将要超过已有的容量，那容量会自动进行增长：Rust 会重新分配一块更大的内存空间，然后将之前的 `Vec` 拷贝过去，因此，这里就会发生新的内存分配( 目前 Rust 的容量调整策略是加倍，例如 2 -> 4 -> 8 ..)。
+
+若这段代码会频繁发生，那频繁的内存分配会大幅影响我们系统的性能，最好的办法就是提前分配好足够的容量，尽量减少内存分配。
+
+
+6. 🌟🌟
+```rust,editable
+// 修复错误
+fn main() {
+    let mut vec = Vec::with_capacity(10);
+
+    assert_eq!(vec.len(), __);
+    assert_eq!(vec.capacity(), 10);
+
+    // 由于提前设置了足够的容量，这里的循环不会造成任何内存分配...
+    for i in 0..10 {
+        vec.push(i);
+    }
+    assert_eq!(vec.len(), __);
+    assert_eq!(vec.capacity(), __);
+
+    // ...但是下面的代码会造成新的内存分配
+    vec.push(11);
+    assert_eq!(vec.len(), 11);
+    assert!(vec.capacity() >= 11);
+
+
+    // 填写一个合适的值，在 `for` 循环运行的过程中，不会造成任何内存分配
+    let mut vec = Vec::with_capacity(__);
+    for i in 0..100 {
+        vec.push(i);
+    }
+
+    assert_eq!(vec.len(), __);
+    assert_eq!(vec.capacity(), __);
+    
+    println!("Success!")
+}
+```
+
+### 在 Vec 中存储不同类型的元素
+`Vec` 中的元素必须是相同的类型，例如以下代码会发生错误:
+```rust
+fn main() {
+   let v = vec![1, 2.0, 3];
+}
+```
+但是我们可以使用枚举或特征对象来存储不同的类型.
+
+7. 🌟🌟
+```rust,editable
+#[derive(Debug)]
+enum IpAddr {
+    V4(String),
+    V6(String),
+}
+fn main() {
+    // 填空
+    let v : Vec<IpAddr>= __;
+    
+    // 枚举的比较需要派生 PartialEq 特征
+    assert_eq!(v[0], IpAddr::V4("127.0.0.1".to_string()));
+    assert_eq!(v[1], IpAddr::V6("::1".to_string()));
+
+    println!("Success!")
+}
+```
+
+8. 🌟🌟
+```rust,editable
+trait IpAddr {
+    fn display(&self);
+}
+
+struct V4(String);
+impl IpAddr for V4 {
+    fn display(&self) {
+        println!("ipv4: {:?}",self.0)
+    }
+}
+struct V6(String);
+impl IpAddr for V6 {
+    fn display(&self) {
+        println!("ipv6: {:?}",self.0)
+    }
+}
+
+fn main() {
+    // 填空
+    let v: __= vec![
+        Box::new(V4("127.0.0.1".to_string())),
+        Box::new(V6("::1".to_string())),
+    ];
+
+    for ip in v {
+        ip.display();
+    }
+}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/collections/Vector.md)找到答案(在 solutions 路径下) 

docs/src/compound-types/array.md

@@ -0,0 +1,86 @@
+# 数组
+数组的类型是 `[T; Length]`，就如你所看到的，数组的长度是类型签名的一部分，因此数组的长度必须在编译期就已知，例如你不能使用以下方式来声明一个数组:
+```rust
+fn create_arr(n: i32) {
+    let arr = [1; n];
+}
+```
+
+以上函数将报错，因为编译器无法在编译期知道 `n` 的具体大小。
+
+1. 🌟 
+```rust,editable
+
+fn main() {
+    // 使用合适的类型填空
+    let arr: __ = [1, 2, 3, 4, 5];
+
+    // 修改以下代码，让它顺利运行
+    assert!(arr.len() == 4);
+}
+```
+
+2. 🌟🌟
+```rust,editable
+
+fn main() {
+    // 很多时候，我们可以忽略数组的部分类型，也可以忽略全部类型，让编译器帮助我们推导
+    let arr0 = [1, 2, 3];
+    let arr: [_; 3] = ['a', 'b', 'c'];
+    
+    // 填空
+    // 数组分配在栈上， `std::mem::size_of_val` 函数会返回整个数组占用的内存空间
+    // 数组中的每个 char 元素占用 4 字节的内存空间，因为在 Rust 中， char 是 Unicode 字符
+    assert!(std::mem::size_of_val(&arr) == __);
+}
+```
+
+3. 🌟 数组中的所有元素可以一起初始化为同一个值
+```rust,editable
+
+fn main() {
+    // 填空
+    let list: [i32; 100] = __ ;
+
+    assert!(list[0] == 1);
+    assert!(list.len() == 100);
+}
+```
+
+4. 🌟 数组中的所有元素必须是同一类型
+```rust,editable
+
+fn main() {
+    // 修复错误
+    let _arr = [1, 2, '3'];
+}
+```
+
+5. 🌟 数组的下标索引从 0 开始.
+```rust,editable
+
+fn main() {
+    let arr = ['a', 'b', 'c'];
+    
+    let ele = arr[1]; // 只修改此行来让代码工作
+
+    assert!(ele == 'a');
+}
+```
+
+6. 🌟 越界索引会导致代码的 `panic`.
+```rust,editable
+
+// 修复代码中的错误
+fn main() {
+    let names = [String::from("Sunfei"), "Sunface".to_string()];
+    
+    // `get` 返回 `Option<T>` 类型，因此它的使用非常安全
+    let name0 = names.get(0).unwrap();
+
+    // 但是下标索引就存在越界的风险了
+    let _name1 = &names[2];
+}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/compound-types/array.md)找到答案(在 solutions 路径下) 

docs/src/compound-types/enum.md

@@ -0,0 +1,194 @@
+# 枚举 Enum
+1. 🌟🌟 在创建枚举时，你可以使用显式的整数设定枚举成员的值。
+
+```rust,editable
+
+// 修复错误
+enum Number {
+    Zero,
+    One,
+    Two,
+}
+
+enum Number1 {
+    Zero = 0,
+    One,
+    Two,
+}
+
+// C语言风格的枚举定义
+enum Number2 {
+    Zero = 0.0,
+    One = 1.0,
+    Two = 2.0,
+}
+
+
+fn main() {
+    // 通过 `as` 可以将枚举值强转为整数类型
+    assert_eq!(Number::One, Number1::One);
+    assert_eq!(Number1::One, Number2::One);
+} 
+```
+
+2. 🌟 枚举成员可以持有各种类型的值
+```rust,editable
+
+// 填空
+enum Message {
+    Quit,
+    Move { x: i32, y: i32 },
+    Write(String),
+    ChangeColor(i32, i32, i32),
+}
+
+fn main() {
+    let msg1 = Message::Move{__}; // 使用x = 1, y = 2 来初始化
+    let msg2 = Message::Write(__); // 使用 "hello, world!" 来初始化
+} 
+```
+
+3. 🌟🌟 枚举成员中的值可以使用模式匹配来获取
+```rust,editable
+
+// 仅填空并修复错误
+enum Message {
+    Quit,
+    Move { x: i32, y: i32 },
+    Write(String),
+    ChangeColor(i32, i32, i32),
+}
+
+fn main() {
+    let msg = Message::Move{x: 1, y: 2};
+
+    if let Message::Move{__} = msg {
+        assert_eq!(a, b);
+    } else {
+        panic!("不要让这行代码运行！");
+    }
+} 
+```
+
+4. 🌟🌟 使用枚举对类型进行同一化
+
+```rust,editable
+
+// 填空，并修复错误
+enum Message {
+    Quit,
+    Move { x: i32, y: i32 },
+    Write(String),
+    ChangeColor(i32, i32, i32),
+}
+
+fn main() {
+    let msgs: __ = [
+        Message::Quit,
+        Message::Move{x:1, y:3},
+        Message::ChangeColor(255,255,0)
+    ];
+
+    for msg in msgs {
+        show_message(msg)
+    }
+} 
+
+fn show_message(msg: Message) {
+    println!("{}", msg);
+}
+```
+
+5. 🌟🌟 Rust 中没有 `null`，我们通过 `Option<T>` 枚举来处理值为空的情况
+```rust,editable
+
+// 填空让 `println` 输出，同时添加一些代码不要让最后一行的 `panic` 执行到
+fn main() {
+    let five = Some(5);
+    let six = plus_one(five);
+    let none = plus_one(None);
+
+    if let __ = six {
+        println!("{}", n)
+    } 
+        
+    panic!("不要让这行代码运行！");
+} 
+
+fn plus_one(x: Option<i32>) -> Option<i32> {
+    match x {
+        __ => None,
+        __ => Some(i + 1),
+    }
+}
+```
+
+
+6. 🌟🌟🌟🌟 使用枚举来实现链表.
+
+```rust,editable
+
+// 填空，让代码运行
+use crate::List::*;
+
+enum List {
+    // Cons: 链表中包含有值的节点，节点是元组类型，第一个元素是节点的值，第二个元素是指向下一个节点的指针
+    Cons(u32, Box<List>),
+    // Nil: 链表中的最后一个节点，用于说明链表的结束
+    Nil,
+}
+
+// 为枚举实现一些方法
+impl List {
+    // 创建空的链表
+    fn new() -> List {
+        // 因为没有节点，所以直接返回 Nil 节点
+        // 枚举成员 Nil 的类型是 List
+        Nil
+    }
+
+    // 在老的链表前面新增一个节点，并返回新的链表
+    fn prepend(self, elem: u32) -> __ {
+        Cons(elem, Box::new(self))
+    }
+
+    // 返回链表的长度
+    fn len(&self) -> u32 {
+        match *self {
+            // 这里我们不能拿走 tail 的所有权，因此需要获取它的引用
+            Cons(_, __ tail) => 1 + tail.len(),
+            // 空链表的长度为 0
+            Nil => 0
+        }
+    }
+
+    // 返回链表的字符串表现形式，用于打印输出
+    fn stringify(&self) -> String {
+        match *self {
+            Cons(head, ref tail) => {
+                // 递归生成字符串
+                format!("{}, {}", head, tail.__())
+            },
+            Nil => {
+                format!("Nil")
+            },
+        }
+    }
+}
+
+fn main() {
+    // 创建一个新的链表(也是空的)
+    let mut list = List::new();
+
+    // 添加一些元素
+    list = list.prepend(1);
+    list = list.prepend(2);
+    list = list.prepend(3);
+
+    // 打印列表的当前状态
+    println!("链表的长度是: {}", list.len());
+    println!("{}", list.stringify());
+}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/compound-types/enum.md)找到答案(在 solutions 路径下) 

docs/src/compound-types/intro.md

@@ -0,0 +1,5 @@
+# 复合类型
+学习资料: 
+- English: [Rust Book 4.3, 5.1, 6.1, 8.2](https://doc.rust-lang.org/book/ch04-03-slices.html)
+- 简体中文: [Rust语言圣经 - 复合类型](https://course.rs/basic/compound-type/intro.html)
+

docs/src/compound-types/slice.md

@@ -0,0 +1,92 @@
+# 切片( Slice )
+切片跟数组相似，但是切片的长度无法在编译期得知，因此你无法直接使用切片类型。
+
+1. 🌟🌟 这里, `[i32]` 和 `str` 都是切片类型，但是直接使用它们会造成编译错误，如下代码所示。为了解决，你需要使用切片的引用： `&[i32]`，`&str`。
+```rust,editable
+
+// 修复代码中的错误，不要新增代码行!
+fn main() {
+    let arr = [1, 2, 3];
+    let s1: [i32] = arr[0..2];
+
+    let s2: str = "hello, world" as str;
+}
+```
+
+一个切片引用占用了2个字大小的内存空间( 从现在开始，为了简洁性考虑，如无特殊原因，**我们统一使用切片来特指切片引用** )。 该切片的第一个字是指向数据的指针，第二个字是切片的长度。字的大小取决于处理器架构，例如在 `x86-64` 上，字的大小是 64 位也就是 8 个字节，那么一个切片引用就是 16 个字节大小。
+
+切片( 引用 )可以用来借用数组的某个连续的部分，对应的签名是 `&[T]`，大家可以与数组的签名对比下 `[T; Length]`。
+
+2. 🌟🌟🌟
+```rust,editable
+
+fn main() {
+    let arr: [char; 3] = ['中', '国', '人'];
+
+    let slice = &arr[..2];
+    
+    // 修改数字 `8` 让代码工作
+    // 小提示: 切片和数组不一样，它是引用。如果是数组的话，那下面的 `assert!` 将会通过： '中'和'国'是char类型，char类型是Unicode编码，大小固定为4字节，两个字符为8字节。
+    assert!(std::mem::size_of_val(&slice) == 8);
+}
+```
+
+3. 🌟🌟
+```rust,editable
+
+fn main() {
+   let arr: [i32; 5] = [1, 2, 3, 4, 5];
+  // 填空让代码工作起来
+  let slice: __ = __;
+  assert_eq!(slice, &[2, 3, 4]);
+}
+```
+
+### 字符串切片
+4. 🌟 
+```rust,editable
+
+fn main() {
+    let s = String::from("hello");
+
+    let slice1 = &s[0..2];
+    // 填空，不要再使用 0..2
+    let slice2 = &s[__];
+
+    assert_eq!(slice1, slice2);
+}
+```
+
+5. 🌟
+```rust,editable
+
+fn main() {
+    let s = "你好，世界";
+    // 修改以下代码行，让代码工作起来
+    let slice = &s[0..2];
+
+    assert!(slice == "你");
+}
+```
+
+6. 🌟🌟 `&String` 可以被隐式地转换成 `&str` 类型.
+```rust,editable
+
+// 修复所有错误
+fn main() {
+    let mut s = String::from("hello world");
+
+    // 这里, &s 是 `&String` 类型，但是 `first_character` 函数需要的是 `&str` 类型。
+    // 尽管两个类型不一样，但是代码仍然可以工作，原因是 `&String` 会被隐式地转换成 `&str` 类型，如果大家想要知道更多，可以看看 Deref 章节: https://course.rs/advance/smart-pointer/deref.html
+    let ch = first_character(&s);
+
+    s.clear(); // error!
+
+    println!("the first character is: {}", ch);
+}
+fn first_character(s: &str) -> &str {
+    &s[..1]
+}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/compound-types/slice.md)找到答案(在 solutions 路径下) 

docs/src/compound-types/string.md

@@ -0,0 +1,258 @@
+# 字符串
+字符串字面量的类型是 `&str`， 例如 `let s: &str = "hello, world"` 中的 `"hello, world"` 的类型就是 `&str`。
+
+
+### `str` 和 `&str`
+1. 🌟 正常情况下我们无法使用 `str` 类型，但是可以使用 `&str` 来替代
+
+```rust,editable
+
+// 修复错误，不要新增代码行
+fn main() {
+    let s: str = "hello, world";
+}
+```
+
+
+2. 🌟🌟 如果要使用 `str` 类型，只能配合 `Box`。  `&` 可以用来将 `Box<str>` 转换为 `&str` 类型
+
+```rust,editable
+
+// 使用至少两种方法来修复错误
+fn main() {
+    let s: Box<str> = "hello, world".into();
+    greetings(s)
+}
+
+fn greetings(s: &str) {
+    println!("{}",s)
+}
+```
+
+### String
+`String` 是定义在标准库中的类型，分配在堆上，可以动态的增长。它的底层存储是动态字节数组的方式( `Vec<u8>` )，但是与字节数组不同，`String` 是 `UTF-8` 编码。
+
+3. 🌟
+```rust,editable
+
+// 填空
+fn main() {
+    let mut s = __;
+    s.push_str("hello, world");
+    s.push('!');
+
+    assert_eq!(s, "hello, world!");
+}
+```
+
+4. 🌟🌟🌟
+```rust,editable
+
+// 修复所有错误，并且不要新增代码行
+fn main() {
+    let  s = String::from("hello");
+    s.push(',');
+    s.push(" world");
+    s += "!".to_string();
+
+    println!("{}", s)
+}
+```
+
+5. 🌟🌟 我们可以用 `replace` 方法来替换指定的子字符串
+```rust,editable
+
+// 填空
+fn main() {
+    let s = String::from("I like dogs");
+    // 以下方法会重新分配一块内存空间，然后将修改后的字符串存在这里
+    let s1 = s.__("dogs", "cats");
+
+    assert_eq!(s1, "I like cats")
+}
+```
+
+在标准库的 [String](https://doc.rust-lang.org/std/string/struct.String.html) 模块中，有更多的实用方法，感兴趣的同学可以看看。
+
+
+6. 🌟🌟 你只能将 `String` 跟 `&str` 类型进行拼接，并且 `String` 的所有权在此过程中会被 move
+
+```rust,editable
+
+// 修复所有错误，不要删除任何一行代码
+fn main() {
+    let s1 = String::from("hello,");
+    let s2 = String::from("world!");
+    let s3 = s1 + s2; 
+    assert_eq!(s3,"hello,world!");
+    println!("{}",s1);
+}
+```
+
+### `&str` 和 `String`
+与 `str` 的很少使用相比，`&str` 和 `String` 类型却非常常用，因此也非常重要。
+
+
+7. 🌟🌟 我们可以使用两种方法将 `&str` 转换成 `String` 类型
+```rust,editable
+
+// 使用至少两种方法来修复错误
+fn main() {
+    let s = "hello, world";
+    greetings(s)
+}
+
+fn greetings(s: String) {
+    println!("{}",s)
+}
+```
+
+8. 🌟🌟 我们可以使用 `String::from` 或 `to_string` 将 `&str` 转换成 `String` 类型
+
+```rust,editable
+
+// 使用两种方法来解决错误，不要新增代码行
+fn main() {
+    let s = "hello, world".to_string();
+    let s1: &str = s;
+}
+```
+
+### 字符串转义
+9. 🌟 
+```rust,editable
+fn main() {
+    // 你可以使用转义的方式来输出想要的字符，这里我们使用十六进制的值，例如 \x73 会被转义成小写字母 's'
+    // 填空以输出 "I'm writing Rust"
+    let byte_escape = "I'm writing Ru\x73__!";
+    println!("What are you doing\x3F (\\x3F means ?) {}", byte_escape);
+
+    // 也可以使用 Unicode 形式的转义字符
+    let unicode_codepoint = "\u{211D}";
+    let character_name = "\"DOUBLE-STRUCK CAPITAL R\"";
+
+    println!("Unicode character {} (U+211D) is called {}",
+                unicode_codepoint, character_name );
+
+    // 还能使用 \ 来连接多行字符串
+    let long_string = "String literals
+                        can span multiple lines.
+                        The linebreak and indentation here \
+                         can be escaped too!";
+    println!("{}", long_string);
+}
+```
+
+
+10. 🌟🌟🌟 有时候需要转义的字符很多，我们会希望使用更方便的方式来书写字符串: raw string.
+```rust,editable
+/* 填空并修复所有错误 */
+fn main() {
+    let raw_str = r"Escapes don't work here: \x3F \u{211D}";
+    // 修改上面的行让代码工作
+    assert_eq!(raw_str, "Escapes don't work here: ? ℝ");
+
+    // 如果你希望在字符串中使用双引号，可以使用以下形式
+    let quotes = r#"And then I said: "There is no escape!""#;
+    println!("{}", quotes);
+
+    // 如果希望在字符串中使用 # 号，可以如下使用：
+    let  delimiter = r###"A string with "# in it. And even "##!"###;
+    println!("{}", delimiter);
+
+    // 填空
+    let long_delimiter = __;
+    assert_eq!(long_delimiter, "Hello, \"##\"")
+}
+```
+
+### 字节字符串
+想要一个非 UTF-8 形式的字符串吗(我们之前的 `str`, `&str`, `String` 都是 UTF-8 字符串) ? 可以试试字节字符串或者说字节数组:
+
+**示例**:
+```rust,editable
+use std::str;
+
+fn main() {
+    // 注意，这并不是 `&str` 类型了！
+    let bytestring: &[u8; 21] = b"this is a byte string";
+
+
+    // 字节数组没有实现 `Display` 特征，因此只能使用 `Debug` 的方式去打印
+    println!("A byte string: {:?}", bytestring);
+
+    // 字节数组也可以使用转义
+    let escaped = b"\x52\x75\x73\x74 as bytes";
+    // ...但是不支持 unicode 转义
+    // let escaped = b"\u{211D} is not allowed";
+    println!("Some escaped bytes: {:?}", escaped);
+
+
+    // raw string
+    let raw_bytestring = br"\u{211D} is not escaped here";
+    println!("{:?}", raw_bytestring);
+
+    // 将字节数组转成 `str` 类型可能会失败
+    if let Ok(my_str) = str::from_utf8(raw_bytestring) {
+        println!("And the same as text: '{}'", my_str);
+    }
+
+    let _quotes = br#"You can also use "fancier" formatting, \
+                    like with normal raw strings"#;
+
+    // 字节数组可以不是 UTF-8 格式
+    let shift_jis = b"\x82\xe6\x82\xa8\x82\xb1\x82\xbb"; // "ようこそ" in SHIFT-JIS
+
+    // 但是它们未必能转换成 `str` 类型
+    match str::from_utf8(shift_jis) {
+        Ok(my_str) => println!("Conversion successful: '{}'", my_str),
+        Err(e) => println!("Conversion failed: {:?}", e),
+    };
+}
+```
+
+如果大家想要了解更多关于字符串字面量、转义字符的话，可以看看 Rust Reference 的 ['Tokens' 章节](https://doc.rust-lang.org/reference/tokens.html).
+
+### 字符串索引string index
+11. 🌟🌟 你无法通过索引的方式去访问字符串中的某个字符，但是可以使用切片的方式 `&s1[start..end]` ，但是`start` 和 `end` 必须准确落在字符的边界处.
+
+```rust,editable
+
+fn main() {
+    let s1 = String::from("hi,中国");
+    let h = s1[0]; // 修改当前行来修复错误，提示: `h` 字符在 UTF-8 格式中只需要 1 个字节来表示
+    assert_eq!(h, "h");
+
+    let h1 = &s1[3..5];// 修改当前行来修复错误，提示: `中` 字符在 UTF-8 格式中需要 3 个字节来表示
+    assert_eq!(h1, "中");
+}
+```
+
+### 操作 UTF-8 字符串
+12. 🌟
+```rust,editable
+
+fn main() {
+    // 填空，打印出 "你好，世界" 中的每一个字符
+    for c in "你好，世界".__ {
+        println!("{}", c)
+    }
+}
+```
+
+#### utf8_slice
+我们可以使用三方库 [utf8_slice](https://docs.rs/utf8_slice/1.0.0/utf8_slice/fn.slice.html) 来访问 UTF-8 字符串的某个子串，但是与之前不同的是，该库索引的是字符，而不是字节.
+
+**Example**
+```rust
+use utf8_slice;
+fn main() {
+    let s = "The 🚀 goes to the 🌑!";
+
+    let rocket = utf8_slice::slice(s, 4, 5);
+    // 结果是 "🚀"
+}
+```
+
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/compound-types/string.md)找到答案(在 solutions 路径下) 

docs/src/compound-types/struct.md

@@ -0,0 +1,221 @@
+# 结构体
+
+### 三种类型的结构体
+1. 🌟 对于结构体，我们必须为其中的每一个字段都指定具体的值
+```rust,editable
+
+// fix the error
+struct Person {
+    name: String,
+    age: u8,
+    hobby: String
+}
+fn main() {
+    let age = 30;
+    let p = Person {
+        name: String::from("sunface"),
+        age,
+    };
+} 
+```
+
+
+2. 🌟 单元结构体没有任何字段。
+```rust,editable
+
+struct Unit;
+trait SomeTrait {
+    // ...定义一些行为
+}
+
+// 我们并不关心结构体中有什么数据( 字段 )，但我们关心它的行为。
+// 因此这里我们使用没有任何字段的单元结构体，然后为它实现一些行为
+impl SomeTrait for Unit {  }
+fn main() {
+    let u = Unit;
+    do_something_with_unit(u);
+} 
+
+// 填空，让代码工作
+fn do_something_with_unit(u: __) {   }
+```
+
+3. 🌟🌟🌟 元组结构体看起来跟元组很像，但是它拥有一个结构体的名称，该名称可以赋予它一定的意义。由于它并不关心内部数据到底是什么名称，因此此时元组结构体就非常适合。
+
+```rust,editable
+
+// 填空并修复错误
+struct Color(i32, i32, i32);
+struct Point(i32, i32, i32);
+fn main() {
+    let v = Point(__, __, __);
+    check_color(v);
+}   
+
+fn check_color(p: Color) {
+    let (x, _, _) = p;
+    assert_eq!(x, 0);
+    assert_eq!(p.1, 127);
+    assert_eq!(__, 255);
+ }
+```
+
+### 结构体上的一些操作
+4. 🌟 你可以在实例化一个结构体时将它整体标记为可变的，但是 Rust 不允许我们将结构体的某个字段专门指定为可变的.
+
+```rust,editable
+
+// 填空并修复错误，不要增加或移除代码行
+struct Person {
+    name: String,
+    age: u8,
+}
+fn main() {
+    let age = 18;
+    let p = Person {
+        name: String::from("sunface"),
+        age,
+    };
+
+    // how can you believe sunface is only 18? 
+    p.age = 30;
+
+    // 填空
+    __ = String::from("sunfei");
+}
+```
+
+5. 🌟 使用结构体字段初始化缩略语法可以减少一些重复代码
+```rust,editable
+
+// 填空
+struct Person {
+    name: String,
+    age: u8,
+}
+fn main() {} 
+
+fn build_person(name: String, age: u8) -> Person {
+    Person {
+        age,
+        __
+    }
+}
+```
+
+6. 🌟 你可以使用结构体更新语法基于一个结构体实例来构造另一个
+```rust,editable
+
+// 填空，让代码工作
+struct User {
+    active: bool,
+    username: String,
+    email: String,
+    sign_in_count: u64,
+}
+fn main() {
+    let u1 = User {
+        email: String::from("someone@example.com"),
+        username: String::from("sunface"),
+        active: true,
+        sign_in_count: 1,
+    };
+
+    let u2 = set_email(u1);
+} 
+
+fn set_email(u: User) -> User {
+    User {
+        email: String::from("contact@im.dev"),
+        __
+    }
+}
+```
+
+### 打印结构体
+7. 🌟🌟 我们可以使用 `#[derive(Debug)]` 让[结构体变成可打印的](https://course.rs/basic/compound-type/struct.html#使用-derivedebug-来打印结构体的信息).
+
+```rust,editable
+
+// 填空，让代码工作
+#[__]
+struct Rectangle {
+    width: u32,
+    height: u32,
+}
+
+fn main() {
+    let scale = 2;
+    let rect1 = Rectangle {
+        width: dbg!(30 * scale), // 打印 debug 信息到标准错误输出 stderr,并将 `30 * scale` 的值赋给 `width`
+        height: 50,
+    };
+
+    dbg!(&rect1); // 打印 debug 信息到标准错误输出 stderr
+
+    println!(__, rect1); // 打印 debug 信息到标准输出 stdout
+}
+```
+
+### 结构体的所有权
+当解构一个变量时，可以同时使用 `move` 和引用模式绑定的方式。当这么做时，部分 `move` 就会发生：变量中一部分的所有权被转移给其它变量，而另一部分我们获取了它的引用。
+
+在这种情况下，原变量将无法再被使用，但是它没有转移所有权的那一部分依然可以使用，也就是之前被引用的那部分。
+
+#### 示例
+```rust,editable
+
+fn main() {
+    #[derive(Debug)]
+    struct Person {
+        name: String,
+        age: Box<u8>,
+    }
+
+    let person = Person {
+        name: String::from("Alice"),
+        age: Box::new(20),
+    };
+
+    // 通过这种解构式模式匹配，person.name 的所有权被转移给新的变量 `name`
+    // 但是，这里 `age` 变量却是对 person.age 的引用, 这里 ref 的使用相当于: let age = &person.age 
+    let Person { name, ref age } = person;
+
+    println!("The person's age is {}", age);
+
+    println!("The person's name is {}", name);
+
+    // Error! 原因是 person 的一部分已经被转移了所有权，因此我们无法再使用它
+    //println!("The person struct is {:?}", person);
+
+    // 虽然 `person` 作为一个整体无法再被使用，但是 `person.age` 依然可以使用
+    println!("The person's age from person struct is {}", person.age);
+}
+```
+
+#### 练习
+
+8. 🌟🌟
+```rust,editable
+
+// 修复错误
+#[derive(Debug)]
+struct File {
+    name: String,
+    data: String,
+}
+fn main() {
+    let f = File {
+        name: String::from("readme.md"),
+        data: "Rust By Practice".to_string()
+    };
+
+    let _name = f.name;
+
+    // 只能修改这一行
+    println!("{}, {}, {:?}",f.name, f.data, f);
+} 
+```
+
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/compound-types/struct.md)找到答案(在 solutions 路径下) 

docs/src/compound-types/tuple.md

@@ -0,0 +1,80 @@
+# 元组( Tuple )
+1. 🌟 元组中的元素可以是不同的类型。元组的类型签名是 `(T1, T2, ...)`, 这里 `T1`, `T2` 是相对应的元组成员的类型.
+```rust,editable
+
+fn main() {
+    let _t0: (u8,i16) = (0, -1);
+    // 元组的成员还可以是一个元组
+    let _t1: (u8, (i16, u32)) = (0, (-1, 1));
+    // 填空让代码工作
+    let t: (u8, __, i64, __, __) = (1u8, 2u16, 3i64, "hello", String::from(", world"));
+}
+```
+
+2. 🌟 可以使用索引来获取元组的成员
+```rust,editable
+
+// 修改合适的地方，让代码工作
+fn main() {
+    let t = ("i", "am", "sunface");
+    assert_eq!(t.1, "sunface");
+}
+```
+
+3. 🌟 过长的元组无法被打印输出
+```rust,editable
+
+// 修复代码错误
+fn main() {
+    let too_long_tuple = (1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13);
+    println!("too long tuple: {:?}", too_long_tuple);
+}
+```
+
+4. 🌟 使用模式匹配来解构元组
+```rust,editable
+
+fn main() {
+    let tup = (1, 6.4, "hello");
+
+    // 填空
+    let __ = tup;
+
+    assert_eq!(x, 1);
+    assert_eq!(y, "hello");
+    assert_eq!(z, 6.4);
+}
+```
+
+5. 🌟🌟 解构式赋值
+```rust,editable
+fn main() {
+    let (x, y, z);
+
+    // 填空
+    __ = (1, 2, 3);
+    
+    assert_eq!(x, 3);
+    assert_eq!(y, 1);
+    assert_eq!(z, 2);
+}
+```
+
+6. 🌟🌟 元组可以用于函数的参数和返回值
+```rust,editable
+
+fn main() {
+    // 填空，需要稍微计算下
+    let (x, y) = sum_multiply(__);
+
+    assert_eq!(x, 5);
+    assert_eq!(y, 6);
+}
+
+fn sum_multiply(nums: (i32, i32)) -> (i32, i32) {
+    (nums.0 + nums.1, nums.0 * nums.1)
+}
+```
+
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/compound-types/tuple.md)找到答案(在 solutions 路径下) 

docs/src/crate-module/crate.md

@@ -0,0 +1,111 @@
+# Package and Crate
+`package` 是你通过 `Cargo` 创建的工程或项目，因此在 `package` 的根目录下会有一个 `Cargo.toml` 文件。
+
+1. 🌟 创建一个 `package`，拥有以下目录结构:
+```shell
+.
+├── Cargo.toml
+└── src
+    └── main.rs
+
+1 directory, 2 files
+```
+
+```toml
+# in Cargo.toml
+[package]
+name = "hello-package"
+version = "0.1.0"
+edition = "2021"
+```
+
+> 注意! 我们会在包与模块中使用上面的项目作为演示，因此不要删除
+
+2. 🌟 创建一个 package，拥有以下目录结构:
+```shell
+.
+├── Cargo.toml
+└── src
+    └── lib.rs
+
+1 directory, 2 files
+```
+
+```toml
+# in Cargo.toml
+[package]
+name = "hello-package1"
+version = "0.1.0"
+edition = "2021"
+```
+
+> 该项目可以安全的移除
+
+3. 🌟 
+```rust,editable
+/* 使用你的答案填空 */
+
+// Q: package 1# 和 2# 的区别是什么 ?
+// A: __
+```
+
+
+## 包Crate
+一个包可以是二进制也可以一个依赖库。每一个包都有一个包根，例如二进制包的包根是 `src/main.rs`，库包的包根是 `src/lib.rs`。包根是编译器开始处理源代码文件的地方，同时也是包模块树的根部。 
+
+在 package `hello-package` 中，有一个二进制包，该包与 `package` 同名 : `hello-package`,  其中 `src/main.rs` 是该二进制包的包根.
+
+与 `hello-package` 类似, `hello-package1` 同样包含一个包，但是与之前的二进制包不同，该 package 包含的是库包，其中 `src/lib.rs` 是其包根.
+
+4. 🌟
+```rust,editable
+/* 填空 */
+
+// Q: package `hello-package1` 中的库包名称是?
+// A: __
+```
+
+
+5. 🌟🌟 为 `hello-package` 添加一个库包，并且完成以下目录结构的填空:
+```shell,editable
+# 填空
+.
+├── Cargo.lock
+├── Cargo.toml
+├── src
+│   ├── __
+│   └── __
+```
+
+在上一个步骤后，我们的 `hello-package` 中已经存在两个包：一个二进制包和一个库包，两个包的名称都与 package 相同：`hello-package`。
+
+
+
+6. 🌟🌟🌟 一个 package 最多只能包含一个库包，但是却可以包含多个二进制包：通过将二进制文件放入到 `src/bin` 目录下实现: **该目录下的每个文件都是一个独立的二进制包，包名与文件名相同，不再与 package 的名称相同。**.
+
+```shell,editable
+# 创建一个 a package 包含以下包： 
+# 1. 三个二进制包: `hello-package`, `main1` and `main2`
+# 2. 一个库包
+# 并完成以下目录结构的填空
+.
+├── Cargo.toml
+├── Cargo.lock
+├── src
+│   ├── __
+│   ├── __
+│   └── __
+│       └── __
+│       └── __
+├── tests # 存放集成测试文件的目录
+│   └── some_integration_tests.rs
+├── benches # 存放 benchmark 文件的目录dir for benchmark files
+│   └── simple_bench.rs
+└── examples # 存放示例文件的目录
+    └── simple_example.rs
+```
+
+可以看到，上面的 package 结构非常标准，你可以在很多 Rust 项目中看到该结构的身影。
+
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/crate-module/crate.md)找到答案(在 solutions 路径下) 

docs/src/crate-module/intro.md

@@ -0,0 +1,6 @@
+# 包和模块
+
+学习资料: 
+
+- 简体中文: [Rust语言圣经 - 包和模块](https://course.rs/basic/crate-module/intro.html)
+

docs/src/crate-module/module.md

@@ -0,0 +1,195 @@
+# Module
+在 Rust 语言圣经中，我们已经深入讲解过[模块module](https://course.rs/basic/crate-module/module.html)，这里就不再赘述，直接开始我们的练习。
+
+之前我们创建了一个 package `hello-package`，它的目录结构在经过多次修改后，变成了以下模样:
+
+```shell
+.
+├── Cargo.toml
+├── src
+│   ├── lib.rs
+│   └── main.rs
+```
+
+下面，我们来为其中的库包创建一些模块，然后在二进制包中使用这些模块。
+
+1. 🌟🌟 根据以下的模块树描述实现模块 `front_of_house` :
+```shell
+库包的根(src/lib.rs)
+ └── front_of_house
+     ├── hosting
+     │   ├── add_to_waitlist
+     │   └── seat_at_table
+     └── serving
+         ├── take_order
+         ├── serve_order
+         ├── take_payment
+         └── complain
+```
+
+```rust,editable
+// 填空
+// in __.rs
+
+mod front_of_house {
+    // 实现此模块
+}
+```
+
+
+2. 🌟🌟 让我们在库包的根中定义一个函数 `eat_at_restaurant`, 然后在该函数中调用之前创建的函数 `eat_at_restaurant`
+
+```rust
+// in lib.rs
+
+// 填空并修复错误
+
+// 提示：你需要通过 `pub` 将一些项标记为公有的，这样模块 `front_of_house` 中的项才能被模块外的项访问
+mod front_of_house {
+    /* ...snip... */
+}
+
+pub fn eat_at_restaurant() {
+    // 使用绝对路径调用
+    __.add_to_waitlist();
+
+    // 使用相对路径调用
+     __.add_to_waitlist();
+}
+```
+
+3. 🌟🌟 我们还可以使用 `super` 来导入父模块中的项
+```rust,editable
+// in lib.rs
+
+mod back_of_house {
+    fn fix_incorrect_order() {
+        cook_order();
+        // 使用三种方式填空
+        //1. 使用关键字 `super`
+        //2. 使用绝对路径
+        __.serve_order();
+    }
+
+    fn cook_order() {}
+}
+```
+
+
+### 将模块分离并放入独立的文件中
+```rust
+// in lib.rs
+pub mod front_of_house {
+    pub mod hosting {
+        pub fn add_to_waitlist() {}
+
+        pub fn seat_at_table() -> String {
+            String::from("sit down please")
+        }
+    }
+
+    pub mod serving {
+        pub fn take_order() {}
+
+        pub fn serve_order() {}
+
+        pub fn take_payment() {}
+
+        // 我猜你不希望顾客听到你在抱怨他们，因此让这个函数私有化吧
+        fn complain() {} 
+    }
+}
+
+pub fn eat_at_restaurant() -> String {
+    front_of_house::hosting::add_to_waitlist();
+    
+    back_of_house::cook_order();
+
+    String::from("yummy yummy!")
+}
+
+pub mod back_of_house {
+    pub fn fix_incorrect_order() {
+        cook_order();
+        crate::front_of_house::serving::serve_order();
+    }
+
+    pub fn cook_order() {}
+}
+```
+
+4. 🌟🌟🌟🌟 请将上面的模块和代码分离到以下目录文件中e :
+```shell
+.
+├── Cargo.toml
+├── src
+│   ├── back_of_house.rs
+│   ├── front_of_house
+│   │   ├── hosting.rs
+│   │   ├── mod.rs
+│   │   └── serving.rs
+│   ├── lib.rs
+│   └── main.rs
+```
+
+```rust,editable
+// in src/lib.rs
+
+// IMPLEMENT...
+```
+
+```rust,editable
+// in src/back_of_house.rs
+
+// IMPLEMENT...
+```
+
+
+```rust,editable
+// in src/front_of_house/mod.rs
+
+// IMPLEMENT...
+```
+
+```rust,editable
+// in src/front_of_house/hosting.rs
+
+// IMPLEMENT...
+```
+
+```rust,editable
+// in src/front_of_house/serving.rs
+
+// IMPLEMENT...
+```
+
+### 从二进制包中访问库包的代码
+**请确保你已经完成了第四题，然后再继续进行.**
+
+当到底此处时，你的项目结构应该如下所示: 
+```shell
+.
+├── Cargo.toml
+├── src
+│   ├── back_of_house.rs
+│   ├── front_of_house
+│   │   ├── hosting.rs
+│   │   ├── mod.rs
+│   │   └── serving.rs
+│   ├── lib.rs
+│   └── main.rs
+```
+
+5. 🌟🌟🌟现在我们可以从二进制包中发起函数调用了.
+
+```rust,editable
+// in src/main.rs
+
+// 填空并修复错误
+fn main() {
+    assert_eq!(__, "sit down please");
+    assert_eq!(__,"yummy yummy!");
+}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/crate-module/module.md)找到答案(在 solutions 路径下) 

docs/src/crate-module/use-pub.md

@@ -0,0 +1,70 @@
+# use and pub
+1. 🌟 使用 `use` 可以将两个同名类型引入到当前作用域中，但是别忘了 `as` 关键字.
+
+```rust,editable
+use std::fmt::Result;
+use std::io::Result;
+
+fn main() {}
+```
+
+2. 🌟🌟 如果我们在使用来自同一个包或模块中的多个不同项，那么可以通过简单的方式将它们一次性引入进来
+
+```rust,editable
+
+// 使用两种方式填空
+// 不要添加新的代码行
+use std::collections::__;
+
+fn main() {
+    let _c1:HashMap<&str, i32> = HashMap::new();
+    let mut c2 = BTreeMap::new();
+    c2.insert(1, "a");
+    let _c3: HashSet<i32> = HashSet::new();
+}
+```
+
+### 使用 `pub use` 进行再导出
+
+3. 🌟🌟🌟 在之前创建的`hello-package` 的库包中, 添加一些代码让下面的代码能够正常工作
+```rust,editable
+fn main() {
+    assert_eq!(hello_package::hosting::seat_at_table(), "sit down please");
+     assert_eq!(hello_package::eat_at_restaurant(),"yummy yummy!");
+}
+```
+
+
+### pub(in Crate) 
+有时我们希望某一个项只对特定的包可见，那么就可以使用 `pub(in Crate)` 语法.
+
+#### 示例
+```rust,editable
+pub mod a {
+    pub const I: i32 = 3;
+
+    fn semisecret(x: i32) -> i32 {
+        use self::b::c::J;
+        x + J
+    }
+
+    pub fn bar(z: i32) -> i32 {
+        semisecret(I) * z
+    }
+    pub fn foo(y: i32) -> i32 {
+        semisecret(I) + y
+    }
+
+    mod b {
+        pub(in crate::a) mod c {
+            pub(in crate::a) const J: i32 = 4;
+        }
+    }
+}
+```
+
+### 完整代码
+至此，包与模块章节已经结束，关于 `hello-package` 的完整代码可以在[这里](https://github.com/sunface/rust-by-practice/tree/master/practices/hello-package) 找到.
+
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/crate-module/use-pub.md)找到答案(在 solutions 路径下) 

docs/src/functional-programing/closure.md

@@ -0,0 +1,52 @@
+# Closure
+
+下面代码是Rust圣经课程中[闭包](http://course.rs/advance/functional-programing/closure.html#结构体中的闭包)章节的课内练习题答案：
+
+```rust
+struct Cacher<T,E>
+where
+    T: Fn(E) -> E,
+    E: Copy
+{
+    query: T,
+    value: Option<E>,
+}
+
+impl<T,E> Cacher<T,E>
+where
+    T: Fn(E) -> E,
+    E: Copy
+{
+    fn new(query: T) -> Cacher<T,E> {
+        Cacher {
+            query,
+            value: None,
+        }
+    }
+
+    fn value(&mut self, arg: E) -> E {
+        match self.value {
+            Some(v) => v,
+            None => {
+                let v = (self.query)(arg);
+                self.value = Some(v);
+                v
+            }
+        }
+    }
+}
+fn main() {
+  
+}
+
+#[test]
+fn call_with_different_values() {
+    let mut c = Cacher::new(|a| a);
+
+    let v1 = c.value(1);
+    let v2 = c.value(2);
+
+    assert_eq!(v2, 1);
+}
+```
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/functional-programing/closure.md)找到答案(在 solutions 路径下)

docs/src/functional-programing/intro.md

@@ -0,0 +1 @@
+# Functional programing

docs/src/functional-programing/iterator.md

@@ -0,0 +1,4 @@
+# Iterator
+
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/functional-programing/iterator.md)找到答案(在 solutions 路径下)

docs/src/functional-programming/closure.md

@@ -0,0 +1,51 @@
+# Closure
+
+下面代码是Rust圣经课程中[闭包](http://course.rs/advance/functional-programing/closure.html#结构体中的闭包)章节的课内练习题答案：
+
+```rust
+struct Cacher<T,E>
+where
+    T: Fn(E) -> E,
+    E: Copy
+{
+    query: T,
+    value: Option<E>,
+}
+
+impl<T,E> Cacher<T,E>
+where
+    T: Fn(E) -> E,
+    E: Copy
+{
+    fn new(query: T) -> Cacher<T,E> {
+        Cacher {
+            query,
+            value: None,
+        }
+    }
+
+    fn value(&mut self, arg: E) -> E {
+        match self.value {
+            Some(v) => v,
+            None => {
+                let v = (self.query)(arg);
+                self.value = Some(v);
+                v
+            }
+        }
+    }
+}
+fn main() {
+  
+}
+
+#[test]
+fn call_with_different_values() {
+    let mut c = Cacher::new(|a| a);
+
+    let v1 = c.value(1);
+    let v2 = c.value(2);
+
+    assert_eq!(v2, 1);
+}
+```

docs/src/functional-programming/intro.md

@@ -0,0 +1 @@
+# Functional Programming

docs/src/generics-traits/advanced-traits.md

@@ -0,0 +1,271 @@
+# 进一步深入特征
+
+## 关联类型
+关联类型主要用于提升代码的可读性，例如以下代码 :
+```rust
+pub trait CacheableItem: Clone + Default + fmt::Debug + Decodable + Encodable {
+  type Address: AsRef<[u8]> + Clone + fmt::Debug + Eq + Hash;
+  fn is_null(&self) -> bool;
+}
+```
+
+相比 `AsRef<[u8]> + Clone + fmt::Debug + Eq + Hash`， `Address` 的使用可以极大的减少其它类型在实现该特征时所需的模版代码.
+
+1. 🌟🌟🌟
+```rust,editable
+
+struct Container(i32, i32);
+
+// 使用关联类型实现重新实现以下特征
+// trait Contains {
+//    type A;
+//    type B;
+
+trait Contains<A, B> {
+    fn contains(&self, _: &A, _: &B) -> bool;
+    fn first(&self) -> i32;
+    fn last(&self) -> i32;
+}
+
+impl Contains<i32, i32> for Container {
+    fn contains(&self, number_1: &i32, number_2: &i32) -> bool {
+        (&self.0 == number_1) && (&self.1 == number_2)
+    }
+    // Grab the first number.
+    fn first(&self) -> i32 { self.0 }
+
+    // Grab the last number.
+    fn last(&self) -> i32 { self.1 }
+}
+
+fn difference<A, B, C: Contains<A, B>>(container: &C) -> i32 {
+    container.last() - container.first()
+}
+
+fn main() {
+    let number_1 = 3;
+    let number_2 = 10;
+
+    let container = Container(number_1, number_2);
+
+    println!("Does container contain {} and {}: {}",
+        &number_1, &number_2,
+        container.contains(&number_1, &number_2));
+    println!("First number: {}", container.first());
+    println!("Last number: {}", container.last());
+    
+    println!("The difference is: {}", difference(&container));
+}
+```
+
+## 定义默认的泛型类型参数
+当我们使用泛型类型参数时，可以为该泛型参数指定一个具体的默认类型，这样当实现该特征时，如果该默认类型可以使用，那用户再无需手动指定具体的类型。
+
+2. 🌟🌟
+```rust,editable
+
+use std::ops::Sub;
+
+#[derive(Debug, PartialEq)]
+struct Point<T> {
+    x: T,
+    y: T,
+}
+
+// 用三种方法填空: 其中两种使用默认的泛型参数，另外一种不使用
+impl __ {
+    type Output = Self;
+
+    fn sub(self, other: Self) -> Self::Output {
+        Point {
+            x: self.x - other.x,
+            y: self.y - other.y,
+        }
+    }
+}
+
+fn main() {
+    assert_eq!(Point { x: 2, y: 3 } - Point { x: 1, y: 0 },
+        Point { x: 1, y: 3 });
+
+    println!("Success!")
+}
+```
+
+## 完全限定语法
+在 Rust 中，两个不同特征的方法完全可以同名，且你可以为同一个类型同时实现这两个特征。这种情况下，就出现了一个问题：该如何调用这两个特征上定义的同名方法。为了解决这个问题，我们需要使用完全限定语法( Fully Qualified Syntax )。
+
+
+#### 示例
+```rust,editable
+trait UsernameWidget {
+    fn get(&self) -> String;
+}
+
+trait AgeWidget {
+    fn get(&self) -> u8;
+}
+
+struct Form {
+    username: String,
+    age: u8,
+}
+
+impl UsernameWidget for Form {
+    fn get(&self) -> String {
+        self.username.clone()
+    }
+}
+
+impl AgeWidget for Form {
+    fn get(&self) -> u8 {
+        self.age
+    }
+}
+
+fn main() {
+    let form = Form{
+        username: "rustacean".to_owned(),
+        age: 28,
+    };
+
+    // 如果你反注释下面一行代码，将看到一个错误: Fully Qualified Syntax
+    // 毕竟，这里有好几个同名的 `get` 方法
+    // 
+    // println!("{}", form.get());
+    
+    let username = UsernameWidget::get(&form);
+    assert_eq!("rustacean".to_owned(), username);
+    let age = AgeWidget::get(&form); // 你还可以使用以下语法 `<Form as AgeWidget>::get`
+    assert_eq!(28, age);
+
+    println!("Success!")
+}
+```
+
+#### 练习题
+3. 🌟🌟
+```rust,editable
+trait Pilot {
+    fn fly(&self) -> String;
+}
+
+trait Wizard {
+    fn fly(&self) -> String;
+}
+
+struct Human;
+
+impl Pilot for Human {
+    fn fly(&self) -> String {
+        String::from("This is your captain speaking.")
+    }
+}
+
+impl Wizard for Human {
+    fn fly(&self) -> String {
+        String::from("Up!")
+    }
+}
+
+impl Human {
+    fn fly(&self) -> String {
+        String::from("*waving arms furiously*")
+    }
+}
+
+fn main() {
+    let person = Human;
+
+    assert_eq!(__, "This is your captain speaking.");
+    assert_eq!(__, "Up!");
+
+    assert_eq!(__, "*waving arms furiously*");
+
+    println!("Success!")
+}
+```
+
+## Supertraits
+有些时候我们希望在特征上实现类似继承的特性，例如让一个特征 `A` 使用另一个特征 `B` 的功能。这种情况下，一个类型要实现特征 `A` 首先要实现特征 `B`， 特征 `B` 就被称为 `supertrait`
+
+4. 🌟🌟🌟
+```rust,editable
+
+trait Person {
+    fn name(&self) -> String;
+}
+
+// Person 是 Student 的 supertrait .
+// 实现 Student 需要同时实现 Person.
+trait Student: Person {
+    fn university(&self) -> String;
+}
+
+trait Programmer {
+    fn fav_language(&self) -> String;
+}
+
+// CompSciStudent (computer science student) 是 Programmer 
+// 和 Student 的 subtrait. 实现 CompSciStudent 需要先实现这两个 supertraits.
+trait CompSciStudent: Programmer + Student {
+    fn git_username(&self) -> String;
+}
+
+fn comp_sci_student_greeting(student: &dyn CompSciStudent) -> String {
+    format!(
+        "My name is {} and I attend {}. My favorite language is {}. My Git username is {}",
+        student.name(),
+        student.university(),
+        student.fav_language(),
+        student.git_username()
+    )
+}
+
+struct CSStudent {
+    name: String,
+    university: String,
+    fav_language: String,
+    git_username: String
+}
+
+// 为 CSStudent 实现所需的特征
+impl ...
+
+fn main() {
+    let student = CSStudent {
+        name: "Sunfei".to_string(),
+        university: "XXX".to_string(),
+        fav_language: "Rust".to_string(),
+        git_username: "sunface".to_string()
+    };
+
+    // 填空
+    println!("{}", comp_sci_student_greeting(__));
+}
+```
+
+## 孤儿原则
+关于孤儿原则的详细介绍请参见[特征定义与实现的位置孤儿规则](https://course.rs/basic/trait/trait#特征定义与实现的位置孤儿规则) 和 [在外部类型上实现外部特征](https://course.rs/basic/trait/advance-trait.html#在外部类型上实现外部特征newtype)。
+
+
+5. 🌟🌟
+```rust,editable
+use std::fmt;
+
+// 定义一个 newtype `Pretty`
+
+
+impl fmt::Display for Pretty {
+    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
+        write!(f, "\"{}\"", self.0.clone() + ", world")
+    }
+}
+
+fn main() {
+    let w = Pretty("hello".to_string());
+    println!("w = {}", w);
+}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/generics-traits/advanced-trait.md)找到答案(在 solutions 路径下) 

docs/src/generics-traits/const-generics.md

@@ -0,0 +1,139 @@
+# Const 泛型
+在之前的泛型中，可以抽象为一句话：针对类型实现的泛型，所有的泛型都是为了抽象不同的类型，那有没有针对值的泛型？答案就是 `Const 泛型`。
+
+## 示例
+1. 下面的例子同时使用泛型和 const 泛型来实现一个结构体，该结构体的字段中的数组长度是可变的
+```rust,editable
+struct ArrayPair<T, const N: usize> {
+    left: [T; N],
+    right: [T; N],
+}
+
+impl<T: Debug, const N: usize> Debug for ArrayPair<T, N> {
+    // ...
+}
+```
+
+
+2. 目前，const 泛型参数只能使用以下形式的实参:
+
+- 一个单独的 const  泛型参数
+- 一个字面量 (i.e. 整数, 布尔值或字符).
+- 一个具体的 const 表达式( 表达式中不能包含任何 泛型参数)
+  
+```rust,editable
+fn foo<const N: usize>() {}
+
+fn bar<T, const M: usize>() {
+    foo::<M>(); // ok: 符合第一种
+    foo::<2021>(); // ok: 符合第二种
+    foo::<{20 * 100 + 20 * 10 + 1}>(); // ok: 符合第三种
+    
+    foo::<{ M + 1 }>(); // error: 违背第三种，const 表达式中不能有泛型参数 M
+    foo::<{ std::mem::size_of::<T>() }>(); // error: 泛型表达式包含了泛型参数 T
+    
+    let _: [u8; M]; // ok: 符合第一种
+    let _: [u8; std::mem::size_of::<T>()]; // error: 泛型表达式包含了泛型参数 T
+}
+
+fn main() {}
+```
+
+3. const 泛型还能帮我们避免一些运行时检查，提升性能
+```rust
+pub struct MinSlice<T, const N: usize> {
+    pub head: [T; N],
+    pub tail: [T],
+}
+
+fn main() {
+    let slice: &[u8] = b"Hello, world";
+    let reference: Option<&u8> = slice.get(6);
+    // 我们知道 `.get` 返回的是 `Some(b' ')`
+    // 但编译器不知道
+    assert!(reference.is_some());
+
+    let slice: &[u8] = b"Hello, world";
+
+    // 当编译构建 MinSlice 时会进行长度检查，也就是在编译期我们就知道它的长度是 12
+    // 在运行期，一旦 `unwrap` 成功，在 `MinSlice` 的作用域内，就再无需任何检查    
+    let minslice = MinSlice::<u8, 12>::from_slice(slice).unwrap();
+    let value: u8 = minslice.head[6];
+    assert_eq!(value, b' ')
+}
+```
+
+
+## 练习
+1. 🌟🌟 `<T, const N: usize>` 是结构体类型的一部分，和数组类型一样，这意味着长度不同会导致类型不同： `Array<i32, 3>` 和 `Array<i32, 4>` 是不同的类型
+   
+```rust,editable
+
+// 修复错误
+struct Array<T, const N: usize> {
+    data : [T; N]
+}
+
+fn main() {
+    let arrays = [
+        Array{
+            data: [1, 2, 3],
+        },
+        Array {
+            data: [1.0, 2.0, 3.0],
+        },
+        Array {
+            data: [1, 2]
+        }
+    ];
+}
+```
+
+2. 🌟🌟 
+```rust,editable
+
+// 填空
+fn print_array<__>(__) {
+    println!("{:?}", arr);
+}
+fn main() {
+    let arr = [1, 2, 3];
+    print_array(arr);
+
+    let arr = ["hello", "world"];
+    print_array(arr);
+}
+```
+
+3. 🌟🌟🌟 有时我们希望能限制一个变量占用内存的大小，例如在嵌入式环境中，此时 const 泛型参数的第三种形式 `const 表达式` 就非常适合.
+   
+```rust,editable
+#![allow(incomplete_features)]
+#![feature(generic_const_exprs)]
+
+fn check_size<T>(val: T)
+where
+    Assert<{ core::mem::size_of::<T>() < 768 }>: IsTrue,
+{
+    //...
+}
+
+// 修复 main 函数中的错误
+fn main() {
+    check_size([0u8; 767]); 
+    check_size([0i32; 191]);
+    check_size(["hello你好"; __]); // size of &str ?
+    check_size([(); __].map(|_| "hello你好".to_string()));  // size of String?
+    check_size(['中'; __]); // size of char ?
+}
+
+
+
+pub enum Assert<const CHECK: bool> {}
+
+pub trait IsTrue {}
+
+impl IsTrue for Assert<true> {}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/generics-traits/const-generics.md)找到答案(在 solutions 路径下) 

docs/src/generics-traits/generics.md

@@ -0,0 +1,146 @@
+# 泛型
+
+### 函数
+1. 🌟🌟🌟
+```rust,editable
+
+// 填空
+struct A;          // 具体的类型 `A`.
+struct S(A);       // 具体的类型 `S`.
+struct SGen<T>(T); // 泛型 `SGen`.
+
+fn reg_fn(_s: S) {}
+
+fn gen_spec_t(_s: SGen<A>) {}
+
+fn gen_spec_i32(_s: SGen<i32>) {}
+
+fn generic<T>(_s: SGen<T>) {}
+
+fn main() {
+    // 使用非泛型函数
+    reg_fn(__);          // 具体的类型
+    gen_spec_t(__);   // 隐式地指定类型参数  `A`.
+    gen_spec_i32(__); // 隐式地指定类型参数`i32`.
+
+    // 显式地指定类型参数 `char`
+    generic::<char>(__);
+
+    // 隐式地指定类型参数 `char`.
+    generic(__);
+}
+```
+
+2. 🌟🌟 
+```rust,editable
+
+// 实现下面的泛型函数 sum
+fn sum
+
+fn main() {
+    assert_eq!(5, sum(2i8, 3i8));
+    assert_eq!(50, sum(20, 30));
+    assert_eq!(2.46, sum(1.23, 1.23));
+}
+```
+
+
+### 结构体和 `impl`
+
+3. 🌟
+```rust,editable
+
+// 实现一个结构体 Point 让代码工作
+
+
+fn main() {
+    let integer = Point { x: 5, y: 10 };
+    let float = Point { x: 1.0, y: 4.0 };
+}
+```
+
+4. 🌟🌟
+```rust,editable
+
+// 修改以下结构体让代码工作
+struct Point<T> {
+    x: T,
+    y: T,
+}
+
+fn main() {
+    // 不要修改这行代码！
+    let p = Point{x: 5, y : "hello".to_string()};
+}
+```
+
+5. 🌟🌟
+```rust,editable
+
+// 为 Val 增加泛型参数，不要修改 `main` 中的代码
+struct Val {
+    val: f64,
+}
+
+impl Val {
+    fn value(&self) -> &f64 {
+        &self.val
+    }
+}
+
+
+fn main() {
+    let x = Val{ val: 3.0 };
+    let y = Val{ val: "hello".to_string()};
+    println!("{}, {}", x.value(), y.value());
+}
+```
+
+### 方法
+6. 🌟🌟🌟 
+
+```rust,editable
+struct Point<T, U> {
+    x: T,
+    y: U,
+}
+
+impl<T, U> Point<T, U> {
+    // 实现 mixup，不要修改其它代码！
+    fn mixup
+}
+
+fn main() {
+    let p1 = Point { x: 5, y: 10 };
+    let p2 = Point { x: "Hello", y: '中'};
+
+    let p3 = p1.mixup(p2);
+
+    assert_eq!(p3.x, 5);
+    assert_eq!(p3.y, '中');
+}
+```
+
+7. 🌟🌟
+```rust,editable
+
+// 修复错误，让代码工作
+struct Point<T> {
+    x: T,
+    y: T,
+}
+
+impl Point<f32> {
+    fn distance_from_origin(&self) -> f32 {
+        (self.x.powi(2) + self.y.powi(2)).sqrt()
+    }
+}
+
+fn main() {
+    let p = Point{x: 5, y: 10};
+    println!("{}",p.distance_from_origin())
+}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/generics-traits/generics.md)找到答案(在 solutions 路径下) 
+

docs/src/generics-traits/intro.md

@@ -0,0 +1 @@
+# Generics and Traits

docs/src/generics-traits/trait-object.md

@@ -0,0 +1,226 @@
+# 特征对象
+在[特征练习中](https://practice.rs/generics-traits/traits.html#returning-types-that-implement-traits) 我们已经知道当函数返回多个类型时，`impl Trait` 是无法使用的。
+
+对于数组而言，其中一个限制就是无法存储不同类型的元素，但是通过之前的学习，大家应该知道枚举可以在部分场景解决这种问题，但是这种方法局限性较大。此时就需要我们的主角登场了。
+
+## 使用 `dyn` 返回特征
+Rust 编译器需要知道一个函数的返回类型占用多少内存空间。由于特征的不同实现类型可能会占用不同的内存，因此通过 `impl Trait` 返回多个类型是不被允许的，但是我们可以返回一个 `dyn` 特征对象来解决问题。
+
+
+1. 🌟🌟🌟
+```rust,editable
+
+trait Bird {
+    fn quack(&self) -> String;
+}
+
+struct Duck;
+impl Duck {
+    fn swim(&self) {
+        println!("Look, the duck is swimming")
+    }
+}
+struct Swan;
+impl Swan {
+    fn fly(&self) {
+        println!("Look, the duck.. oh sorry, the swan is flying")
+    }
+}
+
+impl Bird for Duck {
+    fn quack(&self) -> String{
+        "duck duck".to_string()
+    }
+}
+
+impl Bird for Swan {
+    fn quack(&self) -> String{
+        "swan swan".to_string()
+    }
+}
+
+fn main() {
+    // 填空
+    let duck = __;
+    duck.swim();
+
+    let bird = hatch_a_bird(2);
+    // 变成鸟儿后，它忘记了如何游，因此以下代码会报错
+    // bird.swim();
+    // 但它依然可以叫唤
+    assert_eq!(bird.quack(), "duck duck");
+
+    let bird = hatch_a_bird(1);
+    // 这只鸟儿忘了如何飞翔，因此以下代码会报错
+    // bird.fly();
+    // 但它也可以叫唤
+    assert_eq!(bird.quack(), "swan swan");
+
+    println!("Success!")
+}   
+
+// 实现以下函数
+fn hatch_a_bird...
+
+```
+## 在数组中使用特征对象
+2. 🌟🌟
+```rust,editable 
+trait Bird {
+    fn quack(&self);
+}
+
+struct Duck;
+impl Duck {
+    fn fly(&self) {
+        println!("Look, the duck is flying")
+    }
+}
+struct Swan;
+impl Swan {
+    fn fly(&self) {
+        println!("Look, the duck.. oh sorry, the swan is flying")
+    }
+}
+
+impl Bird for Duck {
+    fn quack(&self) {
+        println!("{}", "duck duck");
+    }
+}
+
+impl Bird for Swan {
+    fn quack(&self) {
+        println!("{}", "swan swan");
+    }
+}
+
+fn main() {
+    // 填空
+    let birds __;
+
+    for bird in birds {
+        bird.quack();
+        // 当 duck 和 swan 变成 bird 后，它们都忘了如何翱翔于天际，只记得该怎么叫唤了。。
+        // 因此，以下代码会报错
+        // bird.fly();
+    }
+}
+```
+
+
+## `&dyn` and `Box<dyn>`
+
+3. 🌟🌟
+```rust,editable
+
+// 填空
+trait Draw {
+    fn draw(&self) -> String;
+}
+
+impl Draw for u8 {
+    fn draw(&self) -> String {
+        format!("u8: {}", *self)
+    }
+}
+
+impl Draw for f64 {
+    fn draw(&self) -> String {
+        format!("f64: {}", *self)
+    }
+}
+
+fn main() {
+    let x = 1.1f64;
+    let y = 8u8;
+
+    // draw x
+    draw_with_box(__);
+
+    // draw y
+    draw_with_ref(&y);
+
+    println!("Success!")
+}
+
+fn draw_with_box(x: Box<dyn Draw>) {
+    x.draw();
+}
+
+fn draw_with_ref(x: __) {
+    x.draw();
+}
+```
+
+## 静态分发和动态分发Static and Dynamic dispatch
+关于这块内容的解析介绍，请参见 [Rust语言圣经](https://course.rs/basic/trait/trait-object.html#特征对象的动态分发)。
+
+4. 🌟🌟
+```rust,editable
+
+trait Foo {
+    fn method(&self) -> String;
+}
+
+impl Foo for u8 {
+    fn method(&self) -> String { format!("u8: {}", *self) }
+}
+
+impl Foo for String {
+    fn method(&self) -> String { format!("string: {}", *self) }
+}
+
+// 通过泛型实现以下函数
+fn static_dispatch...
+
+// 通过特征对象实现以下函数
+fn dynamic_dispatch...
+
+fn main() {
+    let x = 5u8;
+    let y = "Hello".to_string();
+
+    static_dispatch(x);
+    dynamic_dispatch(&y);
+
+    println!("Success!")
+}
+```
+
+## 对象安全
+一个特征能变成特征对象，首先该特征必须是对象安全的，即该特征的所有方法都必须拥有以下特点：
+
+- 返回类型不能是 `Self`.
+- 不能使用泛型参数
+
+5. 🌟🌟🌟🌟
+```rust,editable
+
+// 使用至少两种方法让代码工作
+// 不要添加/删除任何代码行
+trait MyTrait {
+    fn f(&self) -> Self;
+}
+
+impl MyTrait for u32 {
+    fn f(&self) -> Self { 42 }
+}
+
+impl MyTrait for String {
+    fn f(&self) -> Self { self.clone() }
+}
+
+fn my_function(x: Box<dyn MyTrait>)  {
+    x.f()
+}
+
+fn main() {
+    my_function(Box::new(13_u32));
+    my_function(Box::new(String::from("abc")));
+
+    println!("Success!")
+}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/generics-traits/trait-object.md)找到答案(在 solutions 路径下) 

docs/src/generics-traits/traits.md

@@ -0,0 +1,470 @@
+# Traits
+特征 Trait 可以告诉编译器一个特定的类型所具有的、且能跟其它类型共享的特性。我们可以使用特征通过抽象的方式来定义这种共享行为，还可以使用特征约束来限定一个泛型类型必须要具有某个特定的行为。
+
+> Note: 特征跟其它语言的接口较为类似，但是仍然有一些区别
+
+## 示例
+```rust,editable
+
+struct Sheep { naked: bool, name: String }
+
+impl Sheep {
+    fn is_naked(&self) -> bool {
+        self.naked
+    }
+
+    fn shear(&mut self) {
+        if self.is_naked() {
+            // `Sheep` 结构体上定义的方法可以调用 `Sheep` 所实现的特征的方法
+            println!("{} is already naked...", self.name());
+        } else {
+            println!("{} gets a haircut!", self.name);
+
+            self.naked = true;
+        }
+    }
+}
+
+
+trait Animal {
+    // 关联函数签名；`Self` 指代实现者的类型
+    // 例如我们在为 Pig 类型实现特征时，那 `new` 函数就会返回一个 `Pig` 类型的实例，这里的 `Self` 指代的就是 `Pig` 类型
+    fn new(name: String) -> Self;
+
+    // 方法签名
+    fn name(&self) -> String;
+    
+    fn noise(&self) -> String;
+
+    // 方法还能提供默认的定义实现
+    fn talk(&self) {
+        println!("{} says {}", self.name(), self.noise());
+    }
+}
+
+impl Animal for Sheep {
+    // `Self` 被替换成具体的实现者类型： `Sheep`
+    fn new(name: String) -> Sheep {
+        Sheep { name: name, naked: false }
+    }
+
+    fn name(&self) -> String {
+        self.name.clone()
+    }
+
+    fn noise(&self) -> String {
+        if self.is_naked() {
+            "baaaaah?".to_string()
+        } else {
+            "baaaaah!".to_string()
+        }
+    }
+    
+    // 默认的特征方法可以被重写
+    fn talk(&self) {
+        println!("{} pauses briefly... {}", self.name, self.noise());
+    }
+}
+
+fn main() {
+    // 这里的类型注释时必须的
+    let mut dolly: Sheep = Animal::new("Dolly".to_string());
+    // TODO ^ 尝试去除类型注释，看看会发生什么
+
+    dolly.talk();
+    dolly.shear();
+    dolly.talk();
+}
+```
+
+## Exercises
+1. 🌟🌟
+```rust,editable
+
+// 完成两个 `impl` 语句块
+// 不要修改 `main` 中的代码
+trait Hello {
+    fn say_hi(&self) -> String {
+        String::from("hi")
+    }
+
+    fn say_something(&self) -> String;
+}
+
+struct Student {}
+impl Hello for Student {
+}
+struct Teacher {}
+impl Hello for Teacher {
+}
+
+fn main() {
+    let s = Student {};
+    assert_eq!(s.say_hi(), "hi");
+    assert_eq!(s.say_something(), "I'm a good student");
+
+    let t = Teacher {};
+    assert_eq!(t.say_hi(), "Hi, I'm your new teacher");
+    assert_eq!(t.say_something(), "I'm not a bad teacher");
+
+    println!("Success!")
+}
+```
+
+### Derive 派生
+我们可以使用 `#[derive]` 属性来派生一些特征，对于这些特征编译器会自动进行默认实现，对于日常代码开发而言，这是非常方便的，例如大家经常用到的 `Debug` 特征，就是直接通过派生来获取默认实现，而无需我们手动去完成这个工作。
+
+想要查看更多信息，可以访问[这里](https://course.rs/appendix/derive.html)。
+
+2. 🌟🌟
+```rust,editable
+
+// `Centimeters`, 一个元组结构体，可以被比较大小
+#[derive(PartialEq, PartialOrd)]
+struct Centimeters(f64);
+
+// `Inches`, 一个元组结构体可以被打印
+#[derive(Debug)]
+struct Inches(i32);
+
+impl Inches {
+    fn to_centimeters(&self) -> Centimeters {
+        let &Inches(inches) = self;
+
+        Centimeters(inches as f64 * 2.54)
+    }
+}
+
+// 添加一些属性让代码工作
+// 不要修改其它代码！
+struct Seconds(i32);
+
+fn main() {
+    let _one_second = Seconds(1);
+
+    println!("One second looks like: {:?}", _one_second);
+    let _this_is_true = _one_second == _one_second;
+    let _this_is_false = _one_second > _one_second;
+
+    let foot = Inches(12);
+
+    println!("One foot equals {:?}", foot);
+
+    let meter = Centimeters(100.0);
+
+    let cmp =
+        if foot.to_centimeters() < meter {
+            "smaller"
+        } else {
+            "bigger"
+        };
+
+    println!("One foot is {} than one meter.", cmp);
+}
+```
+
+
+### 运算符
+在 Rust 中，许多运算符都可以被重载，事实上，运算符仅仅是特征方法调用的语法糖。例如 `a + b` 中的 `+` 是 `std::ops::Add` 特征的 `add` 方法调用，因此我们可以为自定义类型实现该特征来支持该类型的加法运算。 
+
+3. 🌟🌟
+```rust,editable
+
+use std::ops;
+
+// 实现 fn multiply 方法
+// 如上所述，`+` 需要 `T` 类型实现 `std::ops::Add` 特征
+// 那么, `*` 运算符需要实现什么特征呢? 你可以在这里找到答案: https://doc.rust-lang.org/core/ops/
+fn multiply
+
+fn main() {
+    assert_eq!(6, multiply(2u8, 3u8));
+    assert_eq!(5.0, multiply(1.0, 5.0));
+
+    println!("Success!")
+}
+```
+
+4. 🌟🌟🌟
+```rust,editable
+
+// 修复错误，不要修改 `main` 中的代码!
+use std::ops;
+
+struct Foo;
+struct Bar;
+
+struct FooBar;
+
+struct BarFoo;
+
+// 下面的代码实现了自定义类型的相加： Foo + Bar = FooBar
+impl ops::Add<Bar> for Foo {
+    type Output = FooBar;
+
+    fn add(self, _rhs: Bar) -> FooBar {
+        FooBar
+    }
+}
+
+impl ops::Sub<Foo> for Bar {
+    type Output = BarFoo;
+
+    fn sub(self, _rhs: Foo) -> BarFoo {
+        BarFoo
+    }
+}
+
+fn main() {
+    // 不要修改下面代码
+    // 你需要为 FooBar 派生一些特征来让代码工作
+    assert_eq!(Foo + Bar, FooBar);
+    assert_eq!(Foo - Bar, BarFoo);
+
+    println!("Success!")
+}
+```
+
+### 使用特征作为函数参数
+除了使用具体类型来作为函数参数，我们还能通过 `impl Trait` 的方式来指定实现了该特征的参数：该参数能接受的类型必须要实现指定的特征。
+
+5. 🌟🌟🌟
+```rust,editable
+
+// 实现 `fn summary` 
+// 修复错误且不要移除任何代码行
+trait Summary {
+    fn summarize(&self) -> String;
+}
+
+#[derive(Debug)]
+struct Post {
+    title: String,
+    author: String,
+    content: String,
+}
+
+impl Summary for Post {
+    fn summarize(&self) -> String {
+        format!("The author of post {} is {}", self.title, self.author)
+    }
+}
+
+#[derive(Debug)]
+struct Weibo {
+    username: String,
+    content: String,
+}
+
+impl Summary for Weibo {
+    fn summarize(&self) -> String {
+        format!("{} published a weibo {}", self.username, self.content)
+    }
+}
+
+fn main() {
+    let post = Post {
+        title: "Popular Rust".to_string(),
+        author: "Sunface".to_string(),
+        content: "Rust is awesome!".to_string(),
+    };
+    let weibo = Weibo {
+        username: "sunface".to_string(),
+        content: "Weibo seems to be worse than Tweet".to_string(),
+    };
+
+    summary(post);
+    summary(weibo);
+
+    println!("{:?}", post);
+    println!("{:?}", weibo);
+}
+
+// 在下面实现 `fn summary` 函数
+
+```
+
+### 使用特征作为函数返回值
+我们还可以在函数的返回值中使用 `impl Trait` 语法。然后只有在返回值是同一个类型时，才能这么使用，如果返回值是不同的类型，你可能更需要特征对象。
+
+
+6. 🌟🌟
+```rust,editable
+
+struct Sheep {}
+struct Cow {}
+
+trait Animal {
+    fn noise(&self) -> String;
+}
+
+impl Animal for Sheep {
+    fn noise(&self) -> String {
+        "baaaaah!".to_string()
+    }
+}
+
+impl Animal for Cow {
+    fn noise(&self) -> String {
+        "moooooo!".to_string()
+    }
+}
+
+// 返回一个类型，该类型实现了 Animal 特征，但是我们并不能在编译期获知具体返回了哪个类型
+// 修复这里的错误，你可以使用虚假的随机，也可以使用特征对象
+fn random_animal(random_number: f64) -> impl Animal {
+    if random_number < 0.5 {
+        Sheep {}
+    } else {
+        Cow {}
+    }
+}
+
+fn main() {
+    let random_number = 0.234;
+    let animal = random_animal(random_number);
+    println!("You've randomly chosen an animal, and it says {}", animal.noise());
+}
+```
+
+### 特征约束
+`impl Trait` 语法非常直观简洁，但它实际上是特征约束的语法糖。
+
+当使用泛型参数时，我们往往需要为该参数指定特定的行为，这种指定方式就是通过特征约束来实现的。
+
+7. 🌟🌟
+```rust,editable
+fn main() {
+    assert_eq!(sum(1, 2), 3);
+}
+
+// 通过两种方法使用特征约束来实现 `fn sum`
+fn sum<T>(x: T, y: T) -> T {
+    x + y
+}
+```
+
+8. 🌟🌟
+```rust,editable
+// 修复代码中的错误
+struct Pair<T> {
+    x: T,
+    y: T,
+}
+
+impl<T> Pair<T> {
+    fn new(x: T, y: T) -> Self {
+        Self {
+            x,
+            y,
+        }
+    }
+}
+
+impl<T: std::fmt::Debug + PartialOrd> Pair<T> {
+    fn cmp_display(&self) {
+        if self.x >= self.y {
+            println!("The largest member is x = {:?}", self.x);
+        } else {
+            println!("The largest member is y = {:?}", self.y);
+        }
+    }
+}
+
+struct Unit(i32);
+
+fn main() {
+    let pair = Pair{
+        x: Unit(1),
+        y: Unit(3)
+    };
+
+    pair.cmp_display();
+}
+```
+
+9. 🌟🌟🌟
+```rust,editable
+
+// 填空
+fn example1() {
+    // `T: Trait` 是最常使用的方式
+    // `T: Fn(u32) -> u32` 说明 `T` 只能接收闭包类型的参数
+    struct Cacher<T: Fn(u32) -> u32> {
+        calculation: T,
+        value: Option<u32>,
+    }
+
+    impl<T: Fn(u32) -> u32> Cacher<T> {
+        fn new(calculation: T) -> Cacher<T> {
+            Cacher {
+                calculation,
+                value: None,
+            }
+        }
+
+        fn value(&mut self, arg: u32) -> u32 {
+            match self.value {
+                Some(v) => v,
+                None => {
+                    let v = (self.calculation)(arg);
+                    self.value = Some(v);
+                    v
+                },
+            }
+        }
+    }
+
+    let mut cacher = Cacher::new(|x| x+1);
+    assert_eq!(cacher.value(10), __);
+    assert_eq!(cacher.value(15), __);
+}
+
+
+fn example2() {
+    // 还可以使用 `where` 来约束 T
+    struct Cacher<T>
+        where T: Fn(u32) -> u32,
+    {
+        calculation: T,
+        value: Option<u32>,
+    }
+
+    impl<T> Cacher<T>
+        where T: Fn(u32) -> u32,
+    {
+        fn new(calculation: T) -> Cacher<T> {
+            Cacher {
+                calculation,
+                value: None,
+            }
+        }
+
+        fn value(&mut self, arg: u32) -> u32 {
+            match self.value {
+                Some(v) => v,
+                None => {
+                    let v = (self.calculation)(arg);
+                    self.value = Some(v);
+                    v
+                },
+            }
+        }
+    }
+
+    let mut cacher = Cacher::new(|x| x+1);
+    assert_eq!(cacher.value(20), __);
+    assert_eq!(cacher.value(25), __);
+}
+
+
+
+fn main() {
+    example1();
+    example2();
+
+    println!("Success!")
+}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/generics-traits/traits.md)找到答案(在 solutions 路径下) 

docs/src/lifetime/advance.md

@@ -0,0 +1,287 @@
+# 深入生命周期
+
+## 特征约束
+就像泛型类型可以有约束一样，生命周期也可以有约束 ，如下所示：
+- `T: 'a`，所有引用在 `T` 必须超过生命周期 `'a`
+- `T: Trait + 'a`: `T` 必须实现特征 `Trait` 并且所有引用在 `T` 必须超过生命周期 `'a`
+
+**示例**
+```rust,editable
+use std::fmt::Debug; // 特征约束使用
+
+#[derive(Debug)]
+struct Ref<'a, T: 'a>(&'a T);
+// `Ref` 包含对泛型类型 `T` 的引用，该泛型类型具有
+// 未知的生命周期 `'a`. `T` 是约定任何
+// 引用在 `T` 必须大于 `'a` 。此外，在生命周期
+// 里 `Ref` 不能超过 `'a`。
+
+// 使用 `Debug` 特征打印的通用函数。
+fn print<T>(t: T) where
+    T: Debug {
+    println!("`print`: t is {:?}", t);
+}
+
+// 这里引用 `T` 使用 where `T` 实现
+// `Debug` 和所有引用 `T` 都要比 `'a` 长
+// 此外，`'a`必须要比函数声明周期长
+fn print_ref<'a, T>(t: &'a T) where
+    T: Debug + 'a {
+    println!("`print_ref`: t is {:?}", t);
+}
+
+fn main() {
+    let x = 7;
+    let ref_x = Ref(&x);
+
+    print_ref(&ref_x);
+    print(ref_x);
+}
+```
+
+1. 🌟
+```rust,editable
+/* 使用生命周期注释结构体
+1. `r` 和 `s` 必须是不同生命周期
+2. `s` 的生命周期需要大于 'r'
+*/
+struct DoubleRef<T> {
+    r: &T,
+    s: &T
+}
+fn main() {
+    println!("Success!")
+}
+```
+
+
+2. 🌟🌟
+```rust,editable
+/* 添加类型约束使下面代码正常运行 */
+struct ImportantExcerpt<'a> {
+    part: &'a str,
+}
+
+impl<'a, 'b> ImportantExcerpt<'a> {
+    fn announce_and_return_part(&'a self, announcement: &'b str) -> &'b str {
+        println!("Attention please: {}", announcement);
+        self.part
+    }
+}
+
+fn main() {
+    println!("Success!")
+}
+```
+
+3. 🌟🌟
+```rust,editable
+/* 添加类型约束使下面代码正常运行 */
+fn f<'a, 'b>(x: &'a i32, mut y: &'b i32) {
+    y = x;                      
+    let r: &'b &'a i32 = &&0;   
+}
+
+fn main() {
+    println!("Success!")
+}
+```
+
+## HRTB（更高等级特征约束）(Higher-ranked trait bounds)
+类型约束可能在生命周期中排名更高。这些约束指定了一个约束对于所有生命周期都为真。例如，诸如此类的约束 `for<'a> &'a T: PartialEq<i32>` 需要如下实现：
+
+```rust
+impl<'a> PartialEq<i32> for &'a T {
+    // ...
+}
+```
+
+然后可以用于将一个 `&'a T` 与任何生命周期进行比较 `i32` 。
+
+这里只能使用更高级别的约束，因为引用的生命周期比函数上任何可能的生命周期参数都短。
+
+4. 🌟🌟🌟
+```rust
+/* 添加 HRTB 使下面代码正常运行！ */
+fn call_on_ref_zero<'a, F>(f: F) where F: Fn(&'a i32) {
+    let zero = 0;
+    f(&zero);
+}
+
+fn main() {
+    println!("Success!")
+}
+```
+## NLL（非词汇生命周期）(Non-Lexical Lifetime)
+在解释 NLL 之前，我们先看一段代码：
+```rust
+fn main() {
+   let mut s = String::from("hello");
+
+    let r1 = &s;
+    let r2 = &s;
+    println!("{} and {}", r1, r2);
+
+    let r3 = &mut s;
+    println!("{}", r3);
+}
+```
+
+根据我们目前的知识，这段代码会因为违反 Rust 中的借用规则而导致错误。
+
+但是，如果您执行 `cargo run` ，那么一切都没问题，那么这里发生了什么？
+
+编译器在作用域结束之前判断不再使用引用的能力称为 **非词法生命周期**（简称 **NLL** ）。
+
+有了这种能力，编译器就知道最后一次使用引用是什么时候，并根据这些知识优化借用规则。
+
+```rust
+let mut u = 0i32;
+let mut v = 1i32;
+let mut w = 2i32;
+
+// lifetime of `a` = α ∪ β ∪ γ
+let mut a = &mut u;     // --+ α. lifetime of `&mut u`  --+ lexical "lifetime" of `&mut u`,`&mut u`, `&mut w` and `a`
+use(a);                 //   |                            |
+*a = 3; // <-----------------+                            |
+...                     //                                |
+a = &mut v;             // --+ β. lifetime of `&mut v`    |
+use(a);                 //   |                            |
+*a = 4; // <-----------------+                            |
+...                     //                                |
+a = &mut w;             // --+ γ. lifetime of `&mut w`    |
+use(a);                 //   |                            |
+*a = 5; // <-----------------+ <--------------------------+
+```
+
+## 再借用
+
+学习了 NLL 之后，我们现在可以很容易地理解再借用了。
+
+**示例**
+```rust
+#[derive(Debug)]
+struct Point {
+    x: i32,
+    y: i32,
+}
+
+impl Point {
+    fn move_to(&mut self, x: i32, y: i32) {
+        self.x = x;
+        self.y = y;
+    }
+}
+
+fn main() {
+    let mut p = Point { x: 0, y: 0 };
+    let r = &mut p;
+    // 这里是再借用
+    let rr: &Point = &*r;
+
+    println!("{:?}", rr); // 这里结束再借用
+
+    // 再借用结束，现在我们可以继续使用 `r`
+    r.move_to(10, 10);
+    println!("{:?}", r);
+}
+```
+
+
+5. 🌟🌟
+```rust,editable
+/* 通过重新排序一些代码使下面代码正常运行 */
+fn main() {
+    let mut data = 10;
+    let ref1 = &mut data;
+    let ref2 = &mut *ref1;
+
+    *ref1 += 1;
+    *ref2 += 2;
+
+    println!("{}", data);
+}
+```
+
+
+## 未约束的生命周期
+在 [Nomicon - Unbounded Lifetimes](https://doc.rust-lang.org/nomicon/unbounded-lifetimes.html) 中查看更多信息。
+
+
+## 更多省略规则
+
+```rust
+impl<'a> Reader for BufReader<'a> {
+    // 'a 在以下方法中不使用
+}
+
+// 可以写为：
+impl Reader for BufReader<'_> {
+    
+}
+```
+
+```rust
+// Rust 2015
+struct Ref<'a, T: 'a> {
+    field: &'a T
+}
+
+// Rust 2018
+struct Ref<'a, T> {
+    field: &'a T
+}
+```
+
+
+## 艰难的练习
+
+6. 🌟🌟🌟🌟
+```rust
+/* 使下面代码正常运行 */
+struct Interface<'a> {
+    manager: &'a mut Manager<'a>
+}
+
+impl<'a> Interface<'a> {
+    pub fn noop(self) {
+        println!("interface consumed");
+    }
+}
+
+struct Manager<'a> {
+    text: &'a str
+}
+
+struct List<'a> {
+    manager: Manager<'a>,
+}
+
+impl<'a> List<'a> {
+    pub fn get_interface(&'a mut self) -> Interface {
+        Interface {
+            manager: &mut self.manager
+        }
+    }
+}
+
+fn main() {
+    let mut list = List {
+        manager: Manager {
+            text: "hello"
+        }
+    };
+
+    list.get_interface().noop();
+
+    println!("Interface should be dropped here and the borrow released");
+
+    use_list(&list);
+}
+
+fn use_list(list: &List) {
+    println!("{}", list.manager.text);
+}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/lifetime/advance.md)找到答案(在 solutions 路径下)

docs/src/lifetime/basic.md

@@ -0,0 +1,339 @@
+## 生命周期基础
+
+编译器通过生命周期来确保所有的借用都是合法的，典型的，一个变量在创建时生命周期随之开始，销毁时生命周期也随之结束。
+
+
+## 生命周期的范围
+1. 🌟
+```rust,editable
+/* 为 `i` 和 `borrow2` 标注合适的生命周期范围 */
+
+
+// `i` 拥有最长的生命周期，因为它的作用域完整的包含了 `borrow1` 和 `borrow2` 。
+// 而 `borrow1` 和 `borrow2` 的生命周期并无关联，因为它们的作用域没有重叠
+fn main() {
+    let i = 3;                                             
+    {                                                    
+        let borrow1 = &i; // `borrow1` 生命周期开始. ──┐
+        //                                                │
+        println!("borrow1: {}", borrow1); //              │
+    } // `borrow1` 生命周期结束. ──────────────────────────────────┘
+    {                                                    
+        let borrow2 = &i; 
+                                                        
+        println!("borrow2: {}", borrow2);               
+    }                                                   
+}   
+```
+
+2. 🌟🌟
+
+**示例**
+```rust
+{
+    let x = 5;            // ----------+-- 'b
+                          //           |
+    let r = &x;           // --+-- 'a  |
+                          //   |       |
+    println!("r: {}", r); //   |       |
+                          // --+       |
+}                         // ----------+
+```
+
+
+```rust,editable
+/* 像上面的示例一样，为 `r` 和 `x` 标准生命周期，然后从生命周期的角度. */
+
+fn main() {  
+    {
+        let r;                // ---------+-- 'a
+                              //          |
+        {                     //          |
+            let x = 5;        // -+-- 'b  |
+            r = &x;           //  |       |
+        }                     // -+       |
+                              //          |
+        println!("r: {}", r); //          |
+    }                         // ---------+
+}
+```
+
+## 生命周期标注
+Rust 的借用检查器使用显式的生命周期标注来确定一个引用的合法范围。但是对于用户来说，我们在大多数场景下，都无需手动去标注生命周期，原因是编译器会在某些情况下自动应用生命周期消除规则。
+
+在了解编译器使用哪些规则帮我们消除生命周期之前，首先还是需要知道该如何手动标记生命周期。
+
+
+#### 函数
+**大家先忽略生命周期消除规则**，让我们看看，函数签名中的生命周期有哪些限制:
+
+- 需要为每个引用标注上合适的生命周期
+- 返回值中的引用，它的生命周期要么跟某个引用参数相同，要么是 `'static`
+
+**示例**
+```rust,editable
+// 引用参数中的生命周期 'a 至少要跟函数活得一样久
+fn print_one<'a>(x: &'a i32) {
+    println!("`print_one`: x is {}", x);
+}
+
+// 可变引用依然需要标准生命周期
+fn add_one<'a>(x: &'a mut i32) {
+    *x += 1;
+}
+
+// 下面代码中，每个参数都拥有自己独立的生命周期，事实上，这个例子足够简单，因此它们应该被标记上相同的生命周期 `'a`，但是对于复杂的例子而言，独立的生命周期标注是可能存在的
+fn print_multi<'a, 'b>(x: &'a i32, y: &'b i32) {
+    println!("`print_multi`: x is {}, y is {}", x, y);
+}
+
+// 返回一个通过参数传入的引用是很常见的，但是这种情况下需要标注上正确的生命周期
+fn pass_x<'a, 'b>(x: &'a i32, _: &'b i32) -> &'a i32 { x }
+
+fn main() {
+    let x = 7;
+    let y = 9;
+    
+    print_one(&x);
+    print_multi(&x, &y);
+    
+    let z = pass_x(&x, &y);
+    print_one(z);
+
+    let mut t = 3;
+    add_one(&mut t);
+    print_one(&t);
+}
+```
+
+3. 🌟
+```rust,editable
+/* 添加合适的生命周期标注，让下面的代码工作 */
+fn longest(x: &str, y: &str) -> &str {
+    if x.len() > y.len() {
+        x
+    } else {
+        y
+    }
+}
+
+fn main() {}
+```
+4. 🌟🌟🌟
+```rust,editable
+/* 使用三种方法修复下面的错误  */
+fn invalid_output<'a>() -> &'a String { 
+    &String::from("foo") 
+}
+
+fn main() {
+}
+```
+
+5. 🌟🌟
+```rust,editable
+// `print_refs` 有两个引用参数，它们的生命周期 `'a` 和 `'b` 至少得跟函数活得一样久
+fn print_refs<'a, 'b>(x: &'a i32, y: &'b i32) {
+    println!("x is {} and y is {}", x, y);
+}
+
+/* 让下面的代码工作 */
+fn failed_borrow<'a>() {
+    let _x = 12;
+
+    // ERROR: `_x` 活得不够久does not live long enough
+    let y: &'a i32 = &_x;
+
+    // 在函数内使用 `'a` 将会报错，原因是 `&_x` 的生命周期显然比 `'a` 要小
+    // 你不能将一个小的生命周期强转成大的
+}
+
+fn main() {
+    let (four, nine) = (4, 9);
+    
+
+    print_refs(&four, &nine);
+    // 这里，four 和 nice 的生命周期必须要比函数 print_refs 长
+    
+    failed_borrow();
+    // `failed_borrow`  没有传入任何引用去限制生命周期 `'a`，因此，此时的 `'a` 生命周期是没有任何限制的，它默认是 `'static`
+}
+```
+
+#### Structs
+6. 🌟
+```rust,editable
+/* 增加合适的生命周期标准，让代码工作 */
+
+// `i32` 的引用必须比 `Borrowed` 活得更久
+#[derive(Debug)]
+struct Borrowed(&i32);
+
+// 类似的，下面两个引用也必须比结构体 `NamedBorrowed` 活得更久
+#[derive(Debug)]
+struct NamedBorrowed {
+    x: &i32,
+    y: &i32,
+}
+
+#[derive(Debug)]
+enum Either {
+    Num(i32),
+    Ref(&i32),
+}
+
+fn main() {
+    let x = 18;
+    let y = 15;
+
+    let single = Borrowed(&x);
+    let double = NamedBorrowed { x: &x, y: &y };
+    let reference = Either::Ref(&x);
+    let number    = Either::Num(y);
+
+    println!("x is borrowed in {:?}", single);
+    println!("x and y are borrowed in {:?}", double);
+    println!("x is borrowed in {:?}", reference);
+    println!("y is *not* borrowed in {:?}", number);
+}
+```
+
+
+7. 🌟🌟
+```rust,editable
+/* 让代码工作 */
+
+#[derive(Debug)]
+struct NoCopyType {}
+
+#[derive(Debug)]
+struct Example<'a, 'b> {
+    a: &'a u32,
+    b: &'b NoCopyType
+}
+
+fn main()
+{ 
+  let var_a = 35;
+  let example: Example;
+  
+  {
+    let var_b = NoCopyType {};
+    
+    /* 修复错误 */
+    example = Example { a: &var_a, b: &var_b };
+  }
+  
+  println!("(Success!) {:?}", example);
+}
+```
+
+
+8. 🌟🌟
+```rust,editable
+
+#[derive(Debug)]
+struct NoCopyType {}
+
+#[derive(Debug)]
+#[allow(dead_code)]
+struct Example<'a, 'b> {
+    a: &'a u32,
+    b: &'b NoCopyType
+}
+
+/* 修复函数的签名 */
+fn fix_me(foo: &Example) -> &NoCopyType
+{ foo.b }
+
+fn main()
+{
+    let no_copy = NoCopyType {};
+    let example = Example { a: &1, b: &no_copy };
+    fix_me(&example);
+    println!("Success!")
+}
+```
+
+## 方法
+方法的生命周期标注跟函数类似。
+
+**示例**
+```rust,editable
+struct Owner(i32);
+
+impl Owner {
+    fn add_one<'a>(&'a mut self) { self.0 += 1; }
+    fn print<'a>(&'a self) {
+        println!("`print`: {}", self.0);
+    }
+}
+
+fn main() {
+    let mut owner = Owner(18);
+
+    owner.add_one();
+    owner.print();
+}
+```
+
+9. 🌟🌟
+```rust,editable
+/* 添加合适的生命周期让下面代码工作 */
+struct ImportantExcerpt {
+    part: &str,
+}
+
+impl ImportantExcerpt {
+    fn level(&'a self) -> i32 {
+        3
+    }
+}
+
+fn main() {}
+```
+
+## 生命周期消除( Elision )
+
+有一些生命周期的标注方式很常见，因此编译器提供了一些规则，可以让我们在一些场景下无需去标注生命周期，既节省了敲击键盘的繁琐，又能提升可读性。
+
+这种规则被称为生命周期消除规则( Elision )，该规则之所以存在，仅仅是因为这些场景太通用了，为了方便用户而已。事实上对于借用检查器而言，该有的生命周期一个都不能少，只不过对于用户而言，可以省去一些。
+
+
+10. 🌟🌟
+```rust,editable
+/* 移除所有可以消除的生命周期标注 */
+
+fn nput<'a>(x: &'a i32) {
+    println!("`annotated_input`: {}", x);
+}
+
+fn pass<'a>(x: &'a i32) -> &'a i32 { x }
+
+fn longest<'a, 'b>(x: &'a str, y: &'b str) -> &'a str {
+    x
+}
+
+struct Owner(i32);
+
+impl Owner {
+    fn add_one<'a>(&'a mut self) { self.0 += 1; }
+    fn print<'a>(&'a self) {
+        println!("`print`: {}", self.0);
+    }
+}
+
+struct Person<'a> {
+    age: u8,
+    name: &'a str,
+}
+
+enum Either<'a> {
+    Num(i32),
+    Ref(&'a i32),
+}
+
+fn main() {}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/lifetime/basic.md)找到答案(在 solutions 路径下)

docs/src/lifetime/intro.md

@@ -0,0 +1,4 @@
+# 生命周期
+学习资料: 
+- 简体中文: [Rust语言圣经 - 生命周期](https://course.rs/advance/lifetime/intro.html)
+

docs/src/lifetime/static.md

@@ -0,0 +1,189 @@
+# &'static and T: 'static
+`'static` 是一个 Rust 保留的生命周期名称，在之前我们可能已经见过好几次了:
+```rust
+// 引用的生命周期是 'static :
+let s: &'static str = "hello world";
+
+// 'static 也可以用于特征约束中:
+fn generic<T>(x: T) where T: 'static {}
+```
+
+虽然它们都是 `'static`，但是也稍有不同。
+
+## &'static
+作为一个引用生命周期，`&'static` 说明该引用指向的数据可以跟程序活得一样久，但是该引用的生命周期依然有可能被强转为一个更短的生命周期。
+
+1. 🌟🌟 有好几种方法可以将一个变量标记为  `'static` 生命周期, 其中两种都是和保存在二进制文件中相关( 例如字符串字面量就是保存在二进制文件中，它的生命周期是 `'static` )。
+
+```rust,editable
+
+/* 使用两种方法填空 */
+fn main() {
+    __;
+    need_static(v);
+
+    println!("Success!")
+}
+
+fn need_static(r : &'static str) {
+    assert_eq!(r, "hello");
+}
+```
+
+2. 🌟🌟🌟🌟 使用 `Box::leak` 也可以产生 `'static` 生命周期
+```rust,editable
+#[derive(Debug)]
+struct Config {
+    a: String,
+    b: String,
+}
+static mut config: Option<&mut Config> = None;
+
+/* 让代码工作，但不要修改函数的签名 */
+fn init() -> Option<&'static mut Config> {
+    Some(&mut Config {
+        a: "A".to_string(),
+        b: "B".to_string(),
+    })
+}
+
+
+fn main() {
+    unsafe {
+        config = init();
+
+        println!("{:?}",config)
+    }
+}
+```
+
+3. 🌟 `&'static` 只能说明引用指向的数据是能一直存活的，但是引用本身依然受限于它的作用域
+```rust,editable
+fn main() {
+    {
+        // 字符串字面量能跟程序活得一样久，因此 `static_string` 的生命周期是 `'static`
+        let static_string = "I'm in read-only memory";
+        println!("static_string: {}", static_string);
+
+        // 当 `static_string` 超出作用域时，该引用就无法再被使用，但是引用指向的数据( 字符串字面量 ) 依然保存在二进制 binary 所占用的内存中
+    }
+
+    println!("static_string reference remains alive: {}", static_string);
+}
+```
+
+4. `&'static` 可以被强转成一个较短的生命周期
+
+**Example**
+```rust,editable
+// 声明一个 static 常量，它拥有 `'static` 生命周期.
+static NUM: i32 = 18;
+
+// 返回常量 `Num` 的引用，注意，这里的生命周期从 `'static` 强转为 `'a`
+fn coerce_static<'a>(_: &'a i32) -> &'a i32 {
+    &NUM
+}
+
+fn main() {
+    {
+        let lifetime_num = 9;
+
+        let coerced_static = coerce_static(&lifetime_num);
+
+        println!("coerced_static: {}", coerced_static);
+    }
+
+    println!("NUM: {} stays accessible!", NUM);
+}
+```
+
+
+
+##  T: 'static
+
+关于 `'static` 的特征约束详细解释，请参见 [Rust 语言圣经](https://course.rs/advance/lifetime/static.html#t-static)，这里就不再赘述。
+
+5. 🌟🌟
+```rust,editable
+/* 让代码工作 */
+use std::fmt::Debug;
+
+fn print_it<T: Debug + 'static>( input: T) {
+    println!( "'static value passed in is: {:?}", input );
+}
+
+fn print_it1( input: impl Debug + 'static ) {
+    println!( "'static value passed in is: {:?}", input );
+}
+
+
+fn print_it2<T: Debug + 'static>( input: &T) {
+    println!( "'static value passed in is: {:?}", input );
+}
+
+fn main() {
+    // i 是有所有权的数据，并没有包含任何引用，因此它是 'static
+    let i = 5;
+    print_it(i);
+
+    // 但是 &i 是一个引用，生命周期受限于作用域，因此它不是 'static
+    print_it(&i);
+
+    print_it1(&i);
+
+    // 但是下面的代码可以正常运行 !
+    print_it2(&i);
+}
+```
+
+
+6. 🌟🌟🌟
+```rust,editable
+use std::fmt::Display;
+
+fn main() {
+  let mut string = "First".to_owned();
+
+  string.push_str(string.to_uppercase().as_str());
+  print_a(&string);
+  print_b(&string);
+  print_c(&string); // Compilation error
+  print_d(&string); // Compilation error
+  print_e(&string);
+  print_f(&string);
+  print_g(&string); // Compilation error
+}
+
+fn print_a<T: Display + 'static>(t: &T) {
+  println!("{}", t);
+}
+
+fn print_b<T>(t: &T)
+where
+  T: Display + 'static,
+{
+  println!("{}", t);
+}
+
+fn print_c(t: &'static dyn Display) {
+  println!("{}", t)
+}
+
+fn print_d(t: &'static impl Display) {
+  println!("{}", t)
+}
+
+fn print_e(t: &(dyn Display + 'static)) {
+  println!("{}", t)
+}
+
+fn print_f(t: &(impl Display + 'static)) {
+  println!("{}", t)
+}
+
+fn print_g(t: &'static String) {
+  println!("{}", t);
+}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/lifetime/static.md)找到答案(在 solutions 路径下)

docs/src/ownership/borrowing.md

@@ -0,0 +1,170 @@
+# 引用和借用
+
+### 引用
+1. 🌟
+```rust,editable
+
+fn main() {
+   let x = 5;
+   // 填写空白处
+   let p = __;
+
+   println!("x 的内存地址是 {:p}", p); // output: 0x16fa3ac84
+}
+```
+
+2. 🌟
+```rust,editable
+
+fn main() {
+    let x = 5;
+    let y = &x;
+
+    // 只能修改以下行
+    assert_eq!(5, y);
+}
+```
+
+3. 🌟
+```rust,editable
+
+// 修复错误
+fn main() {
+    let mut s = String::from("hello, ");
+
+    borrow_object(s)
+}
+
+fn borrow_object(s: &String) {}
+```
+
+4. 🌟
+```rust,editable
+
+// 修复错误
+fn main() {
+    let mut s = String::from("hello, ");
+
+    push_str(s)
+}
+
+fn push_str(s: &mut String) {
+    s.push_str("world")
+}
+```
+
+5. 🌟🌟
+```rust,editable
+
+fn main() {
+    let mut s = String::from("hello, ");
+
+    // 填写空白处，让代码工作
+    let p = __;
+    
+    p.push_str("world");
+}
+```
+
+#### ref
+`ref` 与 `&` 类似，可以用来获取一个值的引用，但是它们的用法有所不同。
+
+6. 🌟🌟🌟
+```rust,editable
+
+fn main() {
+    let c = '中';
+
+    let r1 = &c;
+    // 填写空白处，但是不要修改其它行的代码
+    let __ r2 = c;
+
+    assert_eq!(*r1, *r2);
+    
+    // 判断两个内存地址的字符串是否相等
+    assert_eq!(get_addr(r1),get_addr(r2));
+}
+
+// 获取传入引用的内存地址的字符串形式
+fn get_addr(r: &char) -> String {
+    format!("{:p}", r)
+}
+```
+
+### 借用规则
+7. 🌟
+```rust,editable
+
+// 移除代码某个部分，让它工作
+// 你不能移除整行的代码！
+fn main() {
+    let mut s = String::from("hello");
+
+    let r1 = &mut s;
+    let r2 = &mut s;
+
+    println!("{}, {}", r1, r2);
+}
+```
+
+#### 可变性
+8. 🌟 错误: 从不可变对象借用可变
+```rust,editable
+
+fn main() {
+    // 通过修改下面一行代码来修复错误
+    let  s = String::from("hello, ");
+
+    borrow_object(&mut s)
+}
+
+fn borrow_object(s: &mut String) {}
+```
+
+9. 🌟🌟 Ok: 从可变对象借用不可变
+```rust,editable
+
+// 下面的代码没有任何错误
+fn main() {
+    let mut s = String::from("hello, ");
+
+    borrow_object(&s);
+    
+    s.push_str("world");
+}
+
+fn borrow_object(s: &String) {}
+```
+
+### NLL
+10. 🌟🌟
+```rust,editable
+
+// 注释掉一行代码让它工作
+fn main() {
+    let mut s = String::from("hello, ");
+
+    let r1 = &mut s;
+    r1.push_str("world");
+    let r2 = &mut s;
+    r2.push_str("!");
+    
+    println!("{}",r1);
+}
+```
+
+11. 🌟🌟
+```rust,editable
+
+fn main() {
+    let mut s = String::from("hello, ");
+
+    let r1 = &mut s;
+    let r2 = &mut s;
+
+    // 在下面增加一行代码人为制造编译错误：cannot borrow `s` as mutable more than once at a time
+    // 你不能同时使用 r1 和 r2
+}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/ownership/borrowing.md)找到答案(在 solutions 路径下) 

docs/src/ownership/intro.md

@@ -0,0 +1,5 @@
+# 所有权与借用
+学习资料 : 
+- English: [Rust Book 4.1-4.4](https://doc.rust-lang.org/book/ch04-00-understanding-ownership.html)
+- 简体中文: [Rust语言圣经 - 所有权与借用](https://course.rs/basic/ownership/index.html)
+

docs/src/ownership/ownership.md

@@ -0,0 +1,169 @@
+# 所有权
+
+1. 🌟🌟
+```rust,editable
+
+fn main() {
+    // 使用尽可能多的方法来通过编译
+    let x = String::from("hello, world");
+    let y = x;
+    println!("{},{}",x,y);
+}
+```
+
+2. 🌟🌟
+```rust,editable
+// 不要修改 main 中的代码
+fn main() {
+    let s1 = String::from("hello, world");
+    let s2 = take_ownership(s1);
+
+    println!("{}", s2);
+}
+
+// 只能修改下面的代码!
+fn take_ownership(s: String) {
+    println!("{}", s);
+}
+```
+
+
+3. 🌟🌟
+```rust,editable
+
+fn main() {
+    let s = give_ownership();
+    println!("{}", s);
+}
+
+// 只能修改下面的代码!
+fn give_ownership() -> String {
+    let s = String::from("hello, world");
+    // convert String to Vec
+    // 将 String 转换成 Vec 类型
+    let _s = s.into_bytes();
+    s
+}
+```
+
+4. 🌟🌟
+```rust,editable
+// 修复错误，不要删除任何代码行
+fn main() {
+    let s = String::from("hello, world");
+
+    print_str(s);
+
+    println!("{}", s);
+}
+
+fn print_str(s: String)  {
+    println!("{}",s)
+}
+```
+
+5. 🌟🌟 
+```rust,editable
+// 不要使用 clone，使用 copy 的方式替代
+fn main() {
+    let x = (1, 2, (), "hello".to_string());
+    let y = x.clone();
+    println!("{:?}, {:?}", x, y);
+}
+```
+
+#### 可变性
+当所有权转移时，可变性也可以随之改变。
+
+6. 🌟
+```rust,editable
+
+fn main() {
+    let s = String::from("hello, ");
+    
+    // 只修改下面这行代码 !
+    let s1 = s;
+
+    s1.push_str("world")
+}
+```
+
+7. 🌟🌟🌟
+```rust,editable
+
+fn main() {
+    let x = Box::new(5);
+    
+    let ...      // 完成该行代码，不要修改其它行！
+    
+    *y = 4;
+    
+    assert_eq!(*x, 5);
+}
+```
+
+### 部分 move
+当解构一个变量时，可以同时使用 `move` 和引用模式绑定的方式。当这么做时，部分 `move` 就会发生：变量中一部分的所有权被转移给其它变量，而另一部分我们获取了它的引用。
+
+在这种情况下，原变量将无法再被使用，但是它没有转移所有权的那一部分依然可以使用，也就是之前被引用的那部分。
+
+#### 示例
+```rust,editable
+
+fn main() {
+    #[derive(Debug)]
+    struct Person {
+        name: String,
+        age: Box<u8>,
+    }
+
+    let person = Person {
+        name: String::from("Alice"),
+        age: Box::new(20),
+    };
+
+    // 通过这种解构式模式匹配，person.name 的所有权被转移给新的变量 `name`
+    // 但是，这里 `age` 变量却是对 person.age 的引用, 这里 ref 的使用相当于: let age = &person.age 
+    let Person { name, ref age } = person;
+
+    println!("The person's age is {}", age);
+
+    println!("The person's name is {}", name);
+
+    // Error! 原因是 person 的一部分已经被转移了所有权，因此我们无法再使用它
+    //println!("The person struct is {:?}", person);
+
+    // 虽然 `person` 作为一个整体无法再被使用，但是 `person.age` 依然可以使用
+    println!("The person's age from person struct is {}", person.age);
+}
+```
+
+#### 练习
+
+8. 🌟
+```rust,editable
+
+fn main() {
+   let t = (String::from("hello"), String::from("world"));
+
+   let _s = t.0;
+
+   // 仅修改下面这行代码，且不要使用 `_s`
+   println!("{:?}", t);
+}
+```
+
+9. 🌟🌟
+```rust,editable
+
+fn main() {
+   let t = (String::from("hello"), String::from("world"));
+
+   // 填空，不要修改其它代码
+   let (__, __) = __;
+
+   println!("{:?}, {:?}, {:?}", s1, s2, t); // -> "hello", "world", ("hello", "world")
+}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/ownership/ownership.md)找到答案(在 solutions 路径下) 

docs/src/pattern-match/intro.md

@@ -0,0 +1 @@
+# Pattern Match

docs/src/pattern-match/match-iflet.md

@@ -0,0 +1,197 @@
+# match, matches! 和 if let
+
+### match
+1. 🌟🌟
+```rust,editable
+
+// 填空
+enum Direction {
+    East,
+    West,
+    North,
+    South,
+}
+
+fn main() {
+    let dire = Direction::South;
+    match dire {
+        Direction::East => println!("East"),
+        __  => { // 在这里匹配 South 或 North
+            println!("South or North");
+        },
+        _ => println!(__),
+    };
+}
+```
+
+2. 🌟🌟 `match` 是一个表达式，因此可以用在赋值语句中
+```rust,editable
+
+fn main() {
+    let boolean = true;
+
+    // 使用 match 表达式填空，并满足以下条件
+    //
+    // boolean = true => binary = 1
+    // boolean = false => binary = 0
+    let binary = __;
+
+    assert_eq!(binary, 1);
+}
+```
+
+3. 🌟🌟 使用 match 匹配出枚举成员持有的值
+```rust,editable
+
+// 填空
+enum Message {
+    Quit,
+    Move { x: i32, y: i32 },
+    Write(String),
+    ChangeColor(i32, i32, i32),
+}
+
+fn main() {
+    let msgs = [
+        Message::Quit,
+        Message::Move{x:1, y:3},
+        Message::ChangeColor(255,255,0)
+    ];
+
+    for msg in msgs {
+        show_message(msg)
+    }
+} 
+
+fn show_message(msg: Message) {
+    match msg {
+        __ => { // 这里匹配 Message::Move
+            assert_eq!(a, 1);
+            assert_eq!(b, 3);
+        },
+        Message::ChangeColor(_, g, b) => {
+            assert_eq!(g, __);
+            assert_eq!(b, __);
+        }
+        __ => println!("no data in these variants")
+    }
+}
+```
+
+### matches!
+[`matches!`](https://doc.rust-lang.org/stable/core/macro.matches.html) 看起来像 `match`, 但是它可以做一些特别的事情
+
+4. 🌟🌟
+```rust,editable
+
+fn main() {
+    let alphabets = ['a', 'E', 'Z', '0', 'x', '9' , 'Y'];
+
+    // 使用 `matches` 填空
+    for ab in alphabets {
+        assert!(__)
+    }
+} 
+```
+
+5. 🌟🌟
+```rust,editable
+
+enum MyEnum {
+    Foo,
+    Bar
+}
+
+fn main() {
+    let mut count = 0;
+
+    let v = vec![MyEnum::Foo,MyEnum::Bar,MyEnum::Foo];
+    for e in v {
+        if e == MyEnum::Foo { // 修复错误，只能修改本行代码
+            count += 1;
+        }
+    }
+
+    assert_eq!(count, 2);
+}
+```
+
+### if let
+在有些时候, 使用 `match` 匹配枚举有些太重了，此时 `if let` 就非常适合.
+
+6. 🌟 
+```rust,editable
+
+fn main() {
+    let o = Some(7);
+
+    // 移除整个 `match` 语句块，使用 `if let` 替代
+    match o {
+        Some(i) => {
+            println!("This is a really long string and `{:?}`", i);
+        }
+        _ => {}
+    };
+}
+```
+
+7. 🌟🌟
+```rust,editable
+
+// 填空
+enum Foo {
+    Bar(u8)
+}
+
+fn main() {
+    let a = Foo::Bar(1);
+
+    __ {
+        println!("foobar 持有的值是: {}", i);
+    }
+}
+```
+
+8. 🌟🌟
+```rust,editable
+
+enum Foo {
+    Bar,
+    Baz,
+    Qux(u32)
+}
+
+fn main() {
+    let a = Foo::Qux(10);
+
+    // 移除以下代码，使用 `match` 代替
+    if let Foo::Bar = a {
+        println!("match foo::bar")
+    } else if let Foo::Baz = a {
+        println!("match foo::baz")
+    } else {
+        println!("match others")
+    }
+}
+```
+
+### 变量遮蔽( Shadowing )
+9. 🌟🌟
+```rust,editable
+
+// 就地修复错误
+fn main() {
+    let age = Some(30);
+    if let Some(age) = age { // 创建一个新的变量，该变量与之前的 `age` 变量同名
+       assert_eq!(age, Some(30));
+    } // 新的 `age` 变量在这里超出作用域
+    
+    match age {
+        // `match` 也能实现变量遮蔽
+        Some(age) =>  println!("age 是一个新的变量，它的值是 {}",age),
+        _ => ()
+    }
+ }
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/pattern-match/match.md)找到答案(在 solutions 路径下) 

docs/src/pattern-match/patterns.md

@@ -0,0 +1,115 @@
+# 模式
+
+1. 🌟🌟 使用 `|` 可以匹配多个值, 而使用 `..=` 可以匹配一个闭区间的数值序列
+```rust,editable
+
+fn main() {}
+fn match_number(n: i32) {
+    match n {
+        // 匹配一个单独的值
+        1 => println!("One!"),
+        // 使用 `|` 填空，不要使用 `..` 或 `..=`
+        __ => println!("match 2 -> 5"),
+        // 匹配一个闭区间的数值序列
+        6..=10 => {
+            println!("match 6 -> 10")
+        },
+        _ => {
+            println!("match 11 -> +infinite")
+        }
+    }
+}
+```
+
+2. 🌟🌟🌟  `@` 操作符可以让我们将一个与模式相匹配的值绑定到新的变量上
+```rust,editable
+
+struct Point {
+    x: i32,
+    y: i32,
+}
+
+fn main() {
+    // 填空，让 p 匹配第二个分支
+    let p = Point { x: __, y: __ };
+
+    match p {
+        Point { x, y: 0 } => println!("On the x axis at {}", x),
+        // 第二个分支
+        Point { x: 0..=5, y: y@ (10 | 20 | 30) } => println!("On the y axis at {}", y),
+        Point { x, y } => println!("On neither axis: ({}, {})", x, y),
+    }
+}
+```
+
+3. 🌟🌟🌟
+
+```rust,editable
+
+// 修复错误
+enum Message {
+    Hello { id: i32 },
+}
+
+fn main() {
+    let msg = Message::Hello { id: 5 };
+
+    match msg {
+        Message::Hello {
+            id:  3..=7,
+        } => println!("id 值的范围在 [3, 7] 之间: {}", id),
+        Message::Hello { id: newid@10 | 11 | 12 } => {
+            println!("id 值的范围在 [10, 12] 之间: {}", newid)
+        }
+        Message::Hello { id } => println!("Found some other id: {}", id),
+    }
+}
+```
+
+4. 🌟🌟 匹配守卫（match guard）是一个位于 match 分支模式之后的额外 if 条件，它能为分支模式提供更进一步的匹配条件。
+```rust,editable
+
+// 填空让代码工作，必须使用 `split`
+fn main() {
+    let num = Some(4);
+    let split = 5;
+    match num {
+        Some(x) __ => assert!(x < split),
+        Some(x) => assert!(x >= split),
+        None => (),
+    }
+}
+```
+
+5. 🌟🌟🌟 使用 `..` 忽略一部分值
+```rust,editable
+
+// 填空，让代码工作
+fn main() {
+    let numbers = (2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048);
+
+    match numbers {
+        __ => {
+           assert_eq!(first, 2);
+           assert_eq!(last, 2048);
+        }
+    }
+}
+```
+
+6. 🌟🌟 使用模式 `&mut V` 去匹配一个可变引用时，你需要格外小心，因为匹配出来的 `V` 是一个值，而不是可变引用
+```rust,editable
+
+// 修复错误，尽量少地修改代码
+// 不要移除任何代码行
+fn main() {
+    let mut v = String::from("hello,");
+    let r = &mut v;
+
+    match r {
+       &mut value => value.push_str(" world!") 
+    }
+}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/pattern-match/patterns.md)找到答案(在 solutions 路径下) 

docs/src/result-panic/intro.md

@@ -0,0 +1,5 @@
+# Result and panic
+Learning resources: 
+- English: [Rust Book 9.1, 9.2](https://doc.rust-lang.org/book/ch09-00-error-handling.html)
+- 简体中文: [Rust语言圣经 - 返回值和错误处理](https://course.rs/basic/result-error/intro.html)
+

docs/src/result-panic/panic.md

@@ -0,0 +1,113 @@
+# panic!
+Rust 中最简单的错误处理方式就是使用 `panic`。它会打印出一条错误信息并打印出栈调用情况，最终结束当前线程:
+
+- 若 panic 发生在 `main` 线程，那程序会随之退出
+- 如果是在生成的( spawn )子线程中发生 panic, 那么当前的线程会结束，但是程序依然会继续运行
+
+
+1. 🌟🌟
+```rust,editable
+
+// 填空
+fn drink(beverage: &str) {
+    if beverage == "lemonade" {
+        println!("Success!");
+        // 实现下面的代码
+        __
+     }
+
+    println!("Exercise Failed if printing out this line!");
+}
+
+fn main() {
+    drink(__);
+
+    println!("Exercise Failed if printing out this line!");
+}
+```
+
+## 常见的 panic
+2. 🌟🌟
+```rust,editable
+// 修复所有的 panic，让代码工作
+fn main() {
+    assert_eq!("abc".as_bytes(), [96, 97, 98]);
+
+    let v = vec![1, 2, 3];
+    let ele = v[3];
+    let ele = v.get(3).unwrap();
+
+    // 大部分时候编译器是可以帮我们提前发现溢出错误，并阻止编译通过。但是也有一些时候，这种溢出问题直到运行期才会出现
+    let v = production_rate_per_hour(2);
+
+    divide(15, 0);
+
+    println!("Success!")
+}
+
+fn divide(x:u8, y:u8) {
+    println!("{}", x / y)
+}
+
+fn production_rate_per_hour(speed: u8) -> f64 {
+    let cph: u8 = 221;
+    match speed {
+        1..=4 => (speed * cph) as f64,
+        5..=8 => (speed * cph) as f64 * 0.9,
+        9..=10 => (speed * cph) as f64 * 0.77,
+        _ => 0 as f64,
+    }
+}
+
+pub fn working_items_per_minute(speed: u8) -> u32 {
+    (production_rate_per_hour(speed) / 60 as f64) as u32
+}
+```
+
+### 详细的栈调用信息
+默认情况下，栈调用只会展示最基本的信息: 
+```shell
+thread 'main' panicked at 'index out of bounds: the len is 3 but the index is 99', src/main.rs:4:5
+note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
+```
+
+但是有时候，我们还希望获取更详细的信息:
+
+3. 🌟
+```shell
+## 填空以打印全部的调用栈
+## 提示: 你可以在之前的默认 panic 信息中找到相关线索
+$ __ cargo run
+thread 'main' panicked at 'assertion failed: `(left == right)`
+  left: `[97, 98, 99]`,
+ right: `[96, 97, 98]`', src/main.rs:3:5
+stack backtrace:
+   0: rust_begin_unwind
+             at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/std/src/panicking.rs:498:5
+   1: core::panicking::panic_fmt
+             at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/panicking.rs:116:14
+   2: core::panicking::assert_failed_inner
+   3: core::panicking::assert_failed
+             at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/panicking.rs:154:5
+   4: study_cargo::main
+             at ./src/main.rs:3:5
+   5: core::ops::function::FnOnce::call_once
+             at /rustc/9d1b2106e23b1abd32fce1f17267604a5102f57a/library/core/src/ops/function.rs:227:5
+note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.
+```
+
+### `unwinding` 和 `abort`
+
+当出现 `panic!` 时，程序提供了两种方式来处理终止流程：**栈展开**和**直接终止**。
+
+其中，默认的方式就是 `栈展开`，这意味着 Rust 会回溯栈上数据和函数调用，因此也意味着更多的善后工作，好处是可以给出充分的报错信息和栈调用信息，便于事后的问题复盘。`直接终止`，顾名思义，不清理数据就直接退出程序，善后工作交与操作系统来负责。
+
+对于绝大多数用户，使用默认选择是最好的，但是当你关心最终编译出的二进制可执行文件大小时，那么可以尝试去使用直接终止的方式，例如下面的配置修改 `Cargo.toml` 文件，实现在 [`release`](../first-try/cargo.md#手动编译和运行项目) 模式下遇到 `panic` 直接终止：
+
+```rust
+[profile.release]
+panic = 'abort'
+```
+
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/result-panic/panic.md)找到答案(在 solutions 路径下)

docs/src/result-panic/result.md

@@ -0,0 +1,211 @@
+# result and ?
+`Result<T>` 是一个枚举类型用于描述返回的结果或错误，它包含两个成员(变体 variants) :
+
+- `Ok(T)`: 返回一个结果值 T
+- `Err(e)`: 返回一个错误，`e` 是具体的错误值
+
+简而言之，如果期待一个正确的结果，就返回 `Ok`，反之则是 `Err`。
+
+
+1. 🌟🌟
+```rust,editable
+
+// 填空并修复错误
+use std::num::ParseIntError;
+
+fn multiply(n1_str: &str, n2_str: &str) -> __ {
+    let n1 = n1_str.parse::<i32>();
+    let n2 = n2_str.parse::<i32>();
+    Ok(n1.unwrap() * n2.unwrap())
+}
+
+fn main() {
+    let result = multiply("10", "2");
+    assert_eq!(result, __);
+
+    let result = multiply("t", "2");
+    assert_eq!(result.__, 8);
+
+    println!("Success!")
+}
+```
+
+### ? 
+`?` 跟 `unwrap` 非常像，但是 `?` 会返回一个错误，而不是直接 panic.
+
+2. 🌟🌟
+```rust,editable
+
+use std::num::ParseIntError;
+
+// 使用 `?` 来实现 multiply
+// 不要使用 unwrap !
+fn multiply(n1_str: &str, n2_str: &str) -> __ {
+}
+
+fn main() {
+    assert_eq!(multiply("3", "4").unwrap(), 12);
+    println!("Success!")
+}
+```
+
+3. 🌟🌟
+```rust,editable
+
+use std::fs::File;
+use std::io::{self, Read};
+
+fn read_file1() -> Result<String, io::Error> {
+    let f = File::open("hello.txt");
+    let mut f = match f {
+        Ok(file) => file,
+        Err(e) => return Err(e),
+    };
+
+    let mut s = String::new();
+    match f.read_to_string(&mut s) {
+        Ok(_) => Ok(s),
+        Err(e) => Err(e),
+    }
+}
+
+// 填空
+// 不要修改其它代码
+fn read_file2() -> Result<String, io::Error> {
+    let mut s = String::new();
+
+    __;
+
+    Ok(s)
+}
+
+fn main() {
+    assert_eq!(read_file1().unwrap_err().to_string(), read_file2().unwrap_err().to_string());
+    println!("Success!")
+}
+```
+
+### map & and_then
+[map](https://doc.rust-lang.org/stable/std/result/enum.Result.html#method.map) and [and_then](https://doc.rust-lang.org/stable/std/result/enum.Result.html#method.and_then) 是两个常用的组合器( combinator )，可以用于 `Result<T, E>` (也可用于 `Option<T>`).
+
+4. 🌟🌟 
+
+```rust,editable
+use std::num::ParseIntError;
+
+// 使用两种方式填空: map, and then
+fn add_two(n_str: &str) -> Result<i32, ParseIntError> {
+   n_str.parse::<i32>().__
+}
+
+fn main() {
+    assert_eq!(add_two("4").unwrap(), 6);
+
+    println!("Success!")
+}
+```
+
+5. 🌟🌟🌟
+```rust,editable
+use std::num::ParseIntError;
+
+// 使用 Result 重写后，我们使用模式匹配的方式来处理，而无需使用 `unwrap`
+// 但是这种写法实在过于啰嗦..
+fn multiply(n1_str: &str, n2_str: &str) -> Result<i32, ParseIntError> {
+    match n1_str.parse::<i32>() {
+        Ok(n1)  => {
+            match n2_str.parse::<i32>() {
+                Ok(n2)  => {
+                    Ok(n1 * n2)
+                },
+                Err(e) => Err(e),
+            }
+        },
+        Err(e) => Err(e),
+    }
+}
+
+// 重写上面的 `multiply` ，让它尽量简介
+// 提示：使用 `and_then` 和 `map`
+fn multiply1(n1_str: &str, n2_str: &str) -> Result<i32, ParseIntError> {
+    // 实现...
+}
+
+fn print(result: Result<i32, ParseIntError>) {
+    match result {
+        Ok(n)  => println!("n is {}", n),
+        Err(e) => println!("Error: {}", e),
+    }
+}
+
+fn main() {
+    let twenty = multiply1("10", "2");
+    print(twenty);
+
+    // 下面的调用会提供更有帮助的错误信息
+    let tt = multiply("t", "2");
+    print(tt);
+
+    println!("Success!")
+}
+```
+
+### 类型别名
+如果我们要在代码中到处使用 `std::result::Result<T, ParseIntError>` ，那毫无疑问，代码将变得特别冗长和啰嗦，对于这种情况，可以使用类型别名来解决。
+
+例如在标准库中，就在大量使用这种方式来简化代码: [`io::Result`](https://doc.rust-lang.org/std/io/type.Result.html).
+
+6. 🌟
+```rust,editable
+use std::num::ParseIntError;
+
+// 填空
+type __;
+
+// 使用上面的别名来引用原来的 `Result` 类型
+fn multiply(first_number_str: &str, second_number_str: &str) -> Res<i32> {
+    first_number_str.parse::<i32>().and_then(|first_number| {
+        second_number_str.parse::<i32>().map(|second_number| first_number * second_number)
+    })
+}
+
+// 同样, 这里也使用了类型别名来简化代码
+fn print(result: Res<i32>) {
+    match result {
+        Ok(n)  => println!("n is {}", n),
+        Err(e) => println!("Error: {}", e),
+    }
+}
+
+fn main() {
+    print(multiply("10", "2"));
+    print(multiply("t", "2"));
+
+    println!("Success!")
+}
+```
+
+### 在 `fn main` 中使用 `Result`
+一个典型的 `main` 函数长这样: 
+```rust
+fn main() {
+    println!("Hello World!");
+}
+```
+事实上 `main` 函数还可以返回一个 `Result` 类型：如果 `main` 函数内部发生了错误，那该错误会被返回并且打印出一条错误的 debug 信息。
+
+```rust,editable
+
+use std::num::ParseIntError;
+
+fn main() -> Result<(), ParseIntError> {
+    let number_str = "10";
+    let number = match number_str.parse::<i32>() {
+        Ok(number)  => number,
+        Err(e) => return Err(e),
+    };
+    println!("{}", number);
+    Ok(())
+}
+```
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/result-panic/result.md)找到答案(在 solutions 路径下)

docs/src/smart-pointers/box.md

@@ -0,0 +1 @@
+# Box

docs/src/smart-pointers/cell-refcell.md

@@ -0,0 +1 @@
+# Cell and RefCell

docs/src/smart-pointers/deref.md

@@ -0,0 +1 @@
+# Deref

docs/src/smart-pointers/drop.md

@@ -0,0 +1 @@
+# Drop

docs/src/smart-pointers/intro.md

@@ -0,0 +1 @@
+# Smart pointers

docs/src/smart-pointers/rc-arc.md

@@ -0,0 +1 @@
+# Rc and Arc

docs/src/tests/assertions.md

@@ -0,0 +1 @@
+# Assertions

docs/src/tests/benchmark.md

@@ -0,0 +1,3 @@
+# Benchmark
+
+https://doc.rust-lang.org/unstable-book/library-features/test.html

docs/src/tests/intro.md

@@ -0,0 +1 @@
+# Tests

docs/src/tests/unit-integration.md

@@ -0,0 +1 @@
+# Unit and Integration

docs/src/tests/write-tests.md

@@ -0,0 +1 @@
+# Write Tests

docs/src/threads/atomic.md

@@ -0,0 +1 @@
+# Atomic

docs/src/threads/basic-using.md

@@ -0,0 +1 @@
+# Basic using

docs/src/threads/intro.md

@@ -0,0 +1 @@
+# Threads

docs/src/threads/message-passing.md

@@ -0,0 +1 @@
+# Message passing

docs/src/threads/send-sync.md

@@ -0,0 +1 @@
+# Send and Sync

docs/src/threads/sync.md

@@ -0,0 +1 @@
+# Sync

docs/src/type-conversions/as.md

@@ -0,0 +1,104 @@
+# 使用 as 进行类型转换
+Rust 并没有为基本类型提供隐式的类型转换( coercion )，但是我们可以通过 `as` 来进行显式地转换。
+
+1. 🌟
+```rust,editable
+// 修复错误，填空
+// 不要移除任何代码
+fn main() {
+    let decimal = 97.123_f32;
+
+    let integer: __ = decimal as u8;
+
+    let c1: char = decimal as char;
+    let c2 = integer as char;
+
+    assert_eq!(integer, 'b' as u8);
+
+    println!("Success!")
+}
+```
+
+2. 🌟🌟 默认情况下, 数值溢出会导致编译错误，但是我们可以通过添加一行全局注解的方式来避免编译错误(溢出还是会发生)
+```rust,editable
+fn main() {
+    assert_eq!(u8::MAX, 255);
+    // 如上所示，u8 类型允许的最大值是 255.
+    // 因此以下代码会报溢出的错误： literal out of range for `u8`.
+    // **请仔细查看相应的编译错误，从中寻找到解决的办法**
+    // **不要修改 main 中的任何代码**
+    let v = 1000 as u8;
+
+    println!("Success!")
+}
+```
+
+3. 🌟🌟  当将任何数值转换成无符号整型 `T` 时，如果当前的数值不在新类型的范围内，我们可以对当前数值进行加值或减值操作( 增加或减少 `T::MAX + 1` )，直到最新的值在新类型的范围内，假设我们要将 `300` 转成 `u8` 类型，由于`u8` 最大值是 255，因此 `300` 不在新类型的范围内并且大于新类型的最大值，因此我们需要减去 `T::MAX + 1`，也就是 `300` - `256` = `44`。
+
+```rust,editable
+fn main() {
+    assert_eq!(1000 as u16, __);
+
+    assert_eq!(1000 as u8, __);
+
+    // 事实上，之前说的规则对于正整数而言，就是如下的取模
+    println!("1000 mod 256 is : {}", 1000 % 256);
+
+    assert_eq!(-1_i8 as u8, __);
+    
+
+    // 从 Rust 1.45 开始，当浮点数超出目标整数的范围时，转化会直接取正整数取值范围的最大或最小值
+    assert_eq!(300.1_f32 as u8, __);
+    assert_eq!(-100.1_f32 as u8, __);
+    
+
+    // 上面的浮点数转换有一点性能损耗，如果大家对于某段代码有极致的性能要求，
+    // 可以考虑下面的方法，但是这些方法的结果可能会溢出并且返回一些无意义的值
+    // 总之，请小心使用
+    unsafe {
+        // 300.0 is 44
+        println!("300.0 is {}", 300.0_f32.to_int_unchecked::<u8>());
+        // -100.0 as u8 is 156
+        println!("-100.0 as u8 is {}", (-100.0_f32).to_int_unchecked::<u8>());
+        // nan as u8 is 0
+        println!("nan as u8 is {}", f32::NAN.to_int_unchecked::<u8>());
+    }
+}
+```
+
+4. 🌟🌟🌟 裸指针可以和代表内存地址的整数互相转换
+```rust,editable
+
+// 填空
+fn main() {
+    let mut values: [i32; 2] = [1, 2];
+    let p1: *mut i32 = values.as_mut_ptr();
+    let first_address: usize = p1 __; 
+    let second_address = first_address + 4; // 4 == std::mem::size_of::<i32>()
+    let p2: *mut i32 = second_address __; // p2 指向 values 数组中的第二个元素
+    unsafe {
+        // 将第二个元素加 1
+        __
+    }
+    
+    assert_eq!(values[1], 3);
+
+    println!("Success!")
+}
+```
+
+
+5. 🌟🌟🌟 
+```rust,editable
+fn main() {
+    let arr :[u64; 13] = [0; 13];
+    assert_eq!(std::mem::size_of_val(&arr), 8 * 13);
+    let a: *const [u64] = &arr;
+    let b = a as *const [u8];
+    unsafe {
+        assert_eq!(std::mem::size_of_val(&*b), __)
+    }
+}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/type-conversions/as.md)找到答案(在 solutions 路径下) 

docs/src/type-conversions/from-into.md

@@ -0,0 +1,167 @@
+# From/Into
+`From` 特征允许让一个类型定义如何基于另一个类型来创建自己，因此它提供了一个很方便的类型转换的方式。
+
+`From` 和 `Into` 是配对的，我们只要实现了前者，那后者就会自动被实现：只要实现了 `impl From<T> for U`， 就可以使用以下两个方法: `let u: U = U::from(T)` 和 `let u:U = T.into()`，前者由 `From` 特征提供，而后者由自动实现的 `Into` 特征提供。
+
+需要注意的是，当使用 `into` 方法时，你需要进行显式地类型标注，因为编译器很可能无法帮我们推导出所需的类型。
+
+
+来看一个例子，我们可以简单的将 `&str` 转换成 `String`
+```rust
+fn main() {
+    let my_str = "hello";
+
+    // 以下三个转换都依赖于一个事实：String 实现了 From<&str> 特征
+    let string1 = String::from(my_str);
+    let string2 = my_str.to_string();
+    // 这里需要显式地类型标注
+    let string3: String = my_str.into();
+}
+```
+
+这种转换可以发生是因为标准库已经帮我们实现了 `From` 特征： `impl From<&'_ str> for String`。你还可以在[这里](https://doc.rust-lang.org/stable/std/convert/trait.From.html#implementors))找到其它实现 `From` 特征的常用类型。
+
+
+1. 🌟🌟🌟
+```rust,editable
+fn main() {
+    // impl From<bool> for i32
+    let i1: i32 = false.into();
+    let i2: i32 = i32::from(false);
+    assert_eq!(i1, i2);
+    assert_eq!(i1, 0);
+
+    // 使用两种方式修复错误
+    // 1. 哪个类型实现 From 特征 : impl From<char> for ? , 你可以查看一下之前提到的文档，来找到合适的类型
+    // 2. 上一章节中介绍过的某个关键字
+    let i3: i32 = 'a'.into();
+
+    // 使用两种方法来解决错误
+    let s: String = 'a' as String;
+
+    println!("Success!")
+}
+```
+
+### 为自定义类型实现 `From` 特征
+2. 🌟🌟
+```rust,editable
+// From 被包含在 `std::prelude` 中，因此我们没必要手动将其引入到当前作用域来
+// use std::convert::From;
+
+#[derive(Debug)]
+struct Number {
+    value: i32,
+}
+
+impl From<i32> for Number {
+    // 实现 `from` 方法
+}
+
+// 填空
+fn main() {
+    let num = __(30);
+    assert_eq!(num.value, 30);
+
+    let num: Number = __;
+    assert_eq!(num.value, 30);
+
+    println!("Success!")
+}
+```
+
+3. 🌟🌟🌟 当执行错误处理时，为我们自定义的错误类型实现 `From` 特征是非常有用。这样就可以通过 `?` 自动将某个错误类型转换成我们自定义的错误类型
+```rust,editable
+use std::fs;
+use std::io;
+use std::num;
+
+enum CliError {
+    IoError(io::Error),
+    ParseError(num::ParseIntError),
+}
+
+impl From<io::Error> for CliError {
+    // 实现 from 方法
+}
+
+impl From<num::ParseIntError> for CliError {
+    // 实现 from 方法
+}
+
+fn open_and_parse_file(file_name: &str) -> Result<i32, CliError> {
+    // ? 自动将 io::Error 转换成 CliError
+    let contents = fs::read_to_string(&file_name)?;
+    // num::ParseIntError -> CliError
+    let num: i32 = contents.trim().parse()?;
+    Ok(num)
+}
+
+fn main() {
+    println!("Success!")
+}
+```
+
+
+### TryFrom/TryInto
+类似于 `From` 和 `Into`, `TryFrom` 和 `TryInto` 也是用于类型转换的泛型特征。
+
+但是又与 `From/Into` 不同, `TryFrom` 和 `TryInto` 可以对转换后的失败进行处理，然后返回一个 `Result`。
+
+4. 🌟🌟
+```rust,editable
+// TryFrom 和 TryInto 也被包含在 `std::prelude` 中, 因此以下引入是没必要的
+// use std::convert::TryInto;
+
+fn main() {
+    let n: i16 = 256;
+
+    // Into 特征拥有一个方法`into`,
+    // 因此 TryInto 有一个方法是 ?
+    let n: u8 = match n.__() {
+        Ok(n) => n,
+        Err(e) => {
+            println!("there is an error when converting: {:?}, but we catch it", e.to_string());
+            0
+        }
+    };
+
+    assert_eq!(n, __);
+
+    println!("Success!")
+}
+```
+
+5. 🌟🌟🌟
+```rust,editable
+#[derive(Debug, PartialEq)]
+struct EvenNum(i32);
+
+impl TryFrom<i32> for EvenNum {
+    type Error = ();
+
+    // 实现 `try_from`
+    fn try_from(value: i32) -> Result<Self, Self::Error> {
+        if value % 2 == 0 {
+            Ok(EvenNum(value))
+        } else {
+            Err(())
+        }
+    }
+}
+
+fn main() {
+    assert_eq!(EvenNum::try_from(8), Ok(EvenNum(8)));
+    assert_eq!(EvenNum::try_from(5), Err(()));
+
+    // 填空
+    let result: Result<EvenNum, ()> = 8i32.try_into();
+    assert_eq!(result, __);
+    let result: Result<EvenNum, ()> = 5i32.try_into();
+    assert_eq!(result, __);
+
+    println!("Success!")
+}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/type-conversions/from-into.md)找到答案(在 solutions 路径下) 

docs/src/type-conversions/intro.md

@@ -0,0 +1,2 @@
+# Type conversions
+There are several ways we can use to perform type conversions, such as `as`, `From/Intro`, `TryFrom/TryInto`, `transmute` etc.

docs/src/type-conversions/others.md

@@ -0,0 +1,168 @@
+# 其它转换
+
+### 将任何类型转换成 String
+只要为一个类型实现了 `ToString`，就可以将任何类型转换成 `String`。事实上，这种方式并不是最好的，大家还记得 `fmt::Display` 特征吗？它可以控制一个类型如何打印，在实现它的时候还会自动实现 `ToString`。
+
+
+1. 🌟🌟
+```rust,editable
+use std::fmt;
+
+struct Point {
+    x: i32,
+    y: i32,
+}
+
+impl fmt::Display for Point {
+    // 实现 fmt 方法
+}
+
+fn main() {
+    let origin = Point { x: 0, y: 0 };
+    // 填空
+    assert_eq!(origin.__, "The point is (0, 0)");
+    assert_eq!(format!(__), "The point is (0, 0)");
+
+    println!("Success!")
+}
+```
+
+### 解析 String
+2. 🌟🌟🌟 使用 `parse` 方法可以将一个 `String` 转换成 `i32` 数字，这是因为在标准库中为 `i32` 类型实现了 `FromStr`: : `impl FromStr for i32`
+```rust,editable
+// 为了使用 `from_str` 方法, 你需要引入该特征到当前作用域中
+use std::str::FromStr;
+fn main() {
+    let parsed: i32 = "5".__.unwrap();
+    let turbo_parsed = "10".__.unwrap();
+    let from_str = __.unwrap();
+    let sum = parsed + turbo_parsed + from_str;
+    assert_eq!(sum, 35);
+
+    println!("Success!")
+}
+```
+
+
+3. 🌟🌟 还可以为自定义类型实现 `FromStr` 特征
+```rust,editable
+use std::str::FromStr;
+use std::num::ParseIntError;
+
+#[derive(Debug, PartialEq)]
+struct Point {
+    x: i32,
+    y: i32
+}
+
+impl FromStr for Point {
+    type Err = ParseIntError;
+
+    fn from_str(s: &str) -> Result<Self, Self::Err> {
+        let coords: Vec<&str> = s.trim_matches(|p| p == '(' || p == ')' )
+                                 .split(',')
+                                 .collect();
+
+        let x_fromstr = coords[0].parse::<i32>()?;
+        let y_fromstr = coords[1].parse::<i32>()?;
+
+        Ok(Point { x: x_fromstr, y: y_fromstr })
+    }
+}
+fn main() {
+    // 使用两种方式填空
+    // 不要修改其它地方的代码
+    let p = __;
+    assert_eq!(p.unwrap(), Point{ x: 3, y: 4} );
+
+    println!("Success!")
+}
+```
+
+### Deref 特征
+Deref 特征在[智能指针 - Deref](https://practice.rs/smart-pointers/deref.html)章节中有更加详细的介绍。
+
+### transmute
+`std::mem::transmute` 是一个 unsafe 函数，可以把一个类型按位解释为另一个类型，其中这两个类型必须有同样的位数( bits )。
+
+`transmute` 相当于将一个类型按位移动到另一个类型，它会将源值的所有位拷贝到目标值中，然后遗忘源值。该函数跟 C 语言中的 `memcpy` 函数类似。
+
+正因为此，**`transmute` 非常非常不安全!** 调用者必须要自己保证代码的安全性，当然这也是 unsafe 的目的。
+
+#### 示例
+1. `transmute` 可以将一个指针转换成一个函数指针，该转换并不具备可移植性，原因是在不同机器上，函数指针和数据指针可能有不同的位数( size )。
+
+```rust,editable
+fn foo() -> i32 {
+    0
+}
+
+fn main() {
+    let pointer = foo as *const ();
+    let function = unsafe {
+        std::mem::transmute::<*const (), fn() -> i32>(pointer)
+    };
+    assert_eq!(function(), 0);
+}
+```
+
+2. `transmute` 还可以扩展或缩短一个不变量的生命周期，将 Unsafe Rust 的不安全性体现的淋漓尽致!
+```rust,editable
+struct R<'a>(&'a i32);
+unsafe fn extend_lifetime<'b>(r: R<'b>) -> R<'static> {
+    std::mem::transmute::<R<'b>, R<'static>>(r)
+}
+
+unsafe fn shorten_invariant_lifetime<'b, 'c>(r: &'b mut R<'static>)
+                                             -> &'b mut R<'c> {
+    std::mem::transmute::<&'b mut R<'static>, &'b mut R<'c>>(r)
+}
+```
+
+3. 事实上我们还可以使用一些安全的方法来替代 `transmute`.
+```rust,editable
+fn main() {
+    /*Turning raw bytes(&[u8]) to u32, f64, etc.: */
+    let raw_bytes = [0x78, 0x56, 0x34, 0x12];
+
+    let num = unsafe { std::mem::transmute::<[u8; 4], u32>(raw_bytes) };
+
+    // use `u32::from_ne_bytes` instead
+    let num = u32::from_ne_bytes(raw_bytes);
+    // or use `u32::from_le_bytes` or `u32::from_be_bytes` to specify the endianness
+    let num = u32::from_le_bytes(raw_bytes);
+    assert_eq!(num, 0x12345678);
+    let num = u32::from_be_bytes(raw_bytes);
+    assert_eq!(num, 0x78563412);
+
+    /*Turning a pointer into a usize: */
+    let ptr = &0;
+    let ptr_num_transmute = unsafe { std::mem::transmute::<&i32, usize>(ptr) };
+
+    // Use an `as` cast instead
+    let ptr_num_cast = ptr as *const i32 as usize;
+
+    /*Turning an &mut T into an &mut U: */
+    let ptr = &mut 0;
+    let val_transmuted = unsafe { std::mem::transmute::<&mut i32, &mut u32>(ptr) };
+
+    // Now, put together `as` and reborrowing - note the chaining of `as`
+    // `as` is not transitive
+    let val_casts = unsafe { &mut *(ptr as *mut i32 as *mut u32) };
+
+    /*Turning an &str into a &[u8]: */
+    // this is not a good way to do this.
+    let slice = unsafe { std::mem::transmute::<&str, &[u8]>("Rust") };
+    assert_eq!(slice, &[82, 117, 115, 116]);
+
+    // You could use `str::as_bytes`
+    let slice = "Rust".as_bytes();
+    assert_eq!(slice, &[82, 117, 115, 116]);
+
+    // Or, just use a byte string, if you have control over the string
+    // literal
+    assert_eq!(b"Rust", &[82, 117, 115, 116]);
+}
+```
+
+> 你可以在[这里](https://github.com/sunface/rust-by-practice/blob/master/solutions/type-conversions/others.md)找到答案(在 solutions 路径下) 

docs/src/unsafe/inline-asm.md

@@ -0,0 +1,441 @@
+# 内联汇编
+
+Rust provides support for inline assembly via the `asm!` macro.
+It can be used to embed handwritten assembly in the assembly output generated by the compiler.
+Generally this should not be necessary, but might be where the required performance or timing
+cannot be otherwise achieved. Accessing low level hardware primitives, e.g. in kernel code, may also demand this functionality.
+
+> **Note**: the examples here are given in x86/x86-64 assembly, but other architectures are also supported.
+
+Inline assembly is currently supported on the following architectures:
+- x86 and x86-64
+- ARM
+- AArch64
+- RISC-V
+
+## Basic usage
+
+Let us start with the simplest possible example:
+
+```rust
+use std::arch::asm;
+
+unsafe {
+    asm!("nop");
+}
+```
+
+This will insert a NOP (no operation) instruction into the assembly generated by the compiler.
+Note that all `asm!` invocations have to be inside an `unsafe` block, as they could insert
+arbitrary instructions and break various invariants. The instructions to be inserted are listed
+in the first argument of the `asm!` macro as a string literal.
+
+## Inputs and outputs
+
+Now inserting an instruction that does nothing is rather boring. Let us do something that
+actually acts on data:
+
+```rust
+use std::arch::asm;
+
+let x: u64;
+unsafe {
+    asm!("mov {}, 5", out(reg) x);
+}
+assert_eq!(x, 5);
+```
+
+This will write the value `5` into the `u64` variable `x`.
+You can see that the string literal we use to specify instructions is actually a template string.
+It is governed by the same rules as Rust [format strings][format-syntax].
+The arguments that are inserted into the template however look a bit different than you may
+be familiar with. First we need to specify if the variable is an input or an output of the
+inline assembly. In this case it is an output. We declared this by writing `out`.
+We also need to specify in what kind of register the assembly expects the variable.
+In this case we put it in an arbitrary general purpose register by specifying `reg`.
+The compiler will choose an appropriate register to insert into
+the template and will read the variable from there after the inline assembly finishes executing.
+
+[format-syntax]: https://doc.rust-lang.org/std/fmt/#syntax
+
+Let us see another example that also uses an input:
+
+```rust
+use std::arch::asm;
+
+let i: u64 = 3;
+let o: u64;
+unsafe {
+    asm!(
+        "mov {0}, {1}",
+        "add {0}, 5",
+        out(reg) o,
+        in(reg) i,
+    );
+}
+assert_eq!(o, 8);
+```
+
+This will add `5` to the input in variable `i` and write the result to variable `o`.
+The particular way this assembly does this is first copying the value from `i` to the output,
+and then adding `5` to it.
+
+The example shows a few things:
+
+First, we can see that `asm!` allows multiple template string arguments; each
+one is treated as a separate line of assembly code, as if they were all joined
+together with newlines between them. This makes it easy to format assembly
+code.
+
+Second, we can see that inputs are declared by writing `in` instead of `out`.
+
+Third, we can see that we can specify an argument number, or name as in any format string.
+For inline assembly templates this is particularly useful as arguments are often used more than once.
+For more complex inline assembly using this facility is generally recommended, as it improves
+readability, and allows reordering instructions without changing the argument order.
+
+We can further refine the above example to avoid the `mov` instruction:
+
+```rust
+use std::arch::asm;
+
+let mut x: u64 = 3;
+unsafe {
+    asm!("add {0}, 5", inout(reg) x);
+}
+assert_eq!(x, 8);
+```
+
+We can see that `inout` is used to specify an argument that is both input and output.
+This is different from specifying an input and output separately in that it is guaranteed to assign both to the same register.
+
+It is also possible to specify different variables for the input and output parts of an `inout` operand:
+
+```rust
+use std::arch::asm;
+
+let x: u64 = 3;
+let y: u64;
+unsafe {
+    asm!("add {0}, 5", inout(reg) x => y);
+}
+assert_eq!(y, 8);
+```
+
+## Late output operands
+
+The Rust compiler is conservative with its allocation of operands. It is assumed that an `out`
+can be written at any time, and can therefore not share its location with any other argument.
+However, to guarantee optimal performance it is important to use as few registers as possible,
+so they won't have to be saved and reloaded around the inline assembly block.
+To achieve this Rust provides a `lateout` specifier. This can be used on any output that is
+written only after all inputs have been consumed.
+There is also a `inlateout` variant of this specifier.
+
+Here is an example where `inlateout` *cannot* be used:
+
+```rust
+use std::arch::asm;
+
+let mut a: u64 = 4;
+let b: u64 = 4;
+let c: u64 = 4;
+unsafe {
+    asm!(
+        "add {0}, {1}",
+        "add {0}, {2}",
+        inout(reg) a,
+        in(reg) b,
+        in(reg) c,
+    );
+}
+assert_eq!(a, 12);
+```
+
+Here the compiler is free to allocate the same register for inputs `b` and `c` since it knows they have the same value. However it must allocate a separate register for `a` since it uses `inout` and not `inlateout`. If `inlateout` was used, then `a` and `c` could be allocated to the same register, in which case the first instruction to overwrite the value of `c` and cause the assembly code to produce the wrong result.
+
+However the following example can use `inlateout` since the output is only modified after all input registers have been read:
+
+```rust
+use std::arch::asm;
+
+let mut a: u64 = 4;
+let b: u64 = 4;
+unsafe {
+    asm!("add {0}, {1}", inlateout(reg) a, in(reg) b);
+}
+assert_eq!(a, 8);
+```
+
+As you can see, this assembly fragment will still work correctly if `a` and `b` are assigned to the same register.
+
+## Explicit register operands
+
+Some instructions require that the operands be in a specific register.
+Therefore, Rust inline assembly provides some more specific constraint specifiers.
+While `reg` is generally available on any architecture, explicit registers are highly architecture specific. E.g. for x86 the general purpose registers `eax`, `ebx`, `ecx`, `edx`, `ebp`, `esi`, and `edi` among others can be addressed by their name.
+
+```rust,no_run
+use std::arch::asm;
+
+let cmd = 0xd1;
+unsafe {
+    asm!("out 0x64, eax", in("eax") cmd);
+}
+```
+
+In this example we call the `out` instruction to output the content of the `cmd` variable to port `0x64`. Since the `out` instruction only accepts `eax` (and its sub registers) as operand we had to use the `eax` constraint specifier.
+
+> **Note**: unlike other operand types, explicit register operands cannot be used in the template string: you can't use `{}` and should write the register name directly instead. Also, they must appear at the end of the operand list after all other operand types.
+
+Consider this example which uses the x86 `mul` instruction:
+
+```rust
+use std::arch::asm;
+
+fn mul(a: u64, b: u64) -> u128 {
+    let lo: u64;
+    let hi: u64;
+
+    unsafe {
+        asm!(
+            // The x86 mul instruction takes rax as an implicit input and writes
+            // the 128-bit result of the multiplication to rax:rdx.
+            "mul {}",
+            in(reg) a,
+            inlateout("rax") b => lo,
+            lateout("rdx") hi
+        );
+    }
+
+    ((hi as u128) << 64) + lo as u128
+}
+```
+
+This uses the `mul` instruction to multiply two 64-bit inputs with a 128-bit result.
+The only explicit operand is a register, that we fill from the variable `a`.
+The second operand is implicit, and must be the `rax` register, which we fill from the variable `b`.
+The lower 64 bits of the result are stored in `rax` from which we fill the variable `lo`.
+The higher 64 bits are stored in `rdx` from which we fill the variable `hi`.
+
+## Clobbered registers
+
+In many cases inline assembly will modify state that is not needed as an output.
+Usually this is either because we have to use a scratch register in the assembly or because instructions modify state that we don't need to further examine.
+This state is generally referred to as being "clobbered".
+We need to tell the compiler about this since it may need to save and restore this state around the inline assembly block.
+
+```rust
+use core::arch::asm;
+
+fn main() {
+    // three entries of four bytes each
+    let mut name_buf = [0_u8; 12];
+    // String is stored as ascii in ebx, edx, ecx in order
+    // Because ebx is reserved, we get a scratch register and move from
+    // ebx into it in the asm.  The asm needs to preserve the value of
+    // that register though, so it is pushed and popped around the main asm
+    // (in 64 bit mode for 64 bit processors, 32 bit processors would use ebx)
+
+    unsafe {
+        asm!(
+            "push rbx",
+            "cpuid",
+            "mov [{0}], ebx",
+            "mov [{0} + 4], edx",
+            "mov [{0} + 8], ecx",
+            "pop rbx",
+            // We use a pointer to an array for storing the values to simplify
+            // the Rust code at the cost of a couple more asm instructions
+            // This is more explicit with how the asm works however, as opposed
+            // to explicit register outputs such as `out("ecx") val`
+            // The *pointer itself* is only an input even though it's written behind
+            in(reg) name_buf.as_mut_ptr(),
+            // select cpuid 0, also specify eax as clobbered
+            inout("eax") 0 => _,
+            // cpuid clobbers these registers too
+            out("ecx") _,
+            out("edx") _,
+        );
+    }
+
+    let name = core::str::from_utf8(&name_buf).unwrap();
+    println!("CPU Manufacturer ID: {}", name);
+}
+```
+
+In the example above we use the `cpuid` instruction to read the CPU manufacturer ID.
+This instruction writes to `eax` with the maximum supported `cpuid` argument and `ebx`, `esx`, and `ecx` with the CPU manufacturer ID as ASCII bytes in that order.
+
+Even though `eax` is never read we still need to tell the compiler that the register has been modified so that the compiler can save any values that were in these registers before the asm. This is done by declaring it as an output but with `_` instead of a variable name, which indicates that the output value is to be discarded.
+
+This code also works around the limitation that `ebx` is a reserved register by LLVM. That means that LLVM assumes that it has full control over the register and it must be restored to its original state before exiting the asm block, so it cannot be used as an output. To work around this we save the register via `push`, read from `ebx` inside the asm block into a temporary register allocated with `out(reg)` and then restoring `ebx` to its original state via `pop`. The `push` and `pop` use the full 64-bit `rbx` version of the register to ensure that the entire register is saved. On 32 bit targets the code would instead use `ebx` in the `push`/`pop`.
+
+This can also be used with a general register class (e.g. `reg`) to obtain a scratch register for use inside the asm code:
+
+```rust
+use std::arch::asm;
+
+// Multiply x by 6 using shifts and adds
+let mut x: u64 = 4;
+unsafe {
+    asm!(
+        "mov {tmp}, {x}",
+        "shl {tmp}, 1",
+        "shl {x}, 2",
+        "add {x}, {tmp}",
+        x = inout(reg) x,
+        tmp = out(reg) _,
+    );
+}
+assert_eq!(x, 4 * 6);
+```
+
+## Symbol operands and ABI clobbers
+
+By default, `asm!` assumes that any register not specified as an output will have its contents preserved by the assembly code. The [`clobber_abi`] argument to `asm!` tells the compiler to automatically insert the necessary clobber operands according to the given calling convention ABI: any register which is not fully preserved in that ABI will be treated as clobbered.  Multiple `clobber_abi` arguments may be provided and all clobbers from all specified ABIs will be inserted.
+
+[`clobber_abi`]: ../../reference/inline-assembly.html#abi-clobbers
+
+```rust
+use std::arch::asm;
+
+extern "C" fn foo(arg: i32) -> i32 {
+    println!("arg = {}", arg);
+    arg * 2
+}
+
+fn call_foo(arg: i32) -> i32 {
+    unsafe {
+        let result;
+        asm!(
+            "call *{}",
+            // Function pointer to call
+            in(reg) foo,
+            // 1st argument in rdi
+            in("rdi") arg,
+            // Return value in rax
+            out("rax") result,
+            // Mark all registers which are not preserved by the "C" calling
+            // convention as clobbered.
+            clobber_abi("C"),
+        );
+        result
+    }
+}
+```
+
+## Register template modifiers
+
+In some cases, fine control is needed over the way a register name is formatted when inserted into the template string. This is needed when an architecture's assembly language has several names for the same register, each typically being a "view" over a subset of the register (e.g. the low 32 bits of a 64-bit register).
+
+By default the compiler will always choose the name that refers to the full register size (e.g. `rax` on x86-64, `eax` on x86, etc).
+
+This default can be overridden by using modifiers on the template string operands, just like you would with format strings:
+
+```rust
+use std::arch::asm;
+
+let mut x: u16 = 0xab;
+
+unsafe {
+    asm!("mov {0:h}, {0:l}", inout(reg_abcd) x);
+}
+
+assert_eq!(x, 0xabab);
+```
+
+In this example, we use the `reg_abcd` register class to restrict the register allocator to the 4 legacy x86 registers (`ax`, `bx`, `cx`, `dx`) of which the first two bytes can be addressed independently.
+
+Let us assume that the register allocator has chosen to allocate `x` in the `ax` register.
+The `h` modifier will emit the register name for the high byte of that register and the `l` modifier will emit the register name for the low byte. The asm code will therefore be expanded as `mov ah, al` which copies the low byte of the value into the high byte.
+
+If you use a smaller data type (e.g. `u16`) with an operand and forget the use template modifiers, the compiler will emit a warning and suggest the correct modifier to use.
+
+## Memory address operands
+
+Sometimes assembly instructions require operands passed via memory addresses/memory locations.
+You have to manually use the memory address syntax specified by the target architecture.
+For example, on x86/x86_64 using Intel assembly syntax, you should wrap inputs/outputs in `[]` to indicate they are memory operands:
+
+```rust
+use std::arch::asm;
+
+fn load_fpu_control_word(control: u16) {
+    unsafe {
+        asm!("fldcw [{}]", in(reg) &control, options(nostack));
+    }
+}
+```
+
+## Labels
+
+Any reuse of a named label, local or otherwise, can result in an assembler or linker error or may cause other strange behavior. Reuse of a named label can happen in a variety of ways including:
+
+-   explicitly: using a label more than once in one `asm!` block, or multiple times across blocks.
+-   implicitly via inlining: the compiler is allowed to instantiate multiple copies of an `asm!` block, for example when the function containing it is inlined in multiple places.
+-   implicitly via LTO: LTO can cause code from *other crates* to be placed in the same codegen unit, and so could bring in arbitrary labels.
+
+As a consequence, you should only use GNU assembler **numeric** [local labels] inside inline assembly code. Defining symbols in assembly code may lead to assembler and/or linker errors due to duplicate symbol definitions.
+
+Moreover, on x86 when using the default Intel syntax, due to [an LLVM bug], you shouldn't use labels exclusively made of `0` and `1` digits, e.g. `0`, `11` or `101010`, as they may end up being interpreted as binary values. Using `options(att_syntax)` will avoid any ambiguity, but that affects the syntax of the _entire_ `asm!` block. (See [Options](#options), below, for more on `options`.)
+
+```rust
+use std::arch::asm;
+
+let mut a = 0;
+unsafe {
+    asm!(
+        "mov {0}, 10",
+        "2:",
+        "sub {0}, 1",
+        "cmp {0}, 3",
+        "jle 2f",
+        "jmp 2b",
+        "2:",
+        "add {0}, 2",
+        out(reg) a
+    );
+}
+assert_eq!(a, 5);
+```
+
+This will decrement the `{0}` register value from 10 to 3, then add 2 and store it in `a`.
+
+This example shows a few things:
+
+- First, that the same number can be used as a label multiple times in the same inline block.
+- Second, that when a numeric label is used as a reference (as an instruction operand, for example), the suffixes “b” (“backward”) or ”f” (“forward”) should be added to the numeric label. It will then refer to the nearest label defined by this number in this direction.
+
+[local labels]: https://sourceware.org/binutils/docs/as/Symbol-Names.html#Local-Labels
+[an LLVM bug]: https://bugs.llvm.org/show_bug.cgi?id=36144
+
+## Options
+
+By default, an inline assembly block is treated the same way as an external FFI function call with a custom calling convention: it may read/write memory, have observable side effects, etc. However, in many cases it is desirable to give the compiler more information about what the assembly code is actually doing so that it can optimize better.
+
+Let's take our previous example of an `add` instruction:
+
+```rust
+use std::arch::asm;
+
+let mut a: u64 = 4;
+let b: u64 = 4;
+unsafe {
+    asm!(
+        "add {0}, {1}",
+        inlateout(reg) a, in(reg) b,
+        options(pure, nomem, nostack),
+    );
+}
+assert_eq!(a, 8);
+```
+
+Options can be provided as an optional final argument to the `asm!` macro. We specified three options here:
+- `pure` means that the asm code has no observable side effects and that its output depends only on its inputs. This allows the compiler optimizer to call the inline asm fewer times or even eliminate it entirely.
+- `nomem` means that the asm code does not read or write to memory. By default the compiler will assume that inline assembly can read or write any memory address that is accessible to it (e.g. through a pointer passed as an operand, or a global).
+- `nostack` means that the asm code does not push any data onto the stack. This allows the compiler to use optimizations such as the stack red zone on x86-64 to avoid stack pointer adjustments.
+
+These allow the compiler to better optimize code using `asm!`, for example by eliminating pure `asm!` blocks whose outputs are not needed.
+
+See the [reference](../../reference/inline-assembly.html) for the full list of available options and their effects.

docs/src/unsafe/intro.md

@@ -0,0 +1 @@
+# Unsafe doing