Rust程式設計核心概念：資料表示、所有權與記憶體管理

– 12 分鐘閱讀

Rust 的核心概念包含所有權、借用和生命週期，這些機制確保了記憶體安全和效率，無需垃圾回收。本文涵蓋了 Rust 的基本語法，如迴圈、條件判斷和函式定義，也深入探討了更進階的主題，例如泛型、特徵和列舉。此外，文章也介紹瞭如何在 Rust 中使用第三方函式庫、管理工具鏈、處理命令列引數和檔案讀寫。更進一步，文章還探討瞭如何使用 Rust 進行系統程式設計，包含資料的表示方式、位元模式、整數生命週期、指標操作和記憶體分配等議題，並以曼德博集合渲染、grep-lite 工具開發和 CPU 模擬等實際案例，展現 Rust 在處理複雜系統程式設計任務的優勢。

迴圈與條件判斷

Rust提供了多種迴圈結構，包括while、loop和for，用於控制程式的流程。其中，while迴圈會持續執行直到條件為假，而loop迴圈則會無限執行直到遇到break陳述式。

While迴圈

While迴圈的基本語法是while 條件 { 程式碼 }，其中條件是布林值（Boolean），如果條件為真，則執行程式碼。如果條件為假，則離開迴圈。

Loop迴圈

Loop迴圈的基本語法是loop { 程式碼 }，它會無限執行直到遇到break陳述式。可以使用break陳述式來離開迴圈。

If和If Else陳述式

If陳述式用於根據條件執行不同的程式碼。基本語法是if 條件 { 程式碼 }，如果條件為真，則執行程式碼。如果條件為假，則不執行程式碼。

If Else陳述式用於根據條件執行不同的程式碼。基本語法是if 條件 { 程式碼 } else { 程式碼 }，如果條件為真，則執行第一個程式碼，如果條件為假，則執行第二個程式碼。

Match陳述式

Match陳述式用於根據值執行不同的程式碼。基本語法是match 值 { 模式 => 程式碼,... }，其中模式可以是值、範圍或是繫結變數。

函式定義

函式是可重複使用的程式碼塊，可以接受引數和傳回值。基本語法是fn 函式名稱(引數) -> 傳回值 { 程式碼 }。

參照和借用

參照是指向某個值的指標，可以用來間接存取值。借用是指暫時使用某個值，而不改變其所有權。

專案：渲染曼德博集合

曼德博集合是一個著名的分形，可以使用Rust來渲染。

進階函式定義

明確生命週期註記

生命週期註記用於指定引數和傳回值的生命週期。

泛型函式

泛型函式可以接受任意型別的引數和傳回值。

建立grep-lite

Grep-lite是一個簡單的文字搜尋工具，可以使用Rust來實作。

列表和陣列

陣列是固定大小的集合，可以用來儲存多個值。切片是陣列的一部分，可以用來儲存多個值。向量是動態大小的集合，可以用來儲存多個值。

陣列

陣列的基本語法是let 陣列 = [值1, 值2,...];。

切片

切片的基本語法是let 切片 = &陣列[..];。

向量

向量的基本語法是let 向量 = vec![值1, 值2,...];。

以上內容簡要介紹了Rust程式設計的基礎知識，包括迴圈、條件判斷、函式定義、參照和借用等。同時也介紹了進階函式定義、建立grep-lite和列表與陣列等主題。

使用Rust語言進行開發

在Rust開發中，我們經常需要使用第三方函式庫來簡化開發過程。下面，我們將介紹如何在Rust中新增第三方函式庫的支援。

新增第三方函式庫支援

首先，我們需要在Cargo.toml檔案中新增第三方函式庫的依賴項。例如，要新增對正規表示式的支援，我們可以新增如下程式碼：

[dependencies]
regex = "1"

然後，我們可以使用cargo build命令來構建專案，並將第三方函式庫包含在內。

生成第三方函式庫檔案

有時候，我們需要檢視第三方函式庫的檔案以瞭解其使用方法。Rust提供了一個方便的方法來生成第三方函式庫的檔案，即使用cargo doc命令。這個命令可以生成第三方函式庫的檔案，並儲存在本地。

管理Rust工具鏈

Rust提供了一個工具叫做rustup，用於管理Rust工具鏈。使用rustup，我們可以輕鬆地安裝、更新和管理不同的Rust版本。

支援命令列引數

在Rust中，我們可以使用std::env模組來取得命令列引數。例如：

use std::env;

fn main() {
    let args: Vec<String> = env::args().collect();
    println!("{:?}", args);
}

這段程式碼可以取得命令列引數，並將其列印預出來。

從檔案中讀取

Rust提供了一個方便的方法來從檔案中讀取資料，即使用std::fs模組。例如：

use std::fs::File;
use std::io::Read;

fn main() {
    let mut file = File::open("example.txt").unwrap();
    let mut contents = String::new();
    file.read_to_string(&mut contents).unwrap();
    println!("{}", contents);
}

這段程式碼可以從檔案中讀取資料，並將其列印預出來。

從stdin中讀取

Rust提供了一個方便的方法來從stdin中讀取資料，即使用std::io模組。例如：

use std::io;

fn main() {
    let mut input = String::new();
    io::stdin().read_line(&mut input).unwrap();
    println!("{}", input);
}

這段程式碼可以從stdin中讀取資料，並將其列印預出來。

合成資料型別

在Rust中，我們可以使用合成資料型別來定義複雜的資料結構。下面，我們將介紹如何使用合成資料型別。

使用簡單函式來實驗API

在Rust中，我們可以使用簡單函式來實驗API。例如：

fn add(a: i32, b: i32) -> i32 {
    a + b
}

fn main() {
    println!("{}", add(2, 3));
}

這段程式碼定義了一個簡單函式add，並使用它來計算兩個整數的和。

使用struct來模擬檔案

在Rust中，我們可以使用struct來模擬檔案。例如：

struct File {
    name: String,
    content: String,
}

fn main() {
    let file = File {
        name: String::from("example.txt"),
        content: String::from("Hello, world!"),
    };
    println!("{}", file.name);
    println!("{}", file.content);
}

這段程式碼定義了一個struct File，並使用它來模擬檔案。

對struct新增方法

在Rust中，我們可以對struct新增方法。例如：

struct File {
    name: String,
    content: String,
}

impl File {
    fn new(name: String, content: String) -> File {
        File { name, content }
    }

    fn print(&self) {
        println!("{}", self.name);
        println!("{}", self.content);
    }
}

fn main() {
    let file = File::new(String::from("example.txt"), String::from("Hello, world!"));
    file.print();
}

這段程式碼對struct File增加了兩個方法：new和print。

簡化物件建立

在Rust中，我們可以簡化物件建立。例如：

struct File {
    name: String,
    content: String,
}

impl File {
    fn new(name: String, content: String) -> File {
        File { name, content }
    }
}

fn main() {
    let file = File::new(String::from("example.txt"), String::from("Hello, world!"));
    println!("{}", file.name);
    println!("{}", file.content);
}

這段程式碼簡化了物件建立，使用new方法建立物件。

傳回錯誤

在Rust中，我們可以傳回錯誤。例如：

use std::error::Error;

struct File {
    name: String,
    content: String,
}

impl File {
    fn new(name: String, content: String) -> Result<File, Box<dyn Error>> {
        if name.is_empty() {
            return Err(Box::new(std::io::Error::new(std::io::ErrorKind::Other, "Name is empty")));
        }
        Ok(File { name, content })
    }
}

fn main() {
    match File::new(String::from(""), String::from("Hello, world!")) {
        Ok(file) => println!("{}", file.name),
        Err(err) => println!("{}", err),
    }
}

這段程式碼傳回錯誤，使用Result型別和Box<dyn Error>型別。

Rust程式設計：管理狀態和行為

Rust是一種強大的程式設計語言，提供了許多功能來幫助開發者管理狀態和行為。其中，列舉（enum）和特徵（trait）是兩個重要的概念。

使用列舉管理內部狀態

列舉是一種用於定義一組命名值的方法。它可以用於管理內部狀態，例如一個物件的狀態。例如，以下是使用列舉定義一個簡單的狀態機器：

enum State {
    Started,
    Running,
    Stopped,
}

struct Machine {
    state: State,
}

impl Machine {
    fn new() -> Self {
        Machine { state: State::Started }
    }

    fn start(&mut self) {
        self.state = State::Running;
    }

    fn stop(&mut self) {
        self.state = State::Stopped;
    }
}

在這個例子中，列舉State定義了三個可能的狀態：Started、Running和Stopped。結構體Machine包含一個state欄位，型別為State。方法new、start和stop分別用於建立一個新的機器、啟動機器和停止機器。

定義共同行為以特徵

特徵是一種用於定義一組方法的方法。它可以用於定義共同行為，例如可讀性（readability）和可顯示性（displayability）。例如，以下是使用特徵定義一個簡單的可讀性特徵：

trait Readable {
    fn read(&self) -> String;
}

struct Book {
    title: String,
    content: String,
}

impl Readable for Book {
    fn read(&self) -> String {
        format!("{}: {}", self.title, self.content)
    }
}

在這個例子中，特徵Readable定義了一個方法read，傳回一個字串。結構體Book包含兩個欄位：title和content。方法read實作了特徵Readable，傳回書籍的標題和內容。

公開型別到世界

公開型別到世界可以使用pub關鍵字。例如：

pub struct Book {
    title: String,
    content: String,
}

這樣，型別Book就可以被其他模組使用了。

保護私有資料

保護私有資料可以使用私有欄位。例如：

struct Book {
    title: String,
    content: String,
}

impl Book {
    fn new(title: String, content: String) -> Self {
        Book { title, content }
    }

    fn get_title(&self) -> String {
        self.title.clone()
    }
}

在這個例子中，欄位title和content是私有的，只能透過方法new和get_title存取。

建立內聯檔案

內聯檔案可以使用Rustdoc建立。例如：

/// 一個簡單的書籍結構體
struct Book {
    /// 書籍標題
    title: String,
    /// 書籍內容
    content: String,
}

這樣，Rustdoc就可以生成書籍結構體的檔案了。

使用Cargo渲染檔案

Cargo可以用於渲染檔案。例如：

cargo doc

這樣，Cargo就會生成所有crate和其依賴項的檔案了。

深入理解系統程式設計：資料與所有權

在系統程式設計中，資料的表示和所有權是兩個非常重要的概念。資料的表示關乎如何以二進位制的形式儲存和操作資料，而所有權則關乎誰負責管理和釋放資料的記憶體空間。在本章中，我們將深入探討這兩個概念，並瞭解如何在實際程式設計中應用它們。

資料的表示：位元模式和型別

當我們在電腦中儲存資料時，無論是整數、浮點數還是字元，都需要將其轉換為二進位制的位元模式。位元模式是電腦用來表示資料的基本單位，它決定了資料在記憶體中的儲存方式和操作方法。不同的資料型別有不同的位元模式，例如整數通常使用補碼表示法，而浮點數則使用IEEE 754浮點數標準。

整數的生命週期

整數是一種常見的資料型別，它的生命週期從宣告開始，到被指定、運算，最後被釋放。瞭解整數的生命週期可以幫助我們更好地掌握資料的表示和操作。在宣告整數變數時，系統會為其分配記憶體空間；在指定時，整數的位元模式會被儲存到這塊記憶體空間中；在運算時，整數的位元模式會被讀取和修改；最後，在整數變數被釋放時，其記憶體空間會被回收。

解決所有權問題

在系統程式設計中，所有權是指誰負責管理和釋放資料的記憶體空間。當多個部分分享同一塊資料時，所有權問題就會出現。解決所有權問題的方法包括使用參照（reference）而不是複製資料、減少長期存活的值、複製值、以及使用特殊型別封裝資料等。

使用參照

使用參照可以避免複製資料，從而減少記憶體空間的浪費。參照是一個指向原始資料的指標，它允許多個部分分享同一塊資料而不需要複製。

減少長期存活的值

減少長期存活的值可以減少記憶體空間的佔用。長期存活的值是指那些存活時間較長的變數或物件，它們會佔用記憶體空間直到被釋放。

複製值

複製值可以建立一個新的、獨立的資料副本，這樣每個部分就可以對自己的副本進行操作而不影響其他部分。

封裝資料

使用特殊型別封裝資料可以提供額外的安全性和控制。封裝資料可以防止未經授權的存取和修改，從而保護資料的完整性。

內容解密：

上述流程圖描述了整數變數從宣告到釋放的生命週期。首先，宣告整數變數時，系統會為其分配記憶體空間；然後，在指定時，整數的位元模式會被儲存到這塊記憶體空間中；接下來，在運算時，整數的位元模式會被讀取和修改；最後，在整數變數被釋放時，其記憶體空間會被回收。

  flowchart TD
    A[使用參照] --> B[分享資料]
    B --> C[減少記憶體空間浪費]
    C --> D[提高程式安全性]

圖表翻譯：

上述流程圖描述了使用參照的優點。使用參照可以允許多個部分分享同一塊資料，而不需要複製資料，這樣可以減少記憶體空間的浪費；同時，使用參照也可以提高程式的安全性，因為它可以防止未經授權的存取和修改。

5.3 十進位制數字的表示

