Rust的Drop顺序

RAII

RAII（Resource Acquisition Is Initialization）原则是C++中的一种编程惯用法，旨在通过对象的生命周期来自动管理资源。这个原则的核心思想是：将资源（如内存、文件句柄、网络连接等）的获取和释放与对象的生命周期绑定在一起。

原则解释

Resource Acquisition（资源获取）：
- 当一个对象被创建时（即构造函数被调用时），该对象会获取所需的资源。这个资源可能是内存、文件描述符、互斥锁等等。
Initialization（初始化）：
- 获取资源的过程同时也是对象的初始化过程。资源的获取与对象的构造是同步发生的。
Resource Release（资源释放）：
- 当这个对象的生命周期结束（即析构函数被调用时），资源会自动释放。这个释放过程是由析构函数负责的。

通过这种方式，资源管理变得更加安全和自动化，避免了资源泄露的风险，也减少了编写复杂资源管理代码的需求。

Rust的drop特性很容易实现RAII，也很有用，如果我们遵循这种开发范式，封装时考虑分配和释放时该做什么，而使用资源时就只用关注其生命周期了，不得不说，很方便。

下面主要分析下Rust中不同定义变量的drop顺序：

struct中的变量
局部变量

结构体

struct A {}
impl Drop for A {
    fn drop(&mut self) {
        println!("A Drop");
    }
}

struct B {}
impl Drop for B {
    fn drop(&mut self) {
        println!("B Drop");
    }
}

struct C {
    a: A,
    b: B,
}
impl Drop for C {
    fn drop(&mut self) {
        println!("C Drop");
    }
}

fn main() {
    let _c = C { a: A {}, b: B {} };
    println!("end");
}

执行后我们可以看到结果:

end
C Drop
A Drop
B Drop

结论：

结构体drop时会先执行结构体本身的drop，然后执行成员变量的drop
结构体内成员变量的drop顺序和定义顺序相同

局部

局部变量有四种定义方式

fn main() {
    // 1、使用下划线接收
    let _ = A {};
    // 2、不接收
    B {};
    // 3、使用下划线加变量名接收
    let _c = C {};
    // 4、正常接收
    let d = D {};
    println!("end");
}

我们执行后可以看到输出:

A Drop
B Drop
end
D Drop
C Drop

我们可以得出结论：

1、drop顺序和局部变量的定义顺序相反，类似于栈，先定义后drop，这里与结构体的成员drop顺序不一样。

2、不接收返回值或者用”_”接收返回值，则作用域只在该语句，会在执行完后立即drop。

3、正常定义变量和使用下划线加变量名定义时，drop顺序和结论1一致。

总结

Q：rust为什么局部变量的drop顺序与定义顺序相反，结构体内成员drop顺序和定义顺序相同？

A：在Rust中，变量的销毁（drop）顺序设计遵循了两种不同的规则，以确保资源管理的正确性和避免潜在的逻辑错误

局部变量的drop顺序：局部变量的drop顺序是与定义顺序相反的。这个设计的目的是为了确保当一个变量依赖于其他变量时，依赖者先被销毁。例如：

struct Resource {
    name: String,
}

impl Drop for Resource {
    fn drop(&mut self) {
        println!("Dropping {}", self.name);
    }
}

fn main() {
    let res1 = Resource { name: String::from("res1") };
    let res2 = Resource { name: String::from("res2") };
    // res2 will be dropped first, then res1
}

在这个例子中，res2 先于 res1 被销毁。这种逆序销毁机制确保了如果 res1 依赖于 res2 的资源，那么在 res1 被销毁之前 res2 仍然有效。这可以避免资源提前释放导致的逻辑错误。

结构体成员的drop顺序：结构体成员的drop顺序是与定义顺序相同的。即在结构体被销毁时，其成员会按照它们在结构体中定义的顺序依次被销毁。这种顺序保证了结构体在设计时的销毁顺序是可控的，并且在结构体的实现者眼中，这个顺序是直观且一致的。例如：

struct CompositeResource {
    res1: Resource,
    res2: Resource,
}

impl Drop for CompositeResource {
    fn drop(&mut self) {
        println!("Dropping CompositeResource");
    }
}

fn main() {
    let composite = CompositeResource {
        res1: Resource { name: String::from("res1") },
        res2: Resource { name: String::from("res2") },
    };
    // res1 will be dropped first, then res2
}

在这个例子中，res1 会先于 res2 被销毁，遵循其定义顺序。这与结构体的生命周期相关，开发者可以合理预期成员的销毁顺序，不会产生意外的行为。

总结一下，Rust设计这两种不同的drop顺序是为了更好地管理资源、确保安全性和行为的可预测性：局部变量的逆序销毁避免依赖问题，而结构体成员的顺序销毁则符合直观的结构体生命周期管理。

本文使用 markdown.com.cn 排版