rust程式設計(6)枚舉與模式匹配

来源:https://www.cnblogs.com/azoux/archive/2023/11/19/17842184.html
-Advertisement-
Play Games

rust中的枚舉有什麼用?枚舉可以嵌入類型的好處是什麼 你可以在同一個枚舉中既有單個值,也有元組或結構體。 枚舉的每個變體可以擁有不同數量和類型的關聯數據。 這增加了類型的靈活性和表達力,使你能夠更精確地建模你的數據。 我知道rust可以為枚舉創建方法,那在哪種場景下枚舉會比結構體會有優勢 表示多個 ...


rust中的枚舉有什麼用?枚舉可以嵌入類型的好處是什麼

  • 你可以在同一個枚舉中既有單個值,也有元組或結構體。
  • 枚舉的每個變體可以擁有不同數量和類型的關聯數據。
  • 這增加了類型的靈活性和表達力,使你能夠更精確地建模你的數據。

我知道rust可以為枚舉創建方法,那在哪種場景下枚舉會比結構體會有優勢

  • 表示多個互斥狀態
  • 封裝多種不同的類型,並且這些類型共用相同的方法
  • 模式匹配

枚舉應用場景示例

場景

假設我們正在構建一個圖形用戶界面(GUI)應用程式,需要表示一個界面元素(如按鈕、標簽、或覆選框)的不同類型。每種界面元素都有一些共同的屬性(如位置和大小),但也有一些特定於類型的屬性和行為。

使用結構體的方法

我們可以為每種元素類型定義一個結構體,但這種方法在處理共同屬性和類型特定邏輯時會有些冗餘。

struct Button {
    position: (i32, i32),
    size: (i32, i32),
    label: String,
    // ... Button特定屬性和方法
}

struct Label {
    position: (i32, i32),
    size: (i32, i32),
    text: String,
    // ... Label特定屬性和方法
}

// ... 更多元素類型

使用枚舉的方法

使用枚舉,我們可以更優雅地封裝這些不同的元素類型,同時保持公共屬性的一致性。

enum GuiElement {
    Button {
        position: (i32, i32),
        size: (i32, i32),
        label: String,
        // ... Button特定屬性
    },
    Label {
        position: (i32, i32),
        size: (i32, i32),
        text: String,
        // ... Label特定屬性
    },
    // ... 更多元素類型
}

impl GuiElement {
    fn draw(&self) {
        match self {
            GuiElement::Button { position, size, label } => {
                // 繪製按鈕的邏輯
            },
            GuiElement::Label { position, size, text } => {
                // 繪製標簽的邏輯
            },
            // ... 其他元素的繪製邏輯
        }
    }
}

優勢

在這個例子中,使用枚舉的優勢包括:

  • 減少冗餘:所有GUI元素共用的屬性(如位置和大小)在枚舉的每個變體中都得到了保留,減少了代碼重覆。
  • 統一處理:可以在枚舉上實現方法(如draw),這些方法可以處理所有不同類型的元素,使得代碼更加整潔。
  • 模式匹配:利用Rust的模式匹配能力,可以輕鬆地針對不同的枚舉變體執行不同的邏輯。

這個例子展示了當你有多種類型,它們具有一些共同屬性但也有自己獨特的特征和行為時,枚舉是一個很好的選擇。

  • 那枚舉和繼承或者組合這種設計模式之間是什麼關係呢?

    枚舉與繼承的關係

    1. 替代繼承:在一些OOP語言中,繼承用於創建一組相關的子類,每個子類都擴展或修改了基類的行為。Rust不支持傳統的類繼承,但枚舉可以用來實現一種類似的效果。你可以創建一個枚舉,其每個變體代表不同的類型,這些類型在概念上相似但在行為上有所不同。
    2. 類型多態性:儘管Rust沒有類似Java或C++中的類層次結構,但通過枚舉和模式匹配,你可以構建出一種多態性。不同於通過基類指針或引用調用派生類的方法,Rust使用模式匹配來根據枚舉的不同變體執行不同的代碼。

    枚舉與組合的關係

    1. 組合的體現:在OOP中,組合是一種將不同對象組合在一起以構建更複雜對象的方法。在Rust中,枚舉可以包含不同的數據類型,包括結構體,這在某種程度上反映了組合的思想。枚舉變體可以嵌入不同的數據和結構,從而構建出多樣化的數據結構。
    2. 靈活性:組合在OOP中被認為是一種比繼承更靈活的設計方法。在Rust中,使用枚舉嵌入不同的數據結構同樣提供了高度的靈活性,允許你根據不同的需求組合數據和行為。

