Rust編程語言入門之模式匹配

来源:https://www.cnblogs.com/QiaoPengjun/archive/2023/04/22/17343139.html
-Advertisement-
Play Games

模式匹配 模式 模式是Rust中的一種特殊語法，用於匹配複雜和簡單類型的結構 將模式與匹配表達式和其他構造結合使用，可以更好地控製程序的控制流 模式由以下元素（的一些組合）組成： 字面值 解構的數組、enum、struct 和 tuple 變數 通配符 占位符 想要使用模式，需要將其與某個值進行比較 ...


模式匹配

模式

  • 模式是Rust中的一種特殊語法，用於匹配複雜和簡單類型的結構
  • 將模式與匹配表達式和其他構造結合使用，可以更好地控製程序的控制流
  • 模式由以下元素（的一些組合）組成：
    • 字面值
    • 解構的數組、enum、struct 和 tuple
    • 變數
    • 通配符
    • 占位符
  • 想要使用模式，需要將其與某個值進行比較：
    • 如果模式匹配，就可以在代碼中使用這個值的相應部分

一、用到模式（匹配）的地方

match 的 Arm

match VALUE {
  PATTERN => EXPRESSION,
  PATTERN => EXPRESSION,
  PATTERN => EXPRESSION,
}
  • match 表達式的要求：
    • 詳盡（包含所有的可能性）
  • 一個特殊的模式：_（下劃線）：
    • 它會匹配任何東西
    • 不會綁定到變數
    • 通常用於 match 的最後一個 arm；或用於忽略某些值。

條件 if let 表達式

  • if let 表達式主要是作為一種簡短的方式來等價的代替只有一個匹配項的 match
  • if let 可選的可以擁有 else，包括：
    • else if
    • else if let
  • 但，if let 不會檢查窮盡性
fn main() {
  let favorite_color: Option<&str> = None;
  let is_tuesday = false;
  let age: Result<u8, _> = "34".parse();
  
  if let Some(color) = favorite_color {
    println!("Using your favorite color, {}, as the background", color);
  } else if if_tuesday {
    println!("Tuesday is green day!");
  } else if let Ok(age) = age {
    if age > 30 {
      println!("Using purple as the background color");
    } else {
      println!("Using orange as the background color");
    }
  } else {
    println!("Using blue as the background color");
  }
}

While let 條件迴圈

  • 只要模式繼續滿足匹配的條件，那它允許 while 迴圈一直運行
fn main() {
  let mut stack = Vec::new();
  
  stack.push(1);
  stack.push(2);
  stack.push(3);
  
  while let Some(top) = stack.pop() {
    println!("{}", top);
  }
}

for 迴圈

  • for 迴圈是Rust 中最常見的迴圈
  • for 迴圈中，模式就是緊隨 for 關鍵字後的值
fn main() {
  let v = vec!['a', 'b', 'c'];
  
  for (index, value) in v.iter().enumerate() {
    println!("{} is at index {}", value , index);
  }
}

Let 語句

  • let 語句也是模式
  • let PATTERN = EXPRESSION
fn main() {
  let a = 5;
  
  let (x, y, z) = (1, 2, 3);
  
  let (q, w) = (4, 5, 6); // 報錯 類型不匹配 3 2
}

函數參數

  • 函數參數也可以是模式
fn foo(x: i32) {
  // code goes here
}

fn print_coordinates(&(x, y): &(i32, i32)) {
  println!("Current location: ({}, {})", x, y);
}

fn main() {
  let point = (3, 5);
  print_coordinates(&point);
}

二、可辯駁性：模式是否會無法匹配

模式的兩種形式

  • 模式有兩種形式：可辨駁的、無可辯駁的
  • 能匹配任何可能傳遞的值的模式：無可辯駁的
    • 例如：let x = 5;
  • 對某些可能得值，無法進行匹配的模式：可辯駁的
    • 例如：if let Some(x) = a_value
  • 函數參數、let 語句、for 迴圈只接受無可辯駁的模式
  • if let 和 while let 接受可辨駁和無可辯駁的模式
