Rust中数据存储的位置

目录

1. 在 Rust 中，数据的存储位置（堆或栈）主要由数据类型和其使用方式决定。以下是核心规则和常见示例：
2. 一、栈上的数据
3. 典型场景：
4. struct Point { x: i32, y: i32 } let p = Point { x: 1, y: 2 }; // p 在栈上 let arr = [1, 2, 3, 4]; // arr 在栈上 ``` 3. 函数调用时的临时数据： - 函数参数、局部变量（除非显式分配到堆）。 - 例如：fn foo(a: i32) { ... }，a 在栈上。
5. 二、堆上的数据
6. 典型场景：
7. let boxed = Box::new(42); // 值 42 在堆上，boxed（指针）在栈上。 - `Vec<T>`、`String`：动态大小的集合。 rust let vec = vec![1, 2, 3]; // 元素在堆上，vec（指针+元数据）在栈上。 let s = String::from("hello"); // 字符数据在堆上。 ``` 2. 闭包捕获的堆数据： - 若闭包捕获了堆数据（如 String），闭包本身可能在栈，但数据在堆。 3. 显式堆分配： - 通过 Box::new、Rc::new 等分配。 - 例如：let rc = Rc::new(42);（数据在堆，Rc 指针在栈）。
8. 三、关键区别
9. 四、所有权与存储位置
10. 示例对比
11. 📎 参考文章

在 Rust 中，数据的存储位置（堆或栈）主要由数据类型和其使用方式决定。以下是核心规则和常见示例：#

一、栈上的数据#

栈用于存储固定大小且生命周期明确的数据，由编译器自动管理（后进先出）。

典型场景：#

1. 基本标量类型：
   • 整数（i32, u64）、浮点数（f32, f64）、布尔值（bool）、字符（char）。
   • 例如：let x = 42;，x 存储在栈上。
2. 固定大小的复合类型：
   • 结构体（struct）如果所有字段都是栈类型。
   • 固定长度数组（[i32; 4]）。
   • 例如：

struct Point { x: i32, y: i32 } let p = Point { x: 1, y: 2 }; // p 在栈上 let arr = [1, 2, 3, 4]; // arr 在栈上 ``` 3. 函数调用时的临时数据： - 函数参数、局部变量（除非显式分配到堆）。 - 例如：fn foo(a: i32) { ... }，a 在栈上。#

二、堆上的数据#

堆用于存储动态大小或生命周期不确定的数据，需显式分配，通过智能指针（如 Box, Vec）管理。

典型场景：#

1. 动态分配的类型：
   • Box<T>：将数据从栈移动到堆。

let boxed = Box::new(42); // 值 42 在堆上，boxed（指针）在栈上。 - `Vec<T>`、`String`：动态大小的集合。 rust let vec = vec![1, 2, 3]; // 元素在堆上，vec（指针+元数据）在栈上。 let s = String::from("hello"); // 字符数据在堆上。 ``` 2. 闭包捕获的堆数据： - 若闭包捕获了堆数据（如 String），闭包本身可能在栈，但数据在堆。 3. 显式堆分配： - 通过 Box::new、Rc::new 等分配。 - 例如：let rc = Rc::new(42);（数据在堆，Rc 指针在栈）。#

三、关键区别#

---

四、所有权与存储位置#

• 移动语义：当数据从栈移动到堆（如 Box::new(x)），原栈数据所有权转移。
• 复制语义：栈数据（如 i32）默认复制，堆数据（如 Vec）移动所有权而非深拷贝。

---

示例对比#

fn main() {
    // 栈上数据
    let a = 5;                  // i32 在栈
    let b = [0; 1024];          // 数组在栈（大小固定）

    // 堆上数据
    let c = Box::new([0; 1024]); // 数组在堆，Box指针在栈
    let d = vec![1, 2, 3];      // vec元数据在栈，元素在堆
}

理解这些规则能帮助避免内存错误，并编写高效的 Rust 代码。

📎 参考文章#