那rust中的枚舉是否更類似於設計模式中的組合呢?

枚舉與組合模式的相似之處

  1. 封裝多種類型:就像組合模式允許對象將多個對象組合成樹狀結構來表示部分與整體的層次結構,Rust的枚舉也允許在一個單一的數據類型中封裝多種不同的類型。枚舉的每個變體可以代表不同的數據類型,類似於組合模式中的不同節點。
  2. 統一介面:組合模式中,不同的對象共用一個公共介面。類似地,在Rust中,不同的枚舉變體可以通過枚舉類型的方法來處理,使得對不同數據的處理具有統一性。
  3. 靈活的數據結構:組合模式提供了創建複雜對象的靈活方式,而Rust的枚舉也提供了定義複雜數據類型的靈活性。你可以在枚舉中定義各種複雜的數據結構,包括嵌套的枚舉和結構體。

枚舉與組合模式的差異

  1. 模式匹配與多態性:Rust的枚舉結合模式匹配提供了一種不同於傳統OOP的多態性。枚舉允許你在運行時基於變體的不同執行不同的代碼,這與組合模式中的對象樹和動態分派有本質的不同。
  2. 用途與範圍:組合模式主要用於設計對象的部分與整體層次結構,而Rust的枚舉更多是用於表示一個實體可以擁有的一系列互斥的狀態或類型。枚舉的使用範圍更廣泛,不僅限於構建層次結構。
  3. 語言特性與範式:Rust的枚舉體現了函數式編程元素,特別是與模式匹配結合使用時,而組合模式是一種面向對象的設計模式。這兩者反映了不同的編程範式和語言特性。

結論

雖然Rust的枚舉在某些方面與組合模式相似,特別是在封裝多種類型和創建靈活數據結構方面,但它們在設計目的、使用方式和潛在的範式上有所不同。Rust的枚舉更多地被用於表示數據的不同變體,以及在類型層面上實現多態性和模式匹配,這些用途超出了傳統組合模式的範疇。

Rust 中的空值 Option

為了擁有一個可能為空的值,你必須要顯式的將其放入對應類型的 Option<T> 中。接著,當使用這個值時,必須明確的處理值為空的情況。只要一個值不是 Option<T> 類型,你就 可以 安全的認定它的值不為空。這是 Rust 的一個經過深思熟慮的設計決策,來限制空值的泛濫以增加 Rust 代碼的安全性。

在 Rust 中,確實沒有傳統意義上的 "null" 值,這是為了避免空指針異常這類常見的錯誤。相反,Rust 使用 Option 枚舉來顯式處理可能的值缺失情況。當您使用 Option 類型的值時,Rust 強制您必須先檢查是否有值,然後再使用它,這樣可以確保您的代碼在處理可能缺失的值時更加安全和可靠。

用Option處理空值的一個示例:

fn find_even_number(numbers: Vec<i32>) -> Option<i32> {
    for number in numbers {
        if number % 2 == 0 {
            return Some(number);
        }
    }
    None
}

fn main() {
    let numbers = vec![1, 3, 5, 7, 10, 11];
    match find_even_number(numbers) {
        Some(even) => println!("找到了偶數: {}", even),
        None => println!("沒有找到偶數"),
    }
}

在這個示例中,find_even_number 函數在一個整數數組中尋找第一個偶數。如果找到偶數,它返回 Some(even_number);如果沒有找到,它返回 None。在 main 函數中,通過 match 表達式來處理這個 Option 值。這確保了在使用找到的偶數之前,已經檢查過它是否存在。

模式匹配

match 的力量來源於模式的表現力以及編譯器檢查,它確保了所有可能的情況都得到處理。可以把 match 表達式想象成某種硬幣分類器:硬幣滑入有著不同大小孔洞的軌道,每一個硬幣都會掉入符合它大小的孔洞。同樣地,值也會通過 match 的每一個模式,並且在遇到第一個 “符合” 的模式時,值會進入相關聯的代碼塊併在執行中被使用。

使用 if let 意味著編寫更少代碼,更少的縮進和更少的樣板代碼。然而,這樣會失去 match 強制要求的窮盡性檢查。match 和 if let 之間的選擇依賴特定的環境以及增加簡潔度和失去窮盡性檢查的權衡取捨。換句話說,可以認為 if let 是 match 的一個語法糖,它當值匹配某一模式時執行代碼而忽略所有其他值。

