大家好，我是漁夫。

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

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

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

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

例子：

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

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

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

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

講到 Rust 所有權(quán)模型，還會(huì)涉及到非常重要的概念，變量的作用域。一個(gè)變量的作用域定義了它的生命周期，當(dāng)作用域結(jié)束時(shí)，變量的所有權(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 在這個(gè)作用域內(nèi)是可見的
    } // 當(dāng)這個(gè)內(nèi)部作用域結(jié)束時(shí)，inner_variable 的生命周期結(jié)束，它的內(nèi)存被釋放

 // main_variable 仍然有效，因?yàn)樗淖饔糜蜻€沒有結(jié)束
    println!("Outside inner scope: {}", main_variable); 
                                     
} // 當(dāng) main 函數(shù)結(jié)束時(shí)，main_variable 的生命周期結(jié)束

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

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