fn main() {
  let a: Option<i32> = Some(5);
  let Some(x) = a: // 報錯 None
  if let Some(x) = a {}
  if let x = 5 {} // 警告
}

三、模式語法

匹配字面值

  • 模式可直接匹配字面值
fn main() {
  let x = 1;
  
  match x {
    1 => println!("one"),
    2 => println!("two"),
    3 => println!("three"),
    _ => println!("anything"),
  }
}

匹配命名變數

  • 命名的變數是可匹配任何值的無可辯駁模式
fn main() {
  let x = Some(5);
  let y = 10;
  
  match x {
    Some(50) => println!("Got 50"),
    Some(y) => println!("Matched, y = {:?}", y),
    _ => println!("Default case, x = {:?}", x),
  }
  
  println!("at the end: x = {:?}, y = {:?}", x, y);
}

多重模式

  • 在match 表達式中，使用 | 語法（就是或的意思），可以匹配多種模式
fn main() {
  let x = 1;
  
  match x {
    1 | 2 => println!("one or two"),
    3 => println!("three"),
    _ => println!("anything"),
  }
}

使用 ..= 來匹配某個範圍的值

fn main() {
  let x = 5;
  match x {
    1..=5 => println!("one through five"),
    _ => println!("something else"),
  }
  
  let x = 'c';
  match x {
    'a' ..='j' => println!("early ASCII letter"),
    'k' ..='z' => println!("late ASCII letter"),
    _ => println!("something else"),
  }
}

解構以分解值

  • 可以使用模式來解構 struct、enum、tuple，從而引用這些類型值的不同部分
struct Point {
  x: i32,
  y: i32,
}

fn main() {
  let p = Point { x: 0, y: 7 };
  
  let Point { x: a, y: b } = p;
  assert_eq!(0, a);
  assert_eq!(7, b);
  
  let Point {x, y} = p;
  assert_eq!(0, x);
  assert_eq!(7, y);
  
  match p {
    Point {x, y: 0} => println!("On the x axis at {}", x),
    Point {x: 0, y} => println!("On the y axis at {}", y),
    Point {x, y} => println!("On neither axis: ({}, {})", x, y),
  }
}

解構 enum

enum Message {
  Quit,
  Move {x: i32, y: i32},
  Write(String),
  ChangeColor(i32, i32, i32),
}

fn main() {
  let msg = Message::ChangeColor(0, 160, 255);
  
  match msg {
    Message::Quit => {
      println!("The Quit variant has no data to destructure.")
    }
    Message::Move {x, y} => {
      println!("Move in the x direction {} and in the y direction {}", x, y);
    }
    Message::Write(text) => println!("Text message: {}", text),
    Message::ChangeColor(r, g, b) => {
      println!("Change the color to red {}, green {}, and blue {}", r, g, b);
    }
  }
}

解構嵌套的 struct 和 enum

enum Color {
  Rgb(i32, i32, i32),
  Hsv(i32, i32, i32),
}

enum Message {
  Quit,
  Move {x: i32, y: i32},
  Write(String),
  ChangeColor(Color),
}

fn main() {
  let msg = Message::ChangeColor(Color::Hsv(0, 160, 255));
  
  match msg {
    Message::ChangeClolr(Color::Rgb(r, g, b)) => {
      println!("Change the color to red {}, green {}, and blur {}", r, g, b)
    }
    Message::ChangeColor(Color::Hsv(h, s, v)) => {
      println!("Change the color to hue {}, saturation {}, and value {}", h, s, v)
    }
    _ => (),
  }
}

解構 struct 和 tuple

struct Point {
  x: i32,
  y: i32,
}

fn main() {
  let ((feet, inches), Point {x, y}) = ((3, 10), Point {x: 3, y: -10});
}

在模式中忽略值

  • 有幾種方式可以在模式中忽略整個值或部分值：
    • _
    • _ 配合其它模式
    • 使用以 _ 開頭的名稱
    • .. （忽略值的剩餘部分）

使用 _ 來忽略整個值

fn foo(_: i32, y: i32) {
  println!("This code only uses the y parameter: {}", y);
}

fn main() {
  foo(3, 4);
}

使用嵌套的 _ 來忽略值的一部分

