Drop

我们现在可以创建一个栈，推入元素，弹出元素，甚至确认了一切都可以正常的工作！

我们需要担心列表元素的清理么？严格的说，根本不用！就像C++，Rust使用析构器来自动的处理使用完毕的资源。如果一个类型实现了叫做 Drop 的特性（Trait），它就拥有一个析构器。特性是Rust对接口的特别术语。Drop特性有如下的接口：

  1. pub trait Drop {
  2.     fn drop(&mut self);
  3. }

基本上是这个意思：“当对象退出作用域的时候，我会给你清理事务的第二次机会”。

如果你的类型里存放有实现了Drop的其他类型，而你想要调用它们的析构器，是不需要实际实现Drop的。对于List来说，我们想做的不过是把列表头丢弃，之后或许会接着丢弃一个Box<Node>。所有这些都会自动在一瞬间处理完成。

自动处理会很糟糕。

让我们考虑这个简单的列表。

  1. list -> A -> B -> C

当列表被丢弃时，它会先丢弃A，然后尝试丢弃B，然后会尝试丢弃C。现在你可能已经紧张起来了。这是递归代码，而递归代码会把栈爆掉！

  1. impl Drop for List {
  2.     fn drop(&mut self) {
  3.         // 注意：在实际Rust代码中你不能显式调用`drop`，
  4.         // 我们假装自己是编译器！
  5.         list.head.drop(); // 尾递归——好！
  6.     }
  7. }
  9. impl Drop for Link {
  10.     fn drop(&mut self) {
  11.         match list.head {
  12.             Link::Empty => {} // 完成！
  13.             Link::More(ref mut boxed_node) => {
  14.                 boxed_node.drop(); // 尾递归——好！
  15.             }
  16.         }
  17.     }
  18. }
  20. impl Drop for Box<Node> {
  21.     fn drop(&mut self) {
  22.         self.ptr.drop(); // 糟糕，不是尾递归！
  23.         deallocate(self.ptr);
  24.     }
  25. }
  27. impl Drop for Node {
  28.     fn drop(&mut self) {
  29.         self.next.drop();
  30.     }
  31. }

我们不能在释放内存之后再丢弃Box的内容，所以没有办法以尾递归的形式进行drop！作为替代，我们必须为List手动编写一个迭代drop，来把节点从box中拿出来。

  1. impl Drop for List {
  2.     fn drop(&mut self) {
  3.         let mut cur_link = mem::replace(&mut self.head, Link::Empty);
  4.         // `while let` == “在这个模式不匹配之前持续循环”
  5.         while let Link::More(mut boxed_node) = cur_link {
  6.             cur_link = mem::replace(&mut boxed_node.next, Link::Empty);
  7.             // boxed_node在这里退出作用域然后被丢弃；
  8.             // 但是其节点的`next`字段被设置为 Link::Empty
  9.             // 所以没有多层递归产生。
  10.         }
  11.     }
  12. }
  1. > cargo test
  2.    Compiling lists v0.1.0 (file:///Users/ABeingessner/dev/too-many-lists/lists)
  3.      Running target/debug/lists-5c71138492ad4b4a
  5. running 1 test
  6. test first::test::basics ... ok
  8. test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured
  10.    Doc-tests lists
  12. running 0 tests
  14. test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured

棒极了！