rust - 何时为不再拥有的资源回收存储？

Question

在下面程序的第 2 行中分配了一个向量资源。当程序结束时，向量资源不属于自己。如果一个资源根本不拥有，它什么时候被回收？是否有使用 Rust 所有权语义和生命周期术语的解释，可以让程序员相信该资源确实被回收了？

fn main() {
    let mut v = vec![1,2];
    v = vec![3, 4];
}

Answer 1

[无主资源] 何时被回收？

在 Rust 术语中，一个项目在超出范围时被删除，这通常（但不总是）对应于块的结尾。当它被丢弃时，属于该项目的任何资源也会被释放。

资源可以表示内存，就像在向量示例中一样，但它也可以对应于其他事物，例如文件句柄或锁。这通常称为资源获取即初始化 (RAII)。

说服程序员这个资源确实被回收了？

你永远无法说服一个真正不想相信的人^_^。但是，您可以Drop自己实现以查看项目何时被丢弃：

struct NoisyDrop(u8);

impl Drop for NoisyDrop {
    fn drop(&mut self) {
        println!("Number {} being dropped", self.0);
    }
}

fn main() {
    println!("step 1");
    let mut nd = NoisyDrop(1);
    println!("step 2");
    nd = NoisyDrop(2);
    println!("step 3");
}

这将有输出

step 1
step 2
Number 1 being dropped
step 3
Number 2 being dropped

您可以看到第一个变量在其绑定被替换时被删除，因为不再有任何方法可以获取该NoisyDrop(1)值。由于方法结束，第二个变量超出范围时将被删除。

所有权语义和生命周期

考虑这个例子：

fn main() {
    let mut v = vec![1];
    v = vec![2];
}

从概念上讲，它可以写成

fn main() {
    {
        let v = vec![1];
    }
    {
        v = vec![2];
    }
}

而这个例子

fn main() {
    let v1 = vec![1];
    let v2 = vec![2];
}

可以改写为

fn main() {
    {
        let v1 = vec![1];
        {
            let v2 = vec![2];
        }
    }
}

这些重写显示了每个变量的生命周期。每当您使用泛型生命周期参数调用方法时，块的生命周期将是替换'a泛型的具体值。