fn main() {
  let mut setting_value = Some(5);
  let new_setting_value = Some(10);
  
  match (setting_value, new_setting_value) {
    (Some(_), Some(_)) => {
      println!("Can't overwrite an existing customized value");
    }
    _ => {
      setting_value = new_setting_value;
    }
  }
  
  println!("setting is {:?}", setting_value);
  
  
  let numbers = (2, 4, 6, 8, 16, 32);
  
  match numbers {
    (first, _, third, _, fifth) => {
      println!("Some numbers: {}, {}, {}", first, third, fifth)
    }
  }
}

通過使用 _ 開頭命名來忽略未使用的變數

fn main() {
  let _x = 5;
  let y = 10;  // 創建未使用 警告
  
  let s = Some(String::from("Hello"));
  
  if let Some(_s) = s { // if let Some(_) = s {
    println!("found a string");
  }
  
  println!("{:?}", s); // 報錯 
}

使用 .. 來忽略值的剩餘部分

struct Point {
  x: i32,
  y: i32,
  z: i32,
}

fn main() {
  let origin = Point {x: 0, y: 0, z: 0};
  match origin {
    Point {x, ..} => println!("x is {}", x),
  }
  
  let numbers = (2, 4, 8, 16, 32);
  match numbers {
    (first, .., last) => {
      println!("Some numbers: {}, {}", first, last);
    }
  }
  
  match numbers {
    (.., second, ..) => {  // 報錯
      println!("Some numbers: {}", second)
    },
  }
}

使用 match 守衛來提供額外的條件

  • match 守衛就是 match arm 模式後額外的 if 條件，想要匹配該條件也必須滿足
  • match 守衛適用於比單獨的模式更複雜的場景

例子一：

fn main() {
  let num = Some(4);
  
  match num {
    Some(x) if x < 5 => println!("less than five: {}", x),
    Some(x) => println!("{}", x),
    None => (),
  }
}

例子二：

fn main() {
  let x = Some(5);
  let y = 10;
  
  match x {
    Some(50) => println!("Got 50"),
    Some(n) if n == y => println!("Matched, n = {:?}", n),
    _ => println!("Default case, x = {:?}", x),
  }
  
  println!("at the end: x = {:?}, y = {:?}", x, y);
}

例子三：

fn main() {
  let x = 4;
  let y = false;
  
  match x {
    4 | 5 | 6 if y => println!("yes"),
    _ => println!("no"),
  }
}

@綁定

  • @ 符號讓我們可以創建一個變數，該變數可以在測試某個值是否與模式匹配的同時保存該值
enum Message {
  Hello {id: i32},
}

fn main() {
  let msg = Message::Hello {id: 5};
  
  match msg {
    Message::Hello {
      id: id_variable @ 3..=7,
    } => {
      println!("Found an id in range: {}", id_variable)
    }
    Message::Hello {id: 10..=12} => {
      println!("Found an id in another range")
    }
    Message::Hello {id} => {
      println!("Found some other id: {}", id)
    }
  }
}

本文來自博客園，作者：QIAOPENGJUN，轉載請註明原文鏈接：https://www.cnblogs.com/QiaoPengjun/p/17343139.html


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

