面试题：Rust Drop特型与所有权转移在复杂场景下的资源管理

Drop特型协同工作原理：
- 在Rust中，当一个值离开其作用域时，Rust会自动调用该值的Drop实现来释放资源。对于包含嵌套自定义结构体且结构体拥有资源（如文件句柄）的情况，当外部结构体的所有权转移或离开作用域时，会首先调用外部结构体的Drop实现。在外部结构体的Drop实现中，会递归地调用内部结构体的Drop实现，从而确保所有相关资源都被正确释放。
代码实现：

use std::fs::File;
use std::io::Write;

// 内部结构体，管理文件句柄资源
struct Inner {
    file: File,
}

impl Drop for Inner {
    fn drop(&mut self) {
        println!("Dropping Inner: closing file");
        // 这里可以处理文件关闭的错误，简单示例中省略
    }
}

// 外部结构体，管理其他资源，并包含内部结构体
struct Outer {
    data: String,
    inner: Inner,
}

impl Drop for Outer {
    fn drop(&mut self) {
        println!("Dropping Outer: cleaning up data");
        // 这里可以处理外部资源清理，简单示例中省略
    }
}

// 函数接收外部结构体所有权
fn take_ownership(outer: Outer) {
    println!("Function took ownership of Outer");
    // 当函数结束，`outer`离开作用域，会调用`Outer`的`Drop`实现
    // 进而调用`Inner`的`Drop`实现
}

你可以使用以下方式测试：

fn main() {
    let file = File::create("test.txt").expect("Failed to create file");
    let inner = Inner { file };
    let outer = Outer {
        data: "Some data".to_string(),
        inner,
    };
    take_ownership(outer);
    // 此时`outer`已被转移到`take_ownership`函数中，离开当前作用域
    // 会触发资源清理
}

在上述代码中，Inner结构体持有文件句柄资源，Outer结构体持有Inner结构体以及自身的字符串数据。当Outer结构体的实例离开其作用域（如通过函数参数传递后函数结束），Outer的Drop实现会被调用，在Outer的Drop实现过程中，会自动调用Inner的Drop实现，确保文件句柄和其他相关资源被正确释放。

星途面试题库

面试题：Rust Drop特型与所有权转移在复杂场景下的资源管理

知识考点

面试题答案