如果 Rust 没有被垃圾回收，那么内存是如何清理/释放的？ [复制]

Question

我在 rust 中看到了一个名为 drop(T) 的构建函数，基本上，它会移动给定的变量。

假设我们有如下代码：

struct Obj {
    a: i32,
}

impl Drop for Obj {
    fn drop(&mut self) {
        println!("> Dropping {}", self.a);
    }
}

fn main() {
    let mut m = &Obj { a: 5 };

    m = &Obj { a: 6 };
    m = &Obj { a: 7 };
    m = &Obj { a: 8 };

    let t = thread::spawn(|| {
        for i in 0..5 {
            println!("Counting {}", i);
            thread::sleep(Duration::from_secs_f32(1.0));
        }
    });
    t.join().unwrap();
}

结果是：

> Dropping 6
> Dropping 7
> Dropping 8
Counting 0
Counting 1
Counting 2
Counting 3
Counting 4
> Dropping 5

由于结果显示刚辞职后6到8就被收集了，所以起源5一直持续到main结束。为什么一开始就没有收集到 5？

Answer 1

我认为编译器会插入这样的代码

fn main() {
    let mut _1 = Obj { a: 5 };
    let mut m = &_1;
    let mut _2 = Obj { a: 6 };
    m = &_2;

    drop(_1);
    drop(_2);
}

所以当退出 main 作用域时，原点 Obj 将下降

Answer 2

在范围结束后，范围内拥有的所有内容都将被删除（“清理”）。 在这种情况下，如果您想手动删除它，您可以，但需要将所有内容都明确显示给编译器：

struct Obj {
    a: i32,
}

fn main() {
    let obj_a = Obj { a: 5 }; // get an owned object
    let mut a = &obj_a; // use a reference to the object
    a = &Obj { a: 6 }; // change to another object reference
    drop(obj_a); // drop the original OWNED object manually
}

Playground

原来的 Obj 会怎样？

在您的情况下，您无法访问对象的拥有版本，因此它只是在范围的末尾被删除。但是您始终可以将它放在一个变量中，您可以在需要的任何时候手动删除它。

如果Rust没有GC，如何手动清理？

在拥有数据上使用drop。

关于更新的示例：

为什么一开始没有收集到 5 个？

编译器足够聪明，有时可以预见到您并没有真正使用那里的任何东西。我的解释是它正在尝试优化代码。

检查如果您手动删除 5 obj 会发生什么。

use std::thread;
use std::time::Duration;


struct Obj {
    a: i32,
}

impl Drop for Obj {
    fn drop(&mut self) {
        println!("> Dropping {}", self.a);
    }
}

fn main() {
    let obj = Obj { a: 5 };
    let mut m = &obj;

    m = &Obj { a: 6 };
    drop(obj);
    m = &Obj { a: 7 };
    m = &Obj { a: 8 };

    let t = thread::spawn(|| {
        for i in 0..5 {
            println!("Counting {}", i);
            thread::sleep(Duration::from_secs_f32(1.0));
        }
    });
    t.join().unwrap();
}

Playground

Answer 3

Rust 所有权负责对象的生命周期。它在超出范围时被释放，除非moved 意味着释放它的责任传递给另一个范围。

尝试将Drop Traits 添加到您的对象以查看它何时被释放。

进一步阅读，

• Smart Pointer
• Ownership
• ARC