大家好，我是漁夫。

今天分享主題，復(fù)習(xí) Rust 的所有權(quán)，并通過簡單例子說明。

Rust 的所有權(quán)系統(tǒng)很獨(dú)特，它實(shí)現(xiàn)了無需垃圾收集器的內(nèi)存管理。在 Rust 中，程序員無需手動管理內(nèi)存，Rust 的編譯器會在代碼執(zhí)行前會確保內(nèi)存的正確分配和釋放，從而提高程序的運(yùn)行效率。

Rust 的所有權(quán)大概遵循三個規(guī)則：

• 單一所有權(quán)：在任何時刻，一個值只能有一個所有者。這意味著一旦值被轉(zhuǎn)移給另一個變量，原變量就失去了對該值的所有權(quán)，不能再對其進(jìn)行操作。
• 值所有權(quán)：每個值都有一個明確的所有者，即一個變量。當(dāng)這個變量超出作用域時，其擁有的值會被自動銷毀，釋放內(nèi)存。
• 作用域規(guī)則：值的生命周期限定在其作用域內(nèi)。當(dāng)作用域結(jié)束時，如果值的所有權(quán)沒有被轉(zhuǎn)移，那么這個值會被自動清理。

例子：

fn main() {
    let name = String::from("程序員漁夫");
    move_ownership(name); // 所有權(quán)轉(zhuǎn)移
    println!("Hello {}", name); // 這將導(dǎo)致編譯錯誤，因為name已經(jīng)不再有效
}

fn move_ownership(new_name: String) {
    println!("Welcome {}", new_name);
}

在例子中，name的所有權(quán)在move_ownership函數(shù)調(diào)用時被轉(zhuǎn)移給了new_name。一旦轉(zhuǎn)移，main函數(shù)中的name變量就不再有效，當(dāng)你打印那條語句name會導(dǎo)致編譯錯誤。

如果使用 Python 語言，變量的復(fù)制會創(chuàng)建一個新的引用，并將其傳遞給函數(shù)，而原始變量仍然保持有效。垃圾收集器負(fù)責(zé)管理內(nèi)存，確保不再使用的對象被及時回收。

講到 Rust 所有權(quán)模型，還會涉及到非常重要的概念，變量的作用域。一個變量的作用域定義了它的生命周期，當(dāng)作用域結(jié)束時，變量的所有權(quán)結(jié)束，內(nèi)存被釋放。

例子：

fn main() {
 // main_variable 從這里開始它的作用域
    let main_variable = "I am in the main scope"; 

    {
     // inner_variable 從這里開始它的作用域
        let inner_variable = "I am in the inner scope"; 
        println!("Inside inner scope: {}", inner_variable);
        // inner_variable 在這個作用域內(nèi)是可見的
    } // 當(dāng)這個內(nèi)部作用域結(jié)束時，inner_variable 的生命周期結(jié)束，它的內(nèi)存被釋放

 // main_variable 仍然有效，因為它的作用域還沒有結(jié)束
    println!("Outside inner scope: {}", main_variable); 
                                     
} // 當(dāng) main 函數(shù)結(jié)束時，main_variable 的生命周期結(jié)束

在 Rust 中，變量之間的交互可以通過所有權(quán)轉(zhuǎn)移或值復(fù)制來實(shí)現(xiàn)。對于實(shí)現(xiàn)了 Copy trait 的類型（例如整數(shù)），Rust 會執(zhí)行值復(fù)制。而對于不實(shí)現(xiàn) Copy trait 的類型（例如字符串），Rust 會執(zhí)行所有權(quán)轉(zhuǎn)移，因為這些類型通常存儲在堆上，復(fù)制堆上的數(shù)據(jù)可能導(dǎo)致內(nèi)存問題，如雙重釋放等錯誤。

Rust 的所有權(quán)模型提供了一種在編譯時確保內(nèi)存安全的方法，避免了垃圾收集器可能引入的性能開銷。有了所有權(quán)，Rust 在需要高性能和內(nèi)存安全的應(yīng)用中都受到了廣大開發(fā)者的選擇。