Rust 的文藝復興：為什麼全世界都在重寫基礎設施？

在瞬息萬變的軟體開發領域，新的程式語言就像時尚潮流一樣——曇花一現，五年後往往就被遺忘。但 **Rust** 不一樣。

Rust 最初只是 Mozilla 在 2006 年的一個附屬專案，於 2015 年發佈 1.0 版本。從那時起，它達成了一項統計學上幾乎不可能的成就：它已連續近十年在 *Stack Overflow 開發者調查* 中被票選為「最受推崇 (Most Admired)」的語言。

它不再只是「有潛力的替代品」，而已成為系統程式設計的新標準。從 Linux 核心到 Windows 內部組件，從瀏覽器的引擎到 AWS 的無伺服器 (Serverless) 功能，Rust 正在席捲全球。

但為什麼？是什麼讓這門語言值得如此大肆宣傳，更重要的是，值得我們花費心力去學習？

「價值兆元」的問題

要理解 Rust 的崛起，必須先理解其前輩們的失敗。四十年來，系統程式設計（建構作業系統、遊戲引擎、瀏覽器）一直由 **C** 和 **C++** 主導。

這些語言功能強大，但也非常危險。它們需要手動管理記憶體。如果程式設計師忘記釋放記憶體，就會導致洩漏 (Memory Leak)；如果重複釋放，或者在釋放後再次存取，就會導致「未定義行為 (Undefined Behavior)」。

> **現實檢驗：** 微軟 (Microsoft) 和 Google 都曾獨立報告指出，其產品中 **約 70% 的嚴重安全漏洞** 都是由記憶體安全問題引起的。

在過去，唯一的解決方案是使用 Java、Python 或 Go 等語言。這些語言使用 **垃圾回收器 (Garbage Collector, GC)**——這是一個背景程序，會自動為你管理記憶體。但代價是什麼？GC 會消耗額外的 RAM，並且會隨機暫停你的程式來清理垃圾，導致「卡頓」或延遲飆升。

**Rust 是這個二選一難題的解答。** 它提供了 C++ 的原始速度和控制力，同時具備 Java 的記憶體安全性，而且 *不需要* 垃圾回收器。

秘密武器：所有權 (Ownership) 與借用 (Borrowing)

Rust 如何在沒有垃圾回收器的情況下實現安全性？它將管理的負擔從 *執行時期 (Runtime)* 轉移到了 *編譯時期 (Compile time)*。

Rust 引入了一個新穎的概念叫做 **所有權 (Ownership)**，並由一個嚴格的編譯器組件 **借用檢查器 (Borrow Checker)** 來強制執行。

所有權三大法則

1. Rust 中的每一個值都有一個變數作為它的 **擁有者 (Owner)**。
2. 同一時間只能有 **一個** 擁有者。
3. 當擁有者超出作用域 (Scope) 時，該值將被 **丟棄 (Dropped)**（立即清理）。

如果你試圖以可能導致崩潰的方式將資料同時傳遞給兩個不同的函式，Rust 編譯器會拒絕建構你的程式碼。它會告訴你：*「我看到你想做什麼，但那樣不安全。」*

起初這讓人感到受限，但它在你的程式碼執行之前，就消除了整類 Bug（如懸空指標和資料競爭）。

開發者熱愛的功能

除了安全性，Rust 還提供了領先 C++ 數光年的現代開發體驗。

1. 沒有 Null，沒有例外 (Exceptions)

在許多語言中，`null` 值是一顆定時炸彈（通常被稱為「十億美元的錯誤」）。在程式崩潰之前，你永遠不知道變數是真的有值還是 `null`。

Rust 沒有 `null`。取而代之的是，它使用強大的型別系統 `Option` 和 `Result`。

• 如果一個值可能缺失，你 *必須* 將其包裝在 `Option` 中。
• 在編譯器允許你繼續之前，你 *必須* 處理值缺失的情況。

這迫使你預先處理錯誤，從而產出極其穩定的軟體。

2. 模式匹配 (Pattern Matching)

如果你來自 C 風格的語言，`switch` 語句會讓人覺得笨重。Rust 引入了 `match`，這是一個強大的控制流運算符，迫使你處理每一個可能的邏輯結果。

enum Status {
    Success(u32),
    Loading,
    Failed(String),
}
fn handle_request(status: Status) {
    match status {
        Status::Success(time) => println!("完成，耗時 {}ms！", time),
        Status::Loading => println!("請稍候..."),
        Status::Failed(err) => println!("錯誤：{}", err),
    }
}

如果你後來添加了一個新的狀態類型但忘記更新這個函式，Rust 將拒絕編譯，提醒你遺漏了一個案例。

3. Cargo：工具鏈的黃金標準

C++ 開發者經常花費數天時間與 makefile、連結器 (Linkers) 和依賴地獄搏鬥。Rust 用 **Cargo** 解決了這個問題。

• 安裝套件：** 在 `Cargo.toml` 中添加一行。
• 測試程式碼：** 執行 `cargo test`。
• 生成文件：** 執行 `cargo doc`。

這是一個「開箱即用」的統一已態系統，讓開發者專注於邏輯，而不是設定環境。

4. WebAssembly (Wasm) 的統治地位

由於 Rust 擁有極小的執行環境 (Runtime) 且手動管理記憶體，它是 **WebAssembly** 的完美語言——可以在網頁瀏覽器中執行高效能程式碼。像 Figma 和 Adobe Lightroom 等工具都大量使用 Rust (透過 Wasm) 將桌面級的效能帶入網頁。

學習曲線：「那座懸崖」

如果不提及痛點就讚美 Rust 是不誠實的。Rust **很難** 學。

當你剛開始時，你會與編譯器「打架」。你會寫出你看起來正確的程式碼，但「借用檢查器」會用關於「生命週期 (Lifetimes)」和「移動值 (Moving values)」的晦澀錯誤拒絕它。

這種現象被稱為「與借用檢查器搏鬥」。然而，大多數開發者表示，在練習約 4-6 週後，會突然「開竅」。你不再與編譯器對抗，並開始意識到編譯器實際上是在 *教導* 你。你開始從根本上理解記憶體是如何運作的。

產業採用：誰在使用它？

「用 Rust 重寫 (Rewrite it in Rust)」運動已經超越了網路迷因 (Meme)，進入了大規模的企業應用：

• Linux：
  在歷史性的一步中，Rust 被接納為 Linux 核心的第二官方語言（僅次於 C）。
  
  
• Android：
  Google 用 Rust 重寫了 Android 的藍牙堆疊和超寬頻 (Ultra-wideband) 堆疊。他們報告說，這些組件中的記憶體安全漏洞降至為零。
  
  
• Cloudflare：
  為了處理每天數十億次的請求，他們用 Rust 構建了整個 "Pingora" 代理基礎設施，理由是高效能和防崩潰安全性。
  
  
• Discord：
  著名的案例是將其 Read States 服務從 Go 轉移到 Rust。Go 的垃圾回收器每隔幾分鐘就會導致延遲飆升；Rust 完全解決了延遲問題。

結論

Rust 不僅僅是更好的 C++。它是一種思維模式的轉變。它挑戰了「軟體必須有 Bug 才能快」或「軟體必須慢才能安全」的觀念。

它需要前期投入時間和耐心。但作為回報，它賦予你超能力：能夠編寫出以金屬般速度運行、在執行緒之間擴展無所畏懼、並且運行數月而不崩潰的程式碼。

如果你是一位希望職業生涯不過時的開發者，或者是一家希望消除造成數百萬損失 Bug 的公司，答案越來越清晰：**是時候使用 Rust 了 (It’s time to rust)。**