面试题：Rust中结构体成员所有权转移及内存管理

在Rust中，当结构体实例作为参数传递给函数时，值所有权的转移过程和内存管理遵循以下规则：

值所有权转移：当一个值传递给函数时，所有权会转移到函数中。这意味着调用函数后，原来的变量不再拥有该值，并且不能再使用。
内存管理：Rust编译器通过所有权系统和借用检查器来确保内存安全。当一个值的所有权转移时，Rust会在值不再被使用时自动释放其占用的内存。

下面是一个示例代码，用于说明这个过程：

// 定义一个自定义类型
struct InnerType {
    data: String,
}

// 定义一个包含自定义类型成员的结构体
struct OuterType {
    inner: InnerType,
    num: i32,
}

// 定义一个函数，接受OuterType实例作为参数
fn process_struct(outer: OuterType) {
    println!("Processing struct with num: {}", outer.num);
    println!("Inner data: {}", outer.inner.data);
}

fn main() {
    // 创建一个OuterType实例
    let outer = OuterType {
        inner: InnerType {
            data: String::from("Hello, Rust!"),
        },
        num: 42,
    };

    // 将outer传递给process_struct函数，所有权转移
    process_struct(outer);

    // 这里不能再使用outer，因为所有权已经转移
    // println!("Trying to use outer after transfer: {}", outer.num);
    // 这行会导致编译错误
}

在这个示例中：

OuterType结构体包含一个InnerType类型的成员和一个i32类型的成员。
main函数中创建了一个OuterType实例outer。
当outer作为参数传递给process_struct函数时，所有权转移到process_struct函数中。
在process_struct函数中，outer可以被正常使用。
当process_struct函数结束时，outer及其内部的InnerType实例的内存会被自动释放。
如果在process_struct函数调用后尝试使用outer，Rust编译器会报错，因为所有权已经转移。

这样，Rust通过所有权系统和借用检查器确保了内存安全，避免了悬空指针、内存泄漏等常见的内存安全问题。

星途面试题库

面试题：Rust中结构体成员所有权转移及内存管理

知识考点

面试题答案