-Advertisement-
Play Games
更多相關文章
  • 多線程（一）
    #一：什麼是多線程 線程是操作系統能夠進行運算調度的最小單位；它被包含在進程之中，是進程中的實際運作單位。 多線程，是指從軟體或者硬體上實現多個線程併發執行的技術。具有多線程能力的電腦因有硬體支持而能夠在同一時間執行多於一個線程，進而提升整體處理性能。 簡單來說：線程是程式中一個單一的順序控制流程 ...
  • Springboot 多實例負載均衡部署
    Springboot 多實例負載均衡部署 一、測試代碼： 控制層測試代碼： import java.net.Inet4Address; import java.net.InetAddress; import java.net.UnknownHostException; @Controller @Re ...
  • Go中響應式編程庫RxGo詳細介紹
    Midjourney，是一個革命性的基於人工智慧的藝術生成器，可以從被稱為提示的簡單文本描述中生成令人驚嘆的圖像。Midjourney已經迅速成為藝術家、設計師和營銷人員的首選工具（包括像我這樣根本不會設計任何東西的無能之輩）。 為了幫助你開始使用這個強大的工具，我們彙編了一份15個資源的清單，可以 ...
  • C++的拓撲排序實現
    template<typename T = CString, typename _Data = CString> struct Union_node//!< 節點 { Union_node() :nColor(0) {} std::vector<Union_node*> vecNodeSon; T ...
  • Python基礎—conda使用筆記
    Python基礎—conda使用筆記 1. 環境配置 由於用conda管理虛擬環境真滴很方便，所以主要使用conda，就不單獨去裝Python了。 1.1. Miniconda3安裝 Miniconda3官網下載地址：Miniconda Miniconda3清華鏡像下載：清華鏡像-Miniconda ...
  • python學習-學生信息管理系統並打包exe
    在B站自學Python 站主：Python_子木 授課：楊淑娟 平臺: 馬士兵教育 python: 3.9.9 #python打包exe文件 #安裝PyInstaller pip install PyInstaller #-F打包exe文件，stusystem\stusystem.py到py的路徑， ...
  • windows10下golang使用protobuf前奏
    1.更改代理（方便步驟3） 方法一： go env -w GOPROXY="https://goproxy.cn" 方法二：（非永久性，該方法對我有效） $env:GOPROXY="https://goproxy.cn" 註： http://mirrors.aliyun.com/goproxy/ 阿 ...
  • 圖像梯度
    圖像梯度圖像梯度計算的是圖像變化的速度 對於圖像的邊緣部分，其灰度值變化較大，梯度值也較大相反，對於圖像中比較平滑的部分，其灰度值變化較小，相應的梯度值也較小。圖像梯度計算需要求導數，但是圖像梯度一般通過計算像素值的差來得到梯度的近似值（近似導數值）。（差分，離散） Sobel運算元 1 #Sobel ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發（一）：使用.NET MAUI開發第一個安卓APP
    移動開發（一）：使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說，近來想嘗試開發一款安卓APP，考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP，畢竟是使用Visual Studio開發工具，使用起來也比較的順手，結合微軟官方的教程進行了安卓 ...
  • wpf ToggleButton選中效果和一個登錄界面
    前言 QuestPDF 是一個開源 .NET 庫，用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫，它徹底改變了我們生成 PDF 文檔的方 ...
  • 彈幕樹洞項目功能新增篇
    項目地址 項目後端地址： https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址： ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址： http://tree ...
  • 第27篇 sqlserver2022詳細安裝步驟
    話不多說，直接開乾 一.下載 1.官方鏈接下載： https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe，運行開始下載SQL server； 二. ...
  • .NET 開源高性能 MQTT 類庫
    前言 隨著物聯網（IoT）技術的迅猛發展，MQTT（消息隊列遙測傳輸）協議憑藉其輕量級和高效性，已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫，為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog文檔翻譯系列（六） - 可用的接收器、增強器、格式化輸出
    Serilog支持多種接收器用於日誌存儲，增強器用於添加屬性，LogContext管理動態屬性，支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項，適用於不同需求。 ...
  • 警惕 Visual Studio 屬性求值副作用導致邏輯不符合預期
    目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據，爬取信息時需要模擬瀏覽器行為，否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下： 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • [使用目前最新版]HybridCLR6.9.0+YooAsset2.2.4實現純C# Unity熱更新方案 (一)
    1.前言 什麼是熱更新 游戲或者軟體更新時，無需重新下載客戶端進行安裝，而是在應用程式啟動的情況下，在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR，Xlua，ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles，Addressable， ...
  • 在 ASP.NET Core Web API 中使用操作篩選器統一處理通用操作
    本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺，其實像阿裡雲，騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後，它會送 ...
  • 第28篇 如何.net中實現高效可靠數據同步api
    通過以下方式可以高效，並保證數據同步的可靠性 1.API設計 使用RESTful設計，確保API端點明確，並使用適當的HTTP方法（如POST用於創建，PUT用於更新）。 設計清晰的請求和響應模型，以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證，確保接收到的數據符合預期格 ...
所有分類