Drop

drop.md

commit bd8d27beb54ef2a7bb4162d43006792f9ceae361

现在我们讨论了 trait,让我们看看一个由 Rust 标准库提供的特殊 trait,Drop。Drop trait 提供了一个当一个值离开作用域后运行一些代码的方法。例如:

1. struct HasDrop;

3. impl Drop for HasDrop {
4. fn drop(&mut self) {
5. println!("Dropping!");
6. }
7. }

9. fn main() {
10. let x = HasDrop;

12. // Do stuff.

14. } // `x` goes out of scope here.

当在main()的末尾x离开作用域的时候,Drop的代码将会执行。Drop有一个方法,他也叫做drop()。它获取一个self的可变引用。

就是这样!Drop的机制非常简单,不过这有一些细节。例如,值会以与它们声明相反的顺序被丢弃(dropped)。这是另一个例子:

1. struct Firework {
2. strength: i32,
3. }

5. impl Drop for Firework {
6. fn drop(&mut self) {
7. println!("BOOM times {}!!!", self.strength);
8. }
9. }

11. fn main() {
12. let firecracker = Firework { strength: 1 };
13. let tnt = Firework { strength: 100 };
14. }

这会输出:

1. BOOM times 100!!!
2. BOOM times 1!!!

tnt在firecracker之前离开作用域(原文大意:TNT 在爆竹之前爆炸),因为它在之后被声明。后进先出。

那么Drop有什么好处呢?通常来说,Drop用来清理任何与struct关联的资源。例如,Arc<T>类型是一个引用计数类型。当Drop被调用,它会减少引用计数,并且如果引用的总数为0,将会清除底层的值。