告別記憶體洩漏:Rust 借用檢查器新手實戰入門

記憶體管理一直是 C/C++ 工程師的噩夢。Rust 的借用檢查器 (Borrow Checker) 徹底改變了遊戲規則，它在編譯時就消除了許多常見的記憶體錯誤，例如 dangling pointer 和 data race。這篇文章將以實戰範例，帶領你一步步理解 Rust 借用檢查器的核心概念，讓你不再害怕記憶體洩漏。

上週我看到一則新聞，一位經驗豐富的 C++ 工程師，因為一個記憶體洩漏，花了一整週的時間 debug。真的假的？在 2024 年，還有人為了記憶體管理傷透腦筋？這讓我想到，Rust 的出現，或許就是為了解決這些問題。

Rust 的核心理念之一就是「零成本抽象」。它希望提供與 C/C++ 相似的效能，同時具備更高的安全性。而實現這一點的關鍵，就是它的借用檢查器。

什麼是借用檢查器？

簡單來說，借用檢查器是一組在編譯時運行的規則，它會追蹤程式中所有資料的擁有權 (ownership) 和借用 (borrowing)。它確保:

每個資料都有一個擁有者。
在任何時候，只能有一個可變的借用 (mutable borrow)。
借用不能超過擁有者的生命週期 (lifetime)。

聽起來有點抽象？別擔心，我們用一個簡單的例子來說明。

fn main() {
let s = String::from("hello"); // s 擁有字串資料

let r1 = &s; // r1 借用 s (不可變)
let r2 = &s; // r2 借用 s (不可變)

println!("{} and {}", r1, r2);

// let r3 = &mut s; // 這行會編譯錯誤！因為 s 已經被不可變借用
}

在這個例子中，s 擁有字串資料。r1 和 r2 都是對 s 的不可變借用。借用檢查器允許同時存在多個不可變借用，因為它們不會修改資料。但是，如果我們嘗試創建一個可變借用 r3，編譯器就會報錯，因為這會違反「在任何時候，只能有一個可變的借用」的規則。

所有權移動 (Ownership Transfer)

除了借用之外，Rust 還有一個重要的概念叫做所有權移動。當一個變數被賦值給另一個變數時，所有權可以被移動。

fn main() {
let s1 = String::from("hello");
let s2 = s1; // s1 的所有權移動到 s2

// println!("{}", s1); // 這行會編譯錯誤！因為 s1 已經失去了所有權
println!("{}", s2);
}

在這個例子中，當 s1 被賦值給 s2 時，s1 的所有權移動到了 s2。因此，s1 變成了無效的變數，我們不能再使用它。

生命週期 (Lifetimes)

生命週期是指一個借用有效存續的時間。借用檢查器會確保借用不能超過擁有者的生命週期。

fn main() {
let reference_to_nothing = dangle();
println!("{}", reference_to_nothing); // 這行會編譯錯誤！
}

fn dangle() -> &String {
let s = String::from("hello");
&s // 返回一個指向 s 的引用，但 s 在函數結束時會被釋放
}

在這個例子中，dangle 函數返回一個指向 s 的引用。但是，s 在函數結束時會被釋放，因此這個引用就變成了一個 dangling pointer。借用檢查器會檢測到這種情況，並在編譯時報錯。

實戰技巧:解決借用檢查器的錯誤

遇到借用檢查器的錯誤時，不要害怕！仔細閱讀錯誤訊息，它通常會告訴你問題所在。以下是一些常見的解決方案: