掌握Rust模式匹配：从基础语法到实际应用

本篇文章将探讨 Rust 编程语言中至关重要的特性之一——模式匹配。Rust 语言的模式匹配功能强大，不仅能处理简单的值匹配，还能解构和操作复杂的数据结构。通过深入学习模式匹配，程序员可以更加高效地编写出清晰、简洁且易于维护的代码。

Rust 语言中的模式匹配是一种特殊的语法结构，用于匹配变量、解构数组、结构体、枚举和元组等。本文主要介绍了 Rust 中各种模式的使用场景，包括 match、if let、while let、for 循环以及函数参数。除了基础语法外，还讲解了可辩驳性和无可辩驳性、字面值匹配、命名变量、多重模式、范围匹配、结构解构等模式的使用细节。

模式

  • 模式是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: // 报错 Noneif 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)}}
}

总结

模式匹配在 Rust 中是一个灵活而强大的特性，为程序的控制流提供了极大的灵活性。通过使用 match、if let、while let 等语法，程序员可以在匹配结构中定义和解构不同的数据类型，简化代码逻辑。深入理解模式匹配的用法，将帮助开发者编写更具表达力的代码，为 Rust 编程带来新的思路与技巧，更多相关信息，  https://t.me/gtokentool   。

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.xdnf.cn/news/5354.html

如若内容造成侵权/违法违规/事实不符，请联系一条长河网进行投诉反馈，一经查实，立即删除！

相关文章

Node.js——fs模块-文件读取

Node.js——fs模块-文件读取

1、文件读取&#xff1a;通过程序从文件中去除其中的数据 2、方法 方法 说明 readFile 异步读取 readFileSync 同步读取 createReadStrean 流式读取 3、readFile 异步读取 语法&#xff1a; 本文的分享到此结束&#xff0c;欢迎大家评论区一同讨论学习&#xff0c;下一…
阅读更多...
cv2.threshold利用OSTU方法分割图像的前景和背景

cv2.threshold利用OSTU方法分割图像的前景和背景

OSTU方法&#xff0c;又称大津法或最大类间方差法&#xff0c;是一种在图像处理中广泛应用的自动阈值选择方法。该方法由日本学者大津&#xff08;Nobuyuki Otsu&#xff09;于1979年提出&#xff0c;旨在通过最大化前景与背景之间的类间方差来自动确定一个最佳阈值&#xff0c…
阅读更多...
Perforce《2024游戏技术现状报告》Part2：游戏引擎、版本控制、IDE及项目管理等多种开发工具的应用分析

Perforce《2024游戏技术现状报告》Part2：游戏引擎、版本控制、IDE及项目管理等多种开发工具的应用分析

游戏开发者一直处于创新前沿。他们的实践、工具和技术受到各行各业的广泛关注&#xff0c;正在改变着组织进行数字创作的方式。 近期&#xff0c;Perforce发布了《2024游戏技术现状报告》&#xff0c;通过收集来自游戏、媒体与娱乐、汽车和制造业等高增长行业的从业者、管理人…
阅读更多...
编写虚拟的GPIO控制器的驱动程序：和pinctrl的交互使用

编写虚拟的GPIO控制器的驱动程序：和pinctrl的交互使用

往期内容 本专栏往期内容&#xff1a; Pinctrl子系统和其主要结构体引入Pinctrl子系统pinctrl_desc结构体进一步介绍Pinctrl子系统中client端设备树相关数据结构介绍和解析inctrl子系统中Pincontroller构造过程驱动分析&#xff1a;imx_pinctrl_soc_info结构体Pinctrl子系统中c…
阅读更多...
数据结构代码题--排序算法（快排），二叉树的基本知识，链表的基本操作引申

数据结构代码题--排序算法（快排），二叉树的基本知识，链表的基本操作引申

排序算法&#xff1a; 完成比完美更重要&#xff01; 题目中常考的是平均时间复杂度&#xff1a;但是具体计算时&#xff0c;能用最坏就用最坏 插入&#xff1a;直接插&#xff0c;希尔 交换&#xff1a;冒泡&#xff0c;快排 选择&#xff1a;简单选择&#xff0c;堆排 归…
阅读更多...
外包干了4年，技术退步太明显了。。。。。

外包干了4年，技术退步太明显了。。。。。

先说一下自己的情况&#xff0c;本科生生&#xff0c;20年通过校招进入武汉某软件公司&#xff0c;干了差不多4年的功能测试&#xff0c;今年国庆&#xff0c;感觉自己不能够在这样下去了&#xff0c;长时间呆在一个舒适的环境会让一个人堕落!而我已经在一个企业干了四年的功能…
阅读更多...
VS2013安装报错“windows程序兼容性模式已打开,请将其关闭 ”解决方案

VS2013安装报错“windows程序兼容性模式已打开,请将其关闭 ”解决方案

windows程序兼容性模式已打开,请将其关闭 在安装VS2013语言包的时候报错&#xff1a;windows程序兼容性模式已打开,请将其关闭 还会经常遇到这个错误&#xff1a;有一个安装程序已经运行 第一个问题解决办法&#xff1a; 按winr&#xff0c;输入cmd 输入 安装包路径 /Uninstal…
阅读更多...
fastapi_socketio连接vue的socktio.client

fastapi_socketio连接vue的socktio.client

环境 windows 11 python 3.11 fastapi 0.108.0 fastapi-socketio 0.0.10 vue2 “socket.io-client”: “^4.6.1”, 提示&#xff1a;如果遇到跨域问题自行解决 fastapi 使用fastapi-scoketio下的SocketManager, 可以看到接口解释如下&#xff1a; 所以默认配置是客户端连接时…
阅读更多...
使用 GitHub Actions 部署到开发服务器的详细指南