fn main() {
    let config_max = Some(3u8);
    if let Some(max) = config_max {
        println!("The maximum is configured to be {}", max);
    }
}

練習題

練習題 1:定義枚舉

根據《Rust 編程語言》(中文版)第 6 章第 1 節的內容,請定義一個名為 TrafficLight 的枚舉,它應該包含三種變體:RedYellowGreen

練習題 2:使用 match 表達式

針對練習題 1 中定義的 TrafficLight 枚舉,請編寫一個函數 traffic_light_time,該函數接受一個 TrafficLight 枚舉類型的參數,並返回該交通燈顏色對應的等待時間(以秒為單位)。使用 match 表達式來實現這一功能。例如,紅燈可能對應 30 秒,黃燈 3 秒,綠燈 45 秒。

練習題 3:使用 if let

假設有一個 Option<i32> 類型的值,使用 if let 來檢查該值是否為 Some(3)。如果是,則列印出 "值為 3",否則不列印任何東西。

練習題 4:綜合應用

創建一個 enum,名為 FileState,包含 OpenClosedError(String) 這三種狀態。然後編寫一個函數,該函數接受 FileState 枚舉並使用 match 表達式來處理不同的情況。例如,如果文件處於打開狀態,列印 "文件已打開";如果文件關閉,列印 "文件已關閉";如果有錯誤,列印錯誤信息。

練習題 1 答案:定義枚舉 TrafficLight

enum TrafficLight {
    Red,
    Yellow,
    Green,
}

// 這隻是枚舉的定義,不需要進一步的代碼來實現功能。

練習題 2 答案:使用 match 表達式

fn traffic_light_time(light: TrafficLight) -> u32 {
    match light {
        TrafficLight::Red => 30,
        TrafficLight::Yellow => 3,
        TrafficLight::Green => 45,
    }
}

// 測試代碼
fn main() {
    let light = TrafficLight::Red;
    println!("等待時間: {} 秒", traffic_light_time(light));
}

練習題 3 答案:使用 if let

fn check_option_value(value: Option<i32>) {
    if let Some(3) = value {
        println!("值為 3");
    }
}

// 測試代碼
fn main() {
    let value = Some(3);
    check_option_value(value);
}

練習題 4 答案:綜合應用 FileState

enum FileState {
    Open,
    Closed,
    Error(String),
}

fn handle_file_state(state: FileState) {
    match state {
        FileState::Open => println!("文件已打開"),
        FileState::Closed => println!("文件已關閉"),
        FileState::Error(msg) => println!("錯誤: {}", msg),
    }
}

// 測試代碼
fn main() {
    let file_state = FileState::Error(String::from("無法訪問文件"));
    handle_file_state(file_state);
}