十進位制數字是日常生活中最常用的數字系統，但在電腦科學中，十進位制數字的表示方式與二進位制數字有所不同。電腦使用二進位制數字進行運算，因此十進位制數字需要被轉換成二進位制數字才能被電腦理解。

5.4 浮點數

浮點數是一種用於表示非常大或非常小的數字的數字格式。浮點數由三部分組成：符號位、指數和尾數。符號位用於表示數字的正負，指數用於表示數字的大小，尾數用於表示數字的小數部分。

檢視 f32 浮點數

f32 是一種 32 位元的浮點數格式，每個 f32 浮點數都由 32 個二進位制位元組成。檢視 f32 浮點數的內部結構，可以看到它由符號位、指數和尾數三部分組成。

分離符號位

符號位是浮點數的第一個位元，用於表示數字的正負。如果符號位為 0，則表示數字為正，如果符號位為 1，則表示數字為負。

分離指數

指數是浮點數的第二部分，用於表示數字的大小。指數的值決定了浮點數的範圍。

分離尾數

尾數是浮點數的第三部分，用於表示數字的小數部分。尾數的值決定了浮點數的精確度。

解析浮點數

解析浮點數需要將其分解成符號位、指數和尾數三部分。透過瞭解這三部分的值，可以完全瞭解浮點數的內部結構和其所代表的值。

5.5 固定點數格式

固定點數格式是一種用於表示整數和小數的數字格式。固定點數格式由兩部分組成：整數部分和小數部分。整數部分用於表示整數，小數部分用於表示小數。

5.6 從隨機 byte 生成隨機機率

隨機 byte 可以用於生成隨機機率。透過對隨機 byte 進行一定的運算，可以生成一個介於 0 和 1 之間的隨機機率值。

5.7 實作 CPU 以證明函式也是資料

CPU 是電腦的核心元件，負責執行指令和運算。透過實作 CPU，可以證明函式也是資料的一種形式。CPU 的實作涉及到指令的設計、運算的實作和資料的儲存等方面。

CPU RIA/1：加法器

加法器是 CPU 中的一個基本元件，負責執行加法運算。透過實作加法器，可以瞭解 CPU 的基本工作原理。

CPU RIA/2：乘法器

乘法器是 CPU 中的一個基本元件，負責執行乘法運算。透過實作乘法器，可以瞭解 CPU 的基本工作原理。

CPU RIA/3：呼叫器

呼叫器是 CPU 中的一個基本元件，負責執行函式呼叫。透過實作呼叫器，可以瞭解 CPU 的基本工作原理。

CPU 4：新增其餘部分

新增其餘部分是 CPU 實作的一個重要步驟，涉及到指令的設計、運算的實作和資料的儲存等方面。

6 記憶體

記憶體是電腦中用於儲存資料的元件。記憶體可以分為內部記憶體和外部記憶體兩種。

6.1 指標

指標是一種用於儲存記憶體地址的變數。指標可以用於存取記憶體中的資料，並且可以用於實作陣列和結構等資料結構。

探索 Rust 的參照和指標型別

Rust 的記憶體管理是其設計的核心部分之一。瞭解 Rust 的參照和指標型別對於開發高效、安全的程式碼至關重要。在本文中，我們將深入探討 Rust 的指標生態系統，包括原始指標、智慧指標以及記憶體分配的基本原理。

從系統程式設計的底層機制到高階應用，本文深入探討了Rust的核心概念，包括迴圈與條件判斷、函式定義、參照與借用、錯誤處理、集合型別以及更進階的議題如生命週期、泛型、特徵與列舉。透過曼德博集合與grep-lite等專案例項，展現了Rust在處理複雜問題時的優雅與高效。然而，Rust的學習曲線較陡峭，所有權和借用系統對初學者而言是一大挑戰，需要更深入的理解和實踐才能有效運用。對於追求效能和記憶體安全的系統級開發，Rust無疑是強而有力的工具，但開發者需謹慎處理所有權和生命週期，避免潛在的記憶體洩漏或懸空指標等問題。展望未來，隨著社群的蓬勃發展和工具鏈的日益完善，Rust的應用範圍將持續擴大，尤其在嵌入式系統、WebAssembly和高效能運算等領域，Rust將扮演 increasingly critical 的角色。 綜觀其發展趨勢，掌握Rust的核心概念和最佳實踐，對於系統程式設計師而言將是提升競爭力的關鍵。

玄貓

玄貓

技術愛好者，專注於分享程式開發、雲端技術與 AI 應用的心得體會。