017 Rust死靈書之Drop標誌

本系列錄製的影片主要放在B站上Rust死靈書學習影片

Rust 死靈書相關的原始碼資料在github.com/anonymousGiga/Rustonomi...

變數每次被賦值或者離開作用域的時候，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 協議》，轉載必須註明作者和本文連結