使用 GitHub Actions 部署到开发服务器的详细指南

使用 GitHub Actions 部署到开发服务器的详细指南 在本篇博客中&#xff0c;我们将介绍如何使用 GitHub Actions 实现自动化部署&#xff0c;将代码从 GitHub 仓库的 dev 分支自动部署到开发服务器。通过这种方式&#xff0c;可以确保每次在 dev 分支推送代码时&#xff0c;服…
阅读更多...
常见 HTTP 状态码分类和解释及服务端向前端返回响应时的最完整格式

常见 HTTP 状态码分类和解释及服务端向前端返回响应时的最完整格式

目前的开发项目&#xff0c;准备明年的国产化&#xff0c;用了十年的自研系统借这个机会全部重写&#xff0c;订立更严格的规范&#xff0c;这里把返回格式及对应状态码记录一下。 常见 HTTP 状态码及解释 HTTP 状态码用于表示客户端请求的响应状态&#xff0c;它们分为五类&a…
阅读更多...
使用PyCharm连接虚拟机运行spark任务，本地开发：远程提交测试

使用PyCharm连接虚拟机运行spark任务，本地开发：远程提交测试

在本地写代码&#xff0c;右键运行&#xff0c;将代码自动提交到集群上 spark是Standalone集群 1) 集群环境准备好 #启动集群&#xff1a;第一台机器 start-dfs.sh cd /opt/installs/spark sbin/start-master.sh sbin/start-workers.sh sbin/start-history-server.sh 2) Wi…
阅读更多...
XHCI 1.2b 规范摘要（12）

XHCI 1.2b 规范摘要（12）

系列文章目录 XHCI 1.2b 规范摘要&#xff08;一&#xff09; XHCI 1.2b 规范摘要&#xff08;二&#xff09; XHCI 1.2b 规范摘要&#xff08;三&#xff09; XHCI 1.2b 规范摘要&#xff08;四&#xff09; XHCI 1.2b 规范摘要&#xff08;五&#xff09; XHCI 1.2b 规范摘要…
阅读更多...
多分类logistic回归分析案例教程

多分类logistic回归分析案例教程

因变量为无序多分类变量&#xff0c;比如研究成人早餐选择的相关因素&#xff0c;早餐种类包括谷物类、燕麦类、复合类&#xff0c;此时因变量有三种结局&#xff0c;而且三种早餐是平等的没有顺序或等级属性&#xff0c;此类回归问题&#xff0c;可以使用多分类Logistic回归进…
阅读更多...
读取数量不定的输入数据

读取数量不定的输入数据

#include <iostream> using namespace std; int main() {int sum 0, value 0;//读取数据直到遇到文件尾while (cin >> value) {sum value;}cout << sum;return 0; }
阅读更多...
Kubernetes的基本构建块和最小可调度单元pod-0

Kubernetes的基本构建块和最小可调度单元pod-0

文章目录 一&#xff0c;什么是pod1.1pod在k8s中使用方法&#xff08;1&#xff09;使用方法一&#xff08;2&#xff09;使用方法二 1.2pod中容器的进程1.3pod的网络隔离管理&#xff08;1&#xff09;pause容器的作用 1.4 Pod分类&#xff1a;&#xff08;1&#xff09;自主式…
阅读更多...
unity3d————四元数概念

unity3d————四元数概念

一、定义与表示 四元数是由一个实数部分和三个虚数部分组成&#xff0c;通常表示为q w xi yj zk&#xff0c;其中w是实数&#xff0c;x、y、z是实数系数&#xff0c;i、j、k是虚数单位&#xff0c;满足以下关系&#xff1a; i j k -1ij k&#xff0c;ji -kjk i&…
阅读更多...
利用frp进行SSH端口转发（内网穿透同理）

利用frp进行SSH端口转发（内网穿透同理）

题记 公司内网有一台设备&#xff0c;可以根据微步情报来对恶意服务器进行封禁。很不幸我的vps因为开着cs被标记为恶意了&#xff0c;导致我在公司网络连不上我的vps&#xff0c;每次连还要挂代理。于是我打算将我vps的22端口转发到我们公司的vps的10022端口上。本篇文章来自11…
阅读更多...
深度学习：bert框架

深度学习：bert框架

bert框架的介绍 BERT是一个基于Transformer的双向编码器表示模型&#xff0c;它通过预训练学习到了丰富的语言表示&#xff0c;并可以用于各种自然语言处理任务。 模型结构&#xff1a; BERT基于Transformer的编码器部分&#xff0c;采用了多层自注意力机制和前馈神经网络。这…
阅读更多...
java ssm 防疫用地理位置分析系统 地理坐标系统 定位 源码 jsp

java ssm 防疫用地理位置分析系统 地理坐标系统 定位 源码 jsp

一、项目简介 本项目是一套基于SSM的防疫用地理位置分析系统&#xff0c;主要针对计算机相关专业的和需要项目实战练习的Java学习者。 包含&#xff1a;项目源码、数据库脚本、软件工具等。 项目都经过严格调试&#xff0c;确保可以运行&#xff01; 二、技术实现 ​后端技术&…
阅读更多...
IDEA启动提示Downloading pre-built shared indexes

IDEA启动提示Downloading pre-built shared indexes

Download pre-built shared indexes Reduce the indexing time and CPU load with pre-built JDK shared indexes 翻译&#xff1a; 下载预构建的共享索引 使用预构建的JDK共享索引减少索引时间和CPU负载. 使用预构建的JDK共享索引可以显著减少索引构建时间和CPU负载&#xf…
阅读更多...
最新文章

Copyright @ 2022~2023