介绍

本系列录制的视频主要放在B站上Rust死灵书学习视频

Rust 死灵书相关的源码资料在github.com/anonymousGiga/Rustonomi...

drop标志

变量每次被赋值或者离开作用域的时候，Rust 都需要判断是否要调用析构函数。在有条件地初始化的情况下，Rust 是如何做到这一点的呢？

Rust 实际上是在运行期判断是否销毁变量。当一个变量被初始化和反初始化时，变量会更新它的”drop 标志 “的状态。通过解析这个标志的值，判断变量是否真的需要执行 drop。

#[derive(Debug)]

struct Droppable {
    name: &'static str,
}

impl Drop for Droppable {
    fn drop(&mut self) {
        println!("> Dropping {}", self.name);
    }
}

fn main() {
    let a = Droppable { name: "a" }; //a未初始化，仅仅覆盖值

    let b = a; //b未初始化，仅仅覆盖值
    let mut c = Droppable { name: "c" };
    println!("c = {:#?}", c);

    c = b; //c已经初始化，需要调用drop函数，再覆盖值
    println!("c = {:#?}", c);

    println!("Hello, world!");
    //离开花括号，调用a的析构函数
}

本作品采用《CC 协议》，转载必须注明作者和本文链接