栈和堆是我们Rust代码在运行时可以使用的内存部分。Rust是一种内存安全的编程语言。为了确保Rust是内存安全的,它引入了所有权、引用和借用等概念。要理解这些概念,我们必须首先了解如何在栈和堆中分配和释放内存。
栈
栈可以被看作一堆书。当我们添加更多书时,我们把它们放在堆叠的顶部。当我们需要一本书时,我们从顶部拿一本。栈按顺序插入值。它获取它们并以相反的顺序移除值。
添加数据称为入栈,移除数据称为出栈。这种现象在编程中被称为后进先出(LIFO)。存储在栈上的数据在编译时必须具有固定大小。Rust默认为原始类型在栈上分配内存。
让我们通过一个示例来直观地展示如何在栈上分配和释放内存。
fn foo() {
let y = 999;
let z = 333;
}
fn main() {
let x = 111;
foo();
}
-
在上面的例子中,我们首先调用函数main()。 main() 函数有一个变量绑定 x。
-
当 main() 执行时,我们将一个单独的 32 位整数(x)分配给堆栈帧。
Address | Name | Value |
---|---|---|
0 | x | 111 |
在表中,Address
列指的是RAM
的内存地址。它从0
开始,并且到你的计算机拥有多少RAM
(字节数)为止。Name
列指的是变量,Value
列指的是变量的值。
当调用foo()
时,将分配一个新的栈帧。foo()
函数有两个变量绑定,y 和 z。
Address | Name | Value |
---|---|---|
2 | z | 333 |
1 | y | 999 |
0 | x | 111 |
- 实际上,计算机在现实中不会使用数字0、1和2来表示地址值。这些地址根据值的不同会相隔几个字节。
- 在
foo()
完成后,其堆栈帧将被释放。
Address | Name | Value |
---|---|---|
0 | x | 111 |
- 最后,main() 完成了,一切都消失了。Rust 自动在堆栈内外分配和释放内存。
堆
与堆栈相反,大多数时候,我们需要将变量(内存)传递给不同的函数,并使它们的存活时间比单个函数的执行时间更长。这时候我们就可以使用堆了。
我们可以使用 Box<T>
类型在堆上分配内存。例如:
fn main() {
let x = Box::new(100);
let y = 222;
println!("x = {}, y = {}", x, y);
}
x = 100, y = 222
Address | Name | Value |
---|---|---|
1 | y | 222 |
0 | x | ??? |
和之前一样,我们在堆栈上分配两个变量 x 和 y。但是,当调用 Box::new()
时,x
的值会在堆上分配。因此,x
的实际值是指向堆的指针。这里使用????
来表示;
Address | Name | Value |
---|---|---|
5678 | 100 | |
… | … | … |
1 | y | 222 |
0 | x | → 5678 |
在这里,变量 x
持有一个指向地址→ 5678
的指针,这是用于演示的任意地址。Heap
可以按任意顺序分配和释放。
因此它可能以不同的地址结束。
- 当 x 被释放时,它首先释放在堆上分配的内存。
Address | Name | Value |
---|---|---|
1 | y | 222 |
0 | x | ??? |
一旦main()
完成,我们释放栈帧,所有东西都会被清空,释放所有内存。我们可以通过转移所有权使内存存活更久,堆可以比分配 Box 的函数存活更长时间。
栈和堆的区别
Stack | Heap |
---|---|
访问堆栈中的数据更快。 | 访问堆中的数据速度较慢。 |
栈上内存管理可预测且简单 | 堆上内存管理(任意大小)较为复杂。 |
Rust默认在栈上进行分配 | 使用Box 来分配堆内存。 |
函数的原始类型和局部变量在栈上分配 | 动态大小的数据类型,如String 、Vec 、Box 等,在堆上分配。 |
Vector
Vector 是一种动态(可调整大小)的数据结构,可以存储相同类型的元素列表。作为一种可调整大小的数据结构,vector
可以在运行时增长和收缩。
创建Vector
let v = vec![1, 2, 3];
- 使用 了
vec!
宏创建并初始化了一个vector
,元素为1,2,3
三个整数; vec!
宏通过给定的初始元素可以自动推断其类型,从而确定vector
的类型为Vec<i32>
;- 当然,我们也可以手动显式的指明类型,比如:
let v:Vec<u8> = vec![1,2,3];
打印输出vec
中的元素,我们可以使用println!()
宏并使用{:?}
格式化;
fn main() {
let v = vec![1, 2, 3, 4];
println!("{:?}", v);
}
访问Vector元素
通过索引访问
vector
中的每个元素都与一个唯一的数字序列相关联。这个数字被称为向量索引。我们可以使用向量索引访问向量的元素。假设我们有一个颜色向量。
let colors = vec!["blue","red","green"];
我们可以使用它们对应的向量索引来访问单个矢量元素。例如:
colors[0] - 访问索引为 0 的元素(第一个元素)
colors[1] - 访问索引为 1 的元素(第二个元素)
colors[2] - 访问索引为 2 的元素(第三个元素)
fn main() {
let colors = vec!["blue", "red", "green"];
// method 1: access vector elements using vector index
println!("first color = {}", colors[0]);
println!("second color = {}", colors[1]);
println!("third color = {}", colors[2]);
}
通过get
方法访问
还是之前的代码:
let colors = vec!["blue", "red", "green"];
我们可以使用 get()
方法访问该向量的元素。get()
方法不会直接返回向量元素,而是返回一个类型为Option<T>
的枚举。结果要么是 Some(T)
,要么是 None
。
colors.get(0)
- 返回索引为 0 的 Some 值
colors.get(1)
- 返回索引为 1 的 Some 值
colors.get(2)
- 返回索引为 2 的 Some 值
colors.get(3)
will returnNone
fn main() {
let colors = vec!["blue", "red", "green"];
// method 2: access vector elements using get() method and vector index
println!("first color = {:?}", colors.get(0));
println!("second color = {:?}", colors.get(1));
println!("third color = {:?}", colors.get(2));
}
输出:
first color = Some(“blue”)
second color = Some(“red”)
third color = Some(“green”)
向Vector中添加元素
我们可以通过在Rust中创建可变向量来向向量添加值。 我们可以在将向量分配给变量之前使用mut
关键字使其可变。 例如,
let mut v = vec![2,4,6,8,10];
使用push()
方法添加元素;
fn main() {