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
  • 通過WPF的按鈕、文本輸入框實現了一個簡單的SpinBox數字輸入用戶組件並可以通過數據綁定數值和步長。本文中介紹了通過Xaml代碼實現自定義組件的佈局,依賴屬性的定義和使用等知識點。 ...
  • 以前,我看到一個朋友在對一個系統做初始化的時候,通過一組魔幻般的按鍵,調出來一個隱藏的系統設置界面,這個界面在常規的菜單或者工具欄是看不到的,因為它是一個後臺設置的關鍵界面,不公開,同時避免常規用戶的誤操作,它是作為一個超級管理員的入口功能,這個是很不錯的思路。其實Winform做這樣的處理也是很容... ...
  • 一:背景 1. 講故事 前些天有位朋友找到我,說他的程式每次關閉時就會自動崩潰,一直找不到原因讓我幫忙看一下怎麼回事,這位朋友應該是第二次找我了,分析了下 dump 還是挺經典的,拿出來給大家分享一下吧。 二:WinDbg 分析 1. 為什麼會崩潰 找崩潰原因比較簡單,用 !analyze -v 命 ...
  • 在一些報表模塊中,需要我們根據用戶操作的名稱,來動態根據人員姓名,更新報表的簽名圖片,也就是電子手寫簽名效果,本篇隨筆介紹一下使用FastReport報表動態更新人員簽名圖片。 ...
  • 最新內容優先發佈於個人博客:小虎技術分享站,隨後逐步搬運到博客園。 創作不易,如果覺得有用請在Github上為博主點亮一顆小星星吧! 博主開始學習編程於11年前,年少時還只會使用cin 和cout ,給單片機點點燈。那時候,類似async/await 和future/promise 模型的認知還不是 ...
  • 之前在阿裡雲ECS 99元/年的活動實例上搭建了一個測試用的MINIO服務,以前都是直接當基礎設施來使用的,這次準備自己學一下S3相容API相關的對象存儲開發,因此有了這個小工具。目前僅包含上傳功能,後續計劃開發一個類似圖床的對象存儲應用。 ...
  • 目錄簡介快速入門安裝 NuGet 包實體類User資料庫類DbFactory增刪改查InsertSelectUpdateDelete總結 簡介 NPoco 是 PetaPoco 的一個分支,具有一些額外的功能,截至現在 github 星數 839。NPoco 中文資料沒多少,我是被博客園群友推薦的, ...
  • 前言 前面使用 Admin.Core 的代碼生成器生成了通用代碼生成器的基礎模塊 分組,模板,項目,項目模型,項目欄位的基礎功能,本篇繼續完善,實現最核心的模板生成功能,並提供生成預覽及代碼文件壓縮下載 準備 首先清楚幾個模塊的關係,如何使用,簡單畫一個流程圖 前面完成了基礎的模板組,模板管理,項目 ...
  • 假設需要實現一個圖標和文本結合的按鈕 ,普通做法是 直接重寫該按鈕的模板; 如果想作為通用的呢? 兩種做法: 附加屬性 自定義控制項 推薦使用附加屬性的形式 第一種:附加屬性 創建Button的附加屬性 ButtonExtensions 1 public static class ButtonExte ...
  • 在C#中,委托是一種引用類型的數據類型,允許我們封裝方法的引用。通過使用委托,我們可以將方法作為參數傳遞給其他方法,或者將多個方法組合在一起,從而實現更靈活的編程模式。委托類似於函數指針,但提供了類型安全和垃圾回收等現代語言特性。 基本概念 定義委托 定義委托需要指定它所代表的方法的原型,包括返回類 ...