Rust 中的结构体可以在栈上或堆上进行分配,这取决于结构体的定义和使用方式。
如果结构体只包含栈上分配的字段,则结构体实例将在栈上分配内存。这种类型的结构体被称为栈上结构体(Stack-Allocated Structs)。栈上结构体具有复制语义,因此可以通过简单的赋值进行复制。
以下是一个栈上结构体的示例:
```rust
struct Point {
x: i32,
y: i32,
}
fn main() {
let p1 = Point { x: 0, y: 0 }; // 栈上分配 Point 结构体
let p2 = p1; // 复制 p1 的值到 p2,没有所有权转移
println!("p1: {:?}, p2: {:?}", p1, p2); // 输出: p1: Point { x: 0, y: 0 }, p2: Point { x: 0, y: 0 }
}
```
但是,如果结构体包含堆上分配的字段(例如 `String`、`Vec<T>` 等),则结构体实例本身将在栈上分配内存,但堆上的字段将在堆上分配内存。这种情况下,结构体的所有权转移将涉及到堆上分配的字段。
以下是一个包含堆上分配字段的结构体的示例:
```rust
struct Person {
name: String,
age: u32,
}
fn main() {
let p1 = Person {
name: String::from("Alice"), // 堆上分配 String
age: 25,
};
let p2 = p1; // 将 p1 的所有权转移到 p2,包括堆上的 String
// println!("name: {}", p1.name); // 这行代码将会编译错误,因为 p1 失去了 String 的所有权
println!("name: {}", p2.name); // 输出: name: Alice
}
```
在这个例子中,`Person` 结构体的实例 `p1` 在栈上分配内存,但 `name` 字段是一个堆上分配的 `String`。当将 `p1` 的所有权转移到 `p2` 时,包括堆上的 `String` 在内的所有字段都被转移。因此,尝试访问 `p1.name` 将导致编译错误。
总而言之,Rust 中的结构体可以在栈上或堆上进行分配,取决于结构体的字段。只包含栈上分配的字段的结构体是栈上分配的,而包含堆上分配字段的结构体的实例本身是栈上分配的,但其堆上的字段在堆上分配内存。