面试题：Rust析构函数与所有权系统的交互关系

Rust所有权系统基础：
- Rust的所有权系统是其内存安全的核心机制。每个值都有一个变量作为其所有者，在同一时间内，一个值只能有一个所有者。当所有者变量超出作用域时，该值所占用的资源会被自动释放。
析构函数（Drop Trait）：
- 在Rust中，析构函数是通过Drop trait实现的。当一个值要被释放时（通常是其所有者变量超出作用域），Drop trait的drop方法会被调用，用于执行释放资源等清理操作。
代码示例：

struct MyStruct {
    data: String,
}

impl Drop for MyStruct {
    fn drop(&mut self) {
        println!("Dropping MyStruct with data: {}", self.data);
    }
}

fn main() {
    {
        let s = MyStruct {
            data: String::from("Hello, Rust!"),
        };
        // 当`s`变量超出这个块的作用域时，`MyStruct`的析构函数`drop`会被调用
    }
    // 这里`s`已经不存在，其占用的资源（包括`data`的内存）已被释放
}

所有权转移和析构函数调用过程：
- 在上述代码中，s是MyStruct实例的所有者。当let s = MyStruct {... };执行时，MyStruct实例被创建并由s拥有。
- 当s超出其所在块的作用域时，Rust的所有权系统判定该实例不再被使用。于是，MyStruct实现的Drop trait中的drop方法被自动调用，打印出Dropping MyStruct with data: Hello, Rust!，这意味着资源被正确清理。
- 如果在作用域内发生所有权转移，例如将s作为参数传递给一个函数，那么新的接收者会成为所有者。当新所有者超出其作用域时，析构函数才会被调用。例如：

struct MyStruct {
    data: String,
}

impl Drop for MyStruct {
    fn drop(&mut self) {
        println!("Dropping MyStruct with data: {}", self.data);
    }
}

fn take_ownership(s: MyStruct) {
    // `s`在这个函数结束时超出作用域，析构函数被调用
}

fn main() {
    let s = MyStruct {
        data: String::from("Hello, Rust!"),
    };
    take_ownership(s);
    // 这里`s`已经转移了所有权，不再有效，`MyStruct`的析构函数在`take_ownership`函数结束时调用
}

在这个例子中，s的所有权被转移到take_ownership函数中的参数s。当take_ownership函数结束，函数内的s超出作用域，MyStruct的析构函数被调用。

星途面试题库

面试题：Rust析构函数与所有权系统的交互关系

知识考点

面试题答案