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

Question

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

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

Answer 1

when does [an unowned resource] get reclaimed?

在 Rust 术语中，当项目超出范围时 dropped，这通常（但不总是）对应于块的末尾。当它被放下时，作为该项目一部分的任何资源也会被释放。

Resources 可以表示内存，如矢量示例中所示，但它也可以对应于其他内容，如文件句柄或锁。这通常称为资源获取即初始化 (RAII)。

convince a programmer that this resource is indeed reclaimed?

你永远无法说服真正不想相信的人^_^。但是，您可以自己实现 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) 值。第二个变量由于方法结束而超出范围时被删除。

ownership semantics and lifetimes

考虑这个例子：

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 泛型的具体值。

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

When is the storage reclaimed for a resource that is no longer owned?

rust

ownership-semantics