這些答案是基於您所學習的博客內容的直接應用。它們不僅幫助您理解 Rust 枚舉、match 表達式和 if let 的具體用法,同時也為您提供了實際的編碼實踐。


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 按規則解析並替換字元串中的變數及函數 需求 1、按照一定規則解析字元串中的函數、變數表達式,並替換這些表達式。這些函數表達式可能包含其它函數表達式,即支持函數嵌套 2、函數表達式格式:${ __函數名稱() }、${__函數名稱( 函數參數 )} 3、變數表達式格式:${ varName } 註意: ...
  • python 版本:3.6 win32 版本(因為一些特殊原因必須使用3.6) pymssql 版本:2.2.0 連接資料庫: import pymssql** def InitMssql(self): try: host = self.IniConfig.get('default','dbhost ...
  • 學習完基礎的圖像演算法,開始接觸OpenCV學習: 灰度圖中,一個像素點上的灰度級需要一個位元組(byte,2^8,8 bit)進行存儲,此時的灰度圖是二維的。而當我們需要轉換為彩色圖時,即三維,便會產生顏色通道(Channel),這個時候,一個像素點上的灰度級便會需要三個位元組來進行存儲。 可以藉助笛卡 ...
  • 本文只發佈於利用OpenCV實現尺度不變性與角度不變性的特征找圖演算法和知乎 一般來說,利用OpenCV實現找圖功能,用的比較多的是模板匹配(matchTemplate)。筆者比較喜歡裡面的NCC演算法。但是模板有個很明顯的短板,面對尺度改變,角度改變的目標就無能為力了。因此本文旨在做到模板匹配做不到的 ...
  • 目錄: Redis是什麼? Redis優缺點? Redis為什麼這麼快? 講講Redis的線程模型? Redis應用場景有哪些? Memcached和Redis的區別? 為什麼要用 Redis 而不用 map/guava 做緩存? Redis 數據類型有哪些? SortedSet和List異同點? ...
  • 14.1、概述 在實際工作中,一般使用配置類和註解代替web.xml和SpringMVC配置文件的功能; 在 Servlet3.0 環境中,容器會在類路徑中查找實現了 javax.servlet.ServletContainerInitializer 介面的類, 如果找到了的話,就會用它來配置 Se ...
  • int i=1; i=i++; int j=i++; int k=i + ++i * i++; System.out.println("i="+i); System.out.println("j="+j); System.out.println("k="+k); ...
  • 寫在前面 今天狀態很不好,我發現學這部分知識的時候,會出現溜號或者註意力無法集中的情況。 我能想到的是,大概率是這部分知識,應該是超出了我現在的水平了,也就是說我存在知識斷層了,整體感覺真的是一知半解。 那有同學會問了,那你能說明白嗎? 我理解的肯定能呀,來往下看! Flask的使用 1、消息閃現的 ...
一周排行
    -Advertisement-
    Play Games
  • 下麵是一個標準的IDistributedCache用例: public class SomeService(IDistributedCache cache) { public async Task<SomeInformation> GetSomeInformationAsync (string na ...
  • 這個庫提供了在啟動期間實例化已註冊的單例,而不是在首次使用它時實例化。 單例通常在首次使用時創建,這可能會導致響應傳入請求的延遲高於平時。在註冊時創建實例有助於防止第一次Request請求的SLA 以往我們要在註冊的時候實例單例可能會這樣寫: //註冊: services.AddSingleton< ...
  • 最近公司的很多項目都要改單點登錄了,不過大部分都還沒敲定,目前立刻要做的就只有一個比較老的項目 先改一個試試手,主要目標就是最短最快實現功能 首先因為要保留原登錄方式,所以頁面上的改動就是在原來登錄頁面下加一個SSO登錄入口 用超鏈接寫的入口,頁面改造後如下圖: 其中超鏈接的 href="Staff ...
  • Like運算符很好用,特別是它所提供的其中*、?這兩種通配符,在Windows文件系統和各類項目中運用非常廣泛。 但Like運算符僅在VB中支持,在C#中,如何實現呢? 以下是關於LikeString的四種實現方式,其中第四種為Regex正則表達式實現,且在.NET Standard 2.0及以上平... ...
  • 一:背景 1. 講故事 前些天有位朋友找到我,說他們的程式記憶體會偶發性暴漲,自己分析了下是非托管記憶體問題,讓我幫忙看下怎麼回事?哈哈,看到這個dump我還是非常有興趣的,居然還有這種游戲幣自助機類型的程式,下次去大玩家看看他們出幣的機器後端是不是C#寫的?由於dump是linux上的程式,剛好win ...
  • 前言 大家好,我是老馬。很高興遇到你。 我們為 java 開發者實現了 java 版本的 nginx https://github.com/houbb/nginx4j 如果你想知道 servlet 如何處理的,可以參考我的另一個項目: 手寫從零實現簡易版 tomcat minicat 手寫 ngin ...
  • 上一次的介紹,主要圍繞如何統一去捕獲異常,以及為每一種異常添加自己的Mapper實現,並且我們知道,當在ExceptionMapper中返回非200的Response,不支持application/json的響應類型,而是寫死的text/plain類型。 Filter為二方包異常手動捕獲 參考:ht ...
  • 大家好,我是R哥。 今天分享一個爽飛了的面試輔導 case: 這個杭州兄弟空窗期 1 個月+,面試了 6 家公司 0 Offer,不知道問題出在哪,難道是杭州的 IT 崩盤了麽? 報名面試輔導後,經過一個多月的輔導打磨,現在成功入職某上市公司,漲薪 30%+,955 工作制,不咋加班,還不捲。 其他 ...
  • 引入依賴 <!--Freemarker wls--> <dependency> <groupId>org.freemarker</groupId> <artifactId>freemarker</artifactId> <version>2.3.30</version> </dependency> ...
  • 你應如何運行程式 互動式命令模式 開始一個互動式會話 一般是在操作系統命令行下輸入python,且不帶任何參數 系統路徑 如果沒有設置系統的PATH環境變數來包括Python的安裝路徑,可能需要機器上Python可執行文件的完整路徑來代替python 運行的位置:代碼位置 不要輸入的內容:提示符和註 ...