rust - 将 Option 实例从 Some 设置为 None 会触发删除内部值吗？

Question

我有代码:

struct Foo {}

impl Default for Foo {
    fn default() -> Self {
        Self {}
    }
}

impl Drop for Foo {
    fn drop(&mut self) {
        // Do something
    }
}

fn main() {
    {
        let foo = Some(Foo::default());
        let foo = None; // Would this line trigger `Foo::drop`?
    };
    {
        let mut foo = Some(Foo::default());
        foo = None; // Would this line trigger `Foo::drop`?
    };
}

foo占用的资源是否被合理释放？

第一种情况(变量被覆盖)不会触发drop，所以加了第二种情况，我也是一头雾水。

Answer 1

let foo = Some(Foo::default());
let foo = None; // Would this line trigger `Foo::drop`?

不， block 的末尾会。

记住 let 是一个变量声明，所以第二行不是修改第一个 foo，而是创建一个新的 foo 隐藏了前者。但它仍然存在(如果您在第二个 let 之前创建对它的引用，则可以访问它)直到 block 的末尾，因此它将在 block 的末尾被丢弃。

如果你想真正改变变量，你必须这样做

let mut foo = Some(Foo::default());
foo = None;

现在它会立即触发丢弃，因为旧值正在被覆盖，所以它必须丢弃它。