理解Rust的所有权

Time: 20190921

所有权是Rust中最独特的特征，有了它就能保证Rust内存安全，且无需垃圾回收机制。因此，理解Rust的所有权机制非常重要。和所有权一起讲到的其他几个概念是：

引用，借用
切片

什么是所有权

Rust语言的核心特征。这个概念解释起来并不复杂，但是对于后续的Rust语言学习有深远的影响。

不管什么编程语言，运行时都需要管理内存的使用方式。有些语言提供了垃圾回收机制，该机制会经常去查看不再使用的内存，然后在恰当的时机回收它们。

在一些语言中，内存管理需要交给程序员，手动分配和回收内存。

Rust用的是第三种方式：内存由所有权系统以及一些规则来管理，这些规则是编译器在编译时检查。

所有权这种特性不会降低程序运行时的效率。

所有权这种概念对很多人都是一个新的概念，因此花时间了解它的含义很有必要。

理解了所有权，就为历届Rust为何独一无二打下了坚实的基础。

我们将从字符串相关视角来学习所有权。

栈，堆

系统编程语言需要我们了解栈和堆的使用方式。

栈和堆都是运行时可以在代码中使用的内存空间，只是组织方式有所不同。

栈的基本特性就是后入先出，一般有两种基本操作：

push：压栈，存储数据
pop：出栈，弹出数据

栈上的所有数据都必须有确定的，已知的大小。如果是编译期不确定的，或者会在运行时变化的数据都需要存在堆上。

堆比栈的组织性要少很多，当把数据存储到堆上时，首先需要请求分配一块空间。操作系统会在堆上寻找足够大的可用的空间，将其标记为使用中，并返回一个指针，这就是该位置的地址。这个过程称作在堆上分配内存，一般直接简称为分配内存。

往栈上存储数据不是分配，因为栈的指针是确定的，固定大小的，指针可以存储到栈上，提取实际数据时，必须按照指针去找。

了解这个过程，可以知晓，数据分配到堆上比在栈上要慢很多。

读取堆上数据也比读取栈上数据慢很多，堆上的数据需要循着指针的方向去拿到数据。

TBD…

引用和借用

切片类型

参考

https://doc.rust-lang.org/book/ch04-01-what-is-ownership.html

2019.10 Update:

第一届PAT算法直播课培训班招募帖，欢迎点击查看详情、