学习笔记十六——Rust Monad从头学
🧠 零基础也能懂的 Rust Monad:逐步拆解 + 三大定律通俗讲解 + 实战技巧
📣 第一部分:Monad 是什么?
Monad 是一种“包值 + 链操作 + 保持结构”的代码模式,用来处理带上下文的值,并方便连续处理。
✅ 用人话怎么说?
你可以把 Monad 想成“装了值的容器”,它还带了一套通用的处理流程,能帮你做以下三件事:
- 包裹值:比如用户输入
5
,你包装成Some(5)
,表示“有值”。 - 自动判断是否处理:值存在就处理,不存在就跳过。
- 统一结构,不出错:你不管怎么处理,最后结构还保持不变(比如一直是
Option<T>
)。
🧩 第二部分:Monad 三大组成要素
这三样东西是判断一个类型是不是 Monad 的“标准配件”。
要素 | 名称 | 用通俗话解释 | Rust 中的样子 |
---|---|---|---|
① 包装器 | 类型构造器 | 把值“装进盒子” | Some(x) 、Ok(x) 、async { x } |
② 起点函数 | 单位函数(unit) | 把普通值变成最简单的 Monad 容器 | Some(x) 、Ok(x) |
③ 链接器 | 绑定函数(bind) | 如果有值就继续调用下一个操作 | .and_then(...) |
这些特性让我们可以放心大胆地“串”代码逻辑。
🔍 第三部分:什么叫“上下文”和“结构保持不变”?
例子 | 上下文的含义 |
---|---|
Option<T> | 这个值可能为空(None) |
Result<T,E> | 这个操作可能失败 |
Future<T> | 这个值未来才会得到 |
✅ 举个例子:
Some(5).and_then(|x| Some(x + 1)).and_then(|y| Some(y * 2))
这里的每一步都保留了 Option
结构,不会突然变成裸值 i32
。这就叫结构不变。
🧪 第四部分:三大定律彻底通俗讲清楚!
✅ 左单位律(Left Identity)
定义:
unit(x).bind(f) == f(x)
用人话说:
把值放进盒子再处理,和你直接处理这个值,没区别!
示例:
fn f(x: i32) -> Option<i32> {Some(x + 1)
}let a = Some(5).and_then(f); // 左边:unit(x).bind(f)
let b = f(5); // 右边:直接调用 f(x)assert_eq!(a, b); // 都是 Some(6)
口诀:“左边装进去再处理,和直接处理一样。”
✅ 右单位律(Right Identity)
定义:
m.bind(unit) == m
用人话说:
如果你对值“啥也不干就原样放回去”,等于什么都没做。
示例:
let x = Some("hi");
let result = x.and_then(|v| Some(v)); // 就是 unit(v)assert_eq!(result, x); // 不变
口诀:“右边原样返回,啥也没改变。”
✅ 结合律(Associativity)
定义:
m.bind(f).bind(g) == m.bind(|x| f(x).bind(g))
用人话说:
不管你是“先 f 后 g”还是“把 f 和 g 合起来一起处理”,结果一样!
示例:
fn f(x: i32) -> Option<i32> { Some(x + 1) }
fn g(x: i32) -> Option<i32> { Some(x * 2) }let m = Some(3);
let a = m.and_then(f).and_then(g);
let b = m.and_then(|x| f(x).and_then(g));assert_eq!(a, b); // 都是 Some(8)
理解要点:
f(x)
是第一步g(...)
是第二步- 两种写法是“逐步绑定”和“整体组合”的区别
口诀:“多步绑定能拆合,合成一起也不差。”
📘 第五部分:从例子理解 Option 是怎么应用 Monad 的
fn validate_email(email: Option<String>) -> Option<String> {email.and_then(|e| {if e.contains("@") {Some(e)} else {None}})
}
每行拆解:
Option<String>
:这个邮箱可能存在也可能不存在.and_then(...)
:如果有值就执行闭包,否则直接 None|e| {...}
:取出值e
后判断是否含有@
- 满足条件返回
Some(e)
,否则返回None
体现了什么?
- ✅ 用
Some(email)
开始:unit(x) - ✅ 用
.and_then(...)
处理:bind - ✅ 最后返回的仍是
Option<String>
:结构不变
🔧 第六部分:.map()
vs .and_then()
有啥区别?
方法 | 用法说明 | 示例 |
---|---|---|
.map() | 对值做处理,结果仍在容器内 | `Some(2).map( |
.and_then() | 处理后返回另一个容器(嵌套) | `Some(2).and_then( |
.map()
相当于你“只动里面的值”,.and_then()
是你“根据值决定接下去是否继续”。
🔁 第七部分:组合多个操作 - 用 Monad 串业务逻辑
fn parse_id(s: &str) -> Option<i32> {s.parse().ok()
}fn check_id(id: i32) -> Option<i32> {if id > 0 { Some(id) } else { None }
}fn query_user(id: i32) -> Option<String> {Some(format!("用户{}", id))
}let user = Some("42").and_then(parse_id).and_then(check_id).and_then(query_user);
用人话解释:
如果字符串能成功转成数字、这个数字大于 0、还能找到用户,就返回用户名;否则中途停止。
这就是典型的:组合多个失败可能的操作
🧾 第八部分:总结表格
类型 | 类型构造器 | unit函数 | bind函数 | 上下文解释 |
---|---|---|---|---|
Option | Some(x) | Some(x) | and_then | 可能没有值 |
Result | Ok(x)/Err(e) | Ok(x) | and_then | 成功/失败状态 |
Future | async { x } | async | await / then | 值尚未获得 |
✅ 结语
掌握 Monad 不是为了炫技,而是为了安全、优雅、高复用地处理流程和异常。
如果你能理解这三句话:
- 我可以从值开始(左单位律)
- 我可以随时停下不处理(右单位律)
- 我可以拆写也能合写(结合律)
相关文章:
学习笔记十六——Rust Monad从头学
🧠 零基础也能懂的 Rust Monad:逐步拆解 三大定律通俗讲解 实战技巧 📣 第一部分:Monad 是什么? Monad 是一种“包值 链操作 保持结构”的代码模式,用来处理带上下文的值,并方便连续处理。 …...
Idea连接远程云服务器上的MySQL,开放云服务器端口
1.开放云服务器的3306端口 (1)进入到云服务器的控制台 (2)点击使用的云服务器 (3)点击 配置安全组规则 (4)添加规则 (5)开放端口 2.创建可以远程访问…...
云服务器CVM标准型S5实例性能测评——2025腾讯云
腾讯云服务器CVM标准型S5实例具有稳定的计算性能,CPU采用采用 Intel Xeon Cascade Lake 或者 Intel Xeon Cooper Lake 处理器,主频2.5GHz,睿频3.1GHz,CPU内存配置2核2G、2核4G、4核8G、8核16G等配置,公网带宽可选1M、3…...
【Pytorch之一】--torch.stack()方法详解
torch.stack方法详解 pytorch官网注释 Parameters tensors:张量序列,也就是要进行stack操作的对象们,可以有很多个张量。 dim:按照dim的方式对这些张量进行stack操作,也就是你要按照哪种堆叠方式对张量进行堆叠。dim的…...
监控+日志=DevOps 运维的“千里眼”与“顺风耳”
监控+日志=DevOps 运维的“千里眼”与“顺风耳” 在 DevOps 体系中,监控和日志管理是不可或缺的运维基石。有人说,开发只管把代码写好,运维才是真正的“操盘手”,让系统稳定运行、不宕机、不崩溃。而要做到这一点,精准的监控与日志管理 是关键。 试想一下:如果没有监控…...
实战|使用环信Flutter SDK构建鸿蒙HarmonyOS应用及推送配置
本文为大家介绍如何在 Flutter 环境创建 Harmony 项目并集成环信即时通讯IM以及环信 Flutter Harmony 推送配置。 已经基于环信的 Flutter 项目也可以参考本文适配鸿蒙端。 一、开发环境要求 前置条件 1.安装DevEco-Studio 2.安装模拟器 DevEco-Studio 下载与操作指导&…...
构建知识体系
我认为,仅仅建立知识点之间的连接还不足够,还要建立自己的知识体系。 那么什么是知识体系呢? 知识体系,可以理解为立体的知识系统。 立体的知识系统,代表着跨越了多个领域、行业、学科的知识,是多个层面…...
Android Mainline简介
关键要点 Android Mainline 是通过模块化更新 Android 核心组件的框架,可能提高安全性。允许通过 Google Play 系统更新分发模块,无需完整固件更新。能简化厂商工作并减少碎片化,但覆盖范围有限。 什么是 Android Mainline? And…...
2026《数据结构》考研复习笔记二(C++面向对象)
C面向对象 一、类二、继承三、重载运算符和重载函数四、多态代码示例 一、类 1.1类&对象 class classname//class是关键词,classname是类名 { Access specifiers://访问修饰符:private/public/protected Date members/variables;//变量 Member fun…...
【C++】12.list接口介绍
在C标准库中,std::list 是一个基于双向链表实现的顺序容器,它支持高效的插入和删除操作,但无法直接通过下标进行随机访问。以下是关于 std::list 的简单介绍: 核心特性 底层结构 双向链表实现,每个节点包含数据、前驱指…...
决策卫生问题:考公考编考研能补救高考选取职业的错误吗
对于决策者来说,“认识你自己”是一个永恒的主题;警惕认知中的缺陷,比什么都重要。在判断与决策问题上,管理者和专业人士往往都非常自信。人类远远不如我们想象的那么理性,人类的判断也远远不如我们想象的那么完美。在…...
考研系列-计算机网络-第一章、计算机网络体系结构
一、计算机网络概述 1.知识点总结 性能指标: 注意这个指标: 2.习题总结 (一)选择题 广域网点对点,局域网广播技术 (二)简答题 (1)概念性题目: (2)计算型题目 这个题目主要是注意两种交换方式: 电路交换:…...
状态模式:有限状态机在电商订单系统中的设计与实现
状态模式:有限状态机在电商订单系统中的设计与实现 一、模式核心:用状态切换驱动行为变化 在电商订单系统中,订单状态会随着用户操作动态变化:「已创建」的订单支付后变为「已支付」,发货后变为「已发货」࿰…...
nohup命令使用说明
文章目录 如何在后台运行程序呢?如何正常运行代码重定向呢?nohup: ignoring input 如何在后台运行程序呢? 使用nohup命令即可, nohup python dataset/ReferESpatialDataset.py >>dataset_20250417.log 2>&1 &n…...
使用原生button封装一个通用按钮组件
效果图 代码 <script lang"ts" setup> import { computed, ref, watch } from "vue";/*** 按钮属性接口*/ interface ButtonProps {/** 按钮类型:default(默认)/dark/plain/link */type?: "default" | "dark" | &q…...
osu ai 论文笔记 DQN
e https://theses.liacs.nl/pdf/2019-2020-SteeJvander.pdf Creating an AI for the Rhytm Game osu! 20年的论文 用监督学习训练移动模型100首歌能达到95准确率 点击模型用DQN两千首歌65准确率 V抖用的居然不是强化学习? 5,6星打96准确度还是有的东西的 这是5.…...
perf 的使用方法
perf的架构 1.perf event event are pure kernel counters, in this case they are called software events. Examples include: context-switches, minor-faults.events is the processor itself and its Performance Monitoring Unit (PMU). It provides a list of events …...
【MCP教程】Claude Desktop 如何连接部署在远程的remote mcp server服务器(remote host)
前言 最近MCP特别火热,笔者自己也根据官方文档尝试了下。 官方文档给的Demo是在本地部署一个weather.py,然后用本地的Claude Desktop去访问该mcp服务器,从而完成工具的调用: 但是,问题来了,Claude Deskto…...
使用python帮助艺术家完成角色动画和服装模型等任务
使用python帮助艺术家完成角色动画和服装模型等任务 声明:克隆项目第 1 步:准备 Python 环境第 2 步:安装依赖✅ 第 3 步:运行项目主入口报错:报错:**降级 Python 到 3.10 或 3.11**推荐版本: 创…...
Python爬虫实战:基于 Python Scrapy 框架的百度指数数据爬取研究
一、引言 1.1 研究背景 在当今信息时代,市场调研和趋势分析对于企业和研究机构至关重要。百度指数能够精准反映关键词在百度搜索引擎上的热度变化情况,为市场需求洞察、消费者兴趣分析等提供了极具价值的数据支持。通过对百度指数数据的爬取和分析,企业可以及时调整营销策略…...
【Python】python系列之函数闭包概念
目录 一、函数 二、闭包 2.1 概念 2.2闭包的应用场景 2.3代码实例 实例 1:简单计数器闭包 实例 2:带参数的闭包 实例 3:闭包用于数据封装和隐藏 一、函数 函数是实现特定功能的代码段的封装,在需要时可以多次调用函数来实…...
【React】什么是 Hook
useStateuseEffectuseRef 什么是hook?16.8版本出现的新特性。可以在不编写class组件的情况下使用state以及其它的React特性 为什么有hook?class组件很难提取公共的重用的代码,然后反复使用;不编写类组件也可以使用类组件的状态st…...
香港科技大学广州|智能交通学域博士招生宣讲会—北京理工大学专场
香港科技大学广州|智能交通学域博士招生宣讲会—北京理工大学专场 🕙时间:4月23日(星期三)16:00 🏠地点:北京理工大学中关村校区唯实报告厅 🔗报名链接:https://www.wj…...
食品计算—Coarse-to-fine nutrition prediction
🌟🌟 欢迎来到我的技术小筑,一个专为技术探索者打造的交流空间。在这里,我们不仅分享代码的智慧,还探讨技术的深度与广度。无论您是资深开发者还是技术新手,这里都有一片属于您的天空。让我们在知识的海洋中…...
日语学习-日语知识点小记-构建基础-JLPT-N4阶段(6):ながら 一边。。一边
日语学习-日语知识点小记-构建基础-JLPT-N4阶段(6):ながら 一边。。一边 1、前言(1)情况说明(2)工程师的信仰 2、知识点(1)ながら1)一边。。一边2࿰…...
Electricity Market Optimization(VI) - 机组组合模型以及 Gurobi 求解
本文参考链接:link \hspace{1.6em} 机组组合问题在电力系统中非常重要,这个问题也是一个优化问题,研究的就是如何调度现有的机组,调度的对象是以煤炭、石油、天然气为燃料的火力发电机以及水力发电机等可预测处理的发电机组&#…...
LoRA个关键超参数:`LoRA_rank`(通常简称为 `rank` 或 `r`)和 `LoRA_alpha`(通常简称为 `alpha`)
LoRA (Low-Rank Adaptation) 中的两个关键超参数:LoRA_rank(通常简称为 rank 或 r)和 LoRA_alpha(通常简称为 alpha)。 LoRA 的核心思想是,在对大型预训练模型(如 LLM 或 Stable Diffusion&…...
Sql刷题日志(day3)
一、笔试 1、min(date_time):求最早日期 2、mysql中distinct不能与order by 连用,可以用group by去重 二、面试 1、SQL中如何利用replace函数统计给定重复字段在字符串中的出现次数 (length(all_string)-length(all_string,目标字符串,))/length(ta…...
【AI插件开发】Notepad++ AI插件开发实践:实现对话窗口功能
引言 之前的文章已经介绍实现了AI对话窗口,但只有个空壳,没有实现功能。本次将集中完成对话窗口的功能,主要内容为: 模型动态切换:支持运行时加载配置的AI模型列表交互式输入处理:实现多行文本输入与Ctrl…...
[GESP202409 二级] 小杨的 N 字矩阵 题解
#include<bits/stdc.h> #define int long long using namespace std; int m, a[55][55], sum; signed main(){cin >> m;for(int i 1; i < m; i ){a[i][1] 1;//第一列a[i][m] 1;//第m列sum ;a[i][sum] 1;//斜着的}for(int i 1; i < m; i ){for(int j 1;…...
第八章:探索新兴趋势:Agent 框架、产品与开源力量
引言 在前两章的实战中,我们已经掌握了如何使用 LangChain、LlamaIndex、AutoGen 和 CrewAI 这些主流框架来构建 AI Agent,无论是单个智能体还是协作的多 Agent 系统。然而,AI Agent 领域的发展日新月异,如同奔腾的河流ÿ…...
条款05:了解C++默默编写并调用哪些函数
目录 1.默认生成的函数 2.无法生成的情况 2.1当成员函数有引用 或者 被const修饰 2.2.operator在基类被私有 1.默认生成的函数 class empty {};//相当于class empty { public:empty(){ ... } // 构造函数empty(const empty& rhs) { ... }// 拷贝构造~empty(){ ... } //…...
Vue3 中封装函数实现加载图片加载失败兜底方案。
文章目录 Vue3 中使用动态加载图片并处理加载失败的情况实现思路代码实现代码解析注意事项扩展功能总结 Vue3 中使用动态加载图片并处理加载失败的情况 在开发 Vue3 应用时,我们经常会遇到需要动态加载图片的场景。例如,图片资源可能从后端获取…...
微机控制电液伺服汽车减震器动态试验系统
微机控制电液伺服汽车减震器动态试验系统,用于对汽车筒式减震器、减震器台架、驾驶室减震装置、发动机悬置软垫总成、发动机前置楔形支撑总成等的示功图试验、速度特性试验。 主要的技术参数: 1、最大试验力:5kN; 2、试验力测量精…...
如何简单几步使用 FFmpeg 将任何音频转为 MP3?
在多媒体处理领域,FFmpeg 以其强大的功能和灵活性而闻名。无论是视频编辑、音频转换还是流媒体处理,它都是专业人士和技术爱好者的首选工具之一。在这篇文章中简鹿办公将重点介绍如何使用 FFmpeg 进行音频格式转换,提供一些常用的转换方式&am…...
【软考-系统架构设计师】ATAM方法及效用树
软件架构设计中ATAM方法及效用树深度解析 一、ATAM方法核心框架与流程 ATAM(架构权衡分析方法)是由卡耐基梅隆大学提出的系统性架构评估方法,旨在通过多维度质量属性分析识别架构风险、敏感点与权衡点。其实施流程分为四阶段九步骤…...
2025第十七届“华中杯”大学生数学建模挑战赛题目B 题 校园共享单车的调度与维护问题完整成品正文33页(不含附录)文章思路 模型 代码 结果分享
校园共享单车运营优化与调度模型研究 摘 要 本研究聚焦校园共享单车点位布局、供需平衡、运营效率及故障车辆回收四大核心问题,通过构建一系列数学模型,系统分析与优化共享单车的运维体系。 针对问题一,我们建立了基于多时段观测的库存估算…...
React Native 0.79 稳定版发布,更快的工具、更多改进
React Native 0.79 已发布。此版本在多个方面进行了性能改进,并修复了一些漏洞。首先,得益于延迟哈希技术,Metro 的启动速度变快了,并且对包导出提供了稳定支持。由于 JS 包压缩方式的改变等原因,Android 的启动时间也…...
中国AI应用革命开启新纪元:从DeepSeek燎原到全栈生态崛起
当生成式AI的星火点燃华夏大地,一场由DeepSeek引发的智能革命正在重构中国产业版图。在这场算力与智慧的角逐中,全产业链的协同创新正在书写中国式AI进化的新范式。 一、全栈突围:AI基础设施生态全面升维 云端启航:头部云服务商…...
生物系统中的随机性及AI拓展
生物系统远非确定性的机器,而是本质上充满噪声的。这种随机性,或称偶然性,在塑造细胞行为和结果方面起着至关重要的作用。从基因表达到细胞命运决定,波动和不可预测的事件可以显著影响生物过程。理解和建模这种固有的变异性对于全…...
智能交响:EtherCAT转Profinet网关开启汽车自动化通信新纪元
在汽车制造行业,随着自动化程度的不断提升,设备之间的高效通信显得尤为重要。以吉利汽车西安制造基地为例,生产线中广泛应用了西门子PLC与机器人手臂等设备,这些设备分别采用了Profinet和EtherCAT通信协议。为实现不同协议设备之间…...
【2025“华中杯”大学生数学建模挑战赛】选题分析 A题 详细解题思路
目录 2025“华中杯”大学生数学建模挑战赛选题分析A题:晶硅片产销策略优化B题:校园共享单车的调度与维护问题C题:就业状态分析与预测D题:患者院内转运不良事件的分析与预测 A 题 晶硅片产销策略优化问题 1:月利润计算模…...
springboot整合阿里云百炼DeepSeek,实现sse流式打印
1.开通阿里云百炼,获取到key 官方文档地址 https://bailian.console.aliyun.com/?tabapi#/api/?typemodel&urlhttps%3A%2F%2Fhelp.aliyun.com%2Fdocument_detail%2F2868565.html 2.新建SpringBoot项目 <?xml version"1.0" encoding"UTF-8"?&g…...
JMeter中设置HTTPS请求
在JMeter中设置HTTPS请求,你可以按照以下步骤进行操作: 步骤一:添加线程组 打开JMeter后,右键点击“测试计划”,选择“添加” -> “线程(用户)” -> “线程组”。线程组用于定义虚拟用户…...
oracle数据库中,merge into 语句的功能与使用场景
oracle数据库中,merge into 语句的功能与使用场景 一、MERGE INTO 语句的作用 MERGE INTO 是ORACLE数据库 SQL 中的一种数据操作语句,它结合了 INSERT、UPDATE 和 DELETE 操作的功能,通常被称为"upsert"操作(update …...
极狐GitLab 安全文件管理功能介绍
极狐GitLab 是 GitLab 在中国的发行版,关于中文参考文档和资料有: 极狐GitLab 中文文档极狐GitLab 中文论坛极狐GitLab 官网 安全文件管理 (BASIC SELF) 在极狐GitLab 15.6 中 GA,功能标志 ci_secure_files 被移除。 您可以将最多 100 个…...
极狐GitLab CI/CD 流水线计算分钟数如何管理?
极狐GitLab 是 GitLab 在中国的发行版,关于中文参考文档和资料有: 极狐GitLab 中文文档极狐GitLab 中文论坛极狐GitLab 官网 计算分钟管理 (PREMIUM SELF) 在极狐GitLab 16.1 中,从 CI/CD 分钟数重命名为计算配额或计算分钟数。 管理员可…...
XCZU4CG‑2SFVC784I 赛灵思 FPGA XilinxZynq UltraScale+ MPSoC
XCZU4CG‑2SFVC784I 是 AMD Xilinx Zynq UltraScale MPSoC CG 系列中的入门级高性能 SoC FPGA,集成了双核 Arm Cortex‑A53 通用处理器与双核 Arm Cortex‑R5F 实时处理器,以及可编程逻辑(PL)资源。 异构处理系统 (PS) 应用处理…...
软考 中级软件设计师 考点知识点笔记总结 day13 数据库系统基础知识 数据库模式映像 数据模型
文章目录 数据库系统基础知识6.1 基本概念6.1.1 DBMS的特征与分类 6.2 数据库三级模式两级映像6.3 数据库的分析与设计过程6.4 数据模型6.4.1 ER模型6.4.2 关系模型 数据库系统基础知识 基本概念 数据库三级模式两级映像 数据库的分析与设计过程 数据模型 关系代数 数据库完整…...
视频监控EasyCVR视频汇聚平台接入海康监控摄像头如何配置http监听功能?
一、方案概述 本方案主要通过EasyCVR视频管理平台,实现报警信息的高效传输与实时监控。海康监控设备能通过HTTP协议将报警信息发送至指定的目的IP或域名,而EasyCVR平台则可以接收并处理这些报警信息,同时提供丰富的监控与管理功能࿰…...