Rust结构体的内存分配与所有权移动问题咨询

1. Rust结构体是否存储在栈和堆内存中？ #

结构体的存储位置由其内部字段决定：

• 若所有字段均为栈分配类型（如i32、u8等固定大小且实现Copy的类型），整个结构体实例会完全存储在栈上。
• 若包含堆分配类型（如String、Vec、Box等），结构体本身（含堆数据的指针、长度、容量等元数据）仍在栈上，但指向的实际数据会存于堆中。

2. 固定大小变量分配在栈，动态大小变量分配在堆，此理解是否正确？ #

该理解有局限性，更准确的区分依据是类型的所有权语义：

• 栈确实优先存储固定大小、生命周期明确的数据，但动态大小类型（如切片[T]）的元数据（指针+长度）也会在栈上，仅实际数据在堆中。
• 实现Copy trait的类型赋值时会直接复制值（栈上拷贝），未实现Copy的类型则触发所有权转移（move），与大小是否固定无直接关联。

3. 为何创建结构体实例并赋值给另一个变量时会出现借用错误？为何不像i32等类型直接复制值？ #

i32等基本类型默认实现Copy trait，赋值时会在栈上复制一份新值，原变量仍可正常使用。而结构体默认不实现Copy trait：

• 执行let u2 = u1;时，Rust会将u1的所有权转移给u2，u1从此失效（被“移动”）。
• 即便结构体部分字段是Copy类型（如age: u8），只要存在一个非Copy字段（如name: String），整个结构体就无法自动实现Copy，赋值时触发所有权转移而非值复制。

4. 为何这类错误不仅出现在String、Vec等类型中？ #

所有权转移（move）规则适用于所有未实现Copy的类型，包括含非Copy字段的结构体：

• 结构体的所有权语义由其字段决定：只要有一个字段是move语义（未实现Copy），整个结构体就遵循move语义。
• 你遇到的错误本质不是结构体本身在堆上，而是结构体包含String这种非Copy类型，导致赋值时触发所有权转移，原变量失效。

可正常运行的代码示例 #

fn main() {
    let x: i32 = 5;
    let y: i32 = x;

    println!("x : {}", x);
    println!("y : {}", y);
}

无法运行的代码示例 #

struct User {
    pub name: String,
    pub age: u8,
}

fn main() {
    let u1 = User { name: "John".to_string(), age: 20 };
    let u2 = u1;

    println!("U1 Name: {} \n", u1.name);
    println!("U1 Age: {} \n", u1.age);
}

错误信息（翻译后） #

error[E0382]: 使用已移动的值: `u1`
  --> src/main.rs:13:29
   |
8  |   let u1 = User { name: "John".to_string(), age: 20 };
   |       -- 移动发生是因为`u1`的类型`User`未实现`Copy` trait
9  |   let u2 = u1;
   |            -- 值已在此处移动
...
13 |   println!("U1 Age: {} \n", u1.age);
   |                             ^^^^^^ 值在移动后被借用
   |
   = 注意: 此错误源自宏`$crate::format_args_nl`，该宏由`println`宏展开而来（在Nightly版本中，可使用-Z macro-backtrace查看更多信息）

如需了解此错误的更多信息，请尝试`rustc --explain E0382`。

内容的提问来源于stack exchange，提问作者Abner Matheus