是否设置选项实例从一些到无触发删除内部值？

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`?
    };
}

foos占用的资源是否得到适当释放？

第一种情况（变量被覆盖）不会触发删除，所以我添加了第二种情况，在这种情况下我也很困惑。

Answer 1

除非您明确地将变量名记为。，否则当作用域结束时，它将被删除。

在您的情况下，当相关范围结束时，变量将被释放。

因为您显式地实现了Drop的特性。它将覆盖drop行为并调用您的drop函数：

fn main() {
    let _: Option<Foo> = Some(Foo::default()); // Since variable name is '_' it will be dropped automatically.

    {
        let foo: Option<Foo> = Some(Foo::default());
        let foo: Option<Foo> = None;
        println!("Inner Scope Finishing. Going to drop inner scope variables.");
    } // Inner scope is finished dropping the inner scope variables.

    let main_foo: Option<Foo> = Some(Foo::default());
    let main_foo: Option<Foo> = None;
    println!("Main Scope Finishing. Going to drop main scope variables.");
} // Main is finished dropping the main scope variables

操场上展示的行为。

Answer 2

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

不，街区的尽头会。

请记住，let是一个变量声明，因此第二行不是修改第一行的foo，而是创建一个新的foo，将前者隐藏起来。但它仍然存在（如果在第二个let之前创建了对它的引用，则可以访问它），直到块结束，因此它将在块结束时被删除。

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

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

现在它将立即触发删除，因为旧值被覆盖，所以它必须删除它。