---

前言

   通过Rust程序设计-第二版笔记的形式对Rust相关重点知识进行汇总，读者通读此系列文章就可以轻松的把该语言基础捡起来。

---

1.所有权与移动

谈及内存管理，我们希望编程语言能具备两个特点：

• 希望内存能在我们选定的时机及时释放，这使我们能控制程序的内存消耗；
• 在对象被释放后，我们绝不希望继续使用指向它的指针，这是未定义行为，会导致崩溃和安全漏洞。

Rust 通过限制程序使用指针的方式出人意料地打破了这种困局。悬空指针、重复释放、使用未初始化的内存等。

Rust 程序中的缺陷不会导致一个线程破坏另一个线程的数据，进而在系统中的无关部分引入难以重现的故障。

相关问题：

看看所有权在概念层和实现层分别意味着什么？
如何在各种场景中跟踪所有权的变化？
哪些情况下要改变或打破其中的一些规则，以提供更大的灵活性？

1.1 所有权

拥有对象意味着可以决定何时释放此对象：当销毁拥有者时，它拥有的对象也会随之销毁。

变量拥有自己的值，当控制流离开声明变量的块时，变量就会被丢弃，因此它的值也会一起被丢弃。例如：

fn print_padovan() {let mut padovan = vec![1,1,1]; // 在此分配for i in 3..10 {let next = padovan[i-3] + padovan[i-2];padovan.push(next);}println!("P(1..10) = {:?}", padovan);
} // 在此丢弃

变量 padovan 的类型为 Vec<i32>。在内存中，padovan 的最终值如图所示。
跟C++ std::string 非常相似，不过缓冲区中的元素都是 32 位整数，而不是字符。

2.引用

3.特型与泛型

4.实用工具特型

5.闭包