《Rust编程入门》13.2 堆与栈的分配

13.2 堆与栈的分配

在 Rust 中，内存分配的方式主要有两种：栈（Stack） 和 堆（Heap）。这两种内存分配方式决定了数据存储的位置、生命周期以及访问速度。了解这两者的区别和工作原理，是理解 Rust 内存管理机制的关键。

13.2.1 栈内存（Stack）

栈是一个先进后出（LIFO，Last In First Out）数据结构，它被用来存储具有固定大小、生命周期已知的数据。在栈上分配内存非常高效，因为数据的生命周期由栈帧的顺序决定。栈内存的分配和释放由操作系统自动管理，不需要开发者干预。

• 栈内存的特点：

  • 存储的是值类型数据，如整数、布尔值、字符等。
  • 在函数调用时，数据会被推送到栈上，并且在函数返回时自动清理（生命周期由函数调用的作用域控制）。
  • 栈上存储的是值本身，而不是指向值的指针。
  • 分配和释放内存速度非常快，几乎是即时的。

• 栈内存的局限：

  • 栈内存有大小限制（通常由操作系统决定），因此它不适合存储非常大的数据或无法确定大小的数据。
  • 栈上的数据必须在编译时确定大小，因此无法存储动态大小的数据。

栈内存分配示例

1
2
3
4
5
6

fn main() {
    let x = 5; // x 是一个整数，存储在栈中
    let y = 10; // y 是一个整数，存储在栈中
    
    println!("x: {}, y: {}", x, y);
}

在上面的代码中，x 和 y 存储在栈上，它们是简单的值类型变量。由于它们的大小在编译时就已确定，栈能够高效地为它们分配内存。

13.2.2 堆内存（Heap）

堆是一个没有特定顺序的内存区域，它用于存储动态分配的内存。与栈相比，堆内存的分配和释放相对较慢，因为它不遵循栈的先进后出规则，需要通过额外的内存管理来处理。

• 堆内存的特点：

  • 存储的是引用类型数据，如 Vec、String 和其他动态分配的数据。
  • 内存分配发生时，操作系统将内存动态分配给程序，并且程序需要手动或自动（通过所有权系统）管理内存的释放。
  • 堆上的数据通常会存储指向数据的指针，而不是值本身。

• 堆内存的分配与释放：

  • 堆内存的分配通常比栈内存要慢，因为操作系统需要在堆中找到足够大的空闲内存并分配它。
  • 当一个堆上的对象不再使用时（例如，当所有者的生命周期结束时），内存会被自动释放。Rust 的所有权系统会在编译时确保没有悬挂引用，从而避免内存泄漏。

堆内存分配示例

1
2
3
4
5
6
7

fn main() {
    let s = String::from("Hello, Rust!"); // s 存储在堆上
    let s2 = s; // s 的所有权转移到 s2，s 不再有效
    
    println!("{}", s2); // 可以使用 s2
    // println!("{}", s); // 编译错误：s 不再有效
}

在这个例子中，String 类型的变量 s 存储在堆上。由于 String 类型在堆上分配内存来存储字符串数据，因此在 s 的所有权转移到 s2 后，s 变得无效。Rust 的所有权和借用机制确保堆内存被安全管理。

13.2.3 栈与堆的关系

栈和堆虽然在内存分配的方式上有所不同，但它们是互补的。在 Rust 中，栈用于存储具有已知大小的值类型数据，而堆用于存储动态大小的数据结构。Rust 的所有权系统确保了两者之间的数据访问安全，避免了内存泄漏、野指针等问题。

• 栈：适合存储固定大小且生命周期清晰的值，如基本数据类型（整数、布尔值、字符等）和一些小型结构体。
• 堆：适合存储动态大小的数据，如 String、Vec、Box 和其他容器类型，这些类型的内存会在堆上分配。

13.2.4 栈与堆的内存模型

1. 栈上的内存：

   • 存储数据的副本。
   • 分配与释放非常快速。
   • 主要用于存储值类型的数据。
   • 数据生命周期由作用域控制。

2. 堆上的内存：

   • 存储指向实际数据的指针，数据本身存储在堆上。
   • 内存分配较慢，但可以存储大小不确定或动态分配的数据。
   • 在 Rust 中通过所有权系统和智能指针（如 Box、Rc 和 Arc）进行管理。

堆与栈的对比

13.2.5 小结

栈和堆是内存管理的两种基本方式，Rust 根据数据的类型和生命周期来选择将数据存储在栈上还是堆上。栈内存分配非常快速，但只能用于固定大小的数据；堆内存则适用于需要动态分配和变化的数据。在 Rust 中，通过所有权和借用机制，堆与栈之间的内存分配和管理变得安全且高效。

在下一节中，我们将深入探讨 Rust 的性能优化技巧，并进一步了解其零成本抽象的设计理念。

• Rust
• Rust Tutors
• Rust编程入门