当前位置: 首页 > news >正文

rust语言学习笔记Trait(十三)Borrow、BorrowMut(借用)

BorrowBorrowMut是 Rust 标准库中用于抽象‌借用行为‌的两个核心 trait,位于std::borrow模块。它们为类型系统提供了一种“可以通过引用访问底层数据”的通用契约,尤其适合泛型编程和集合类型的键查找场景。‌

1、Borrow不可变借用

(1)定义

pubtraitBorrow<Borrowed:?Sized>{fnborrow(&self)->&Borrowed;}

Borrow<Borrowed>表示“当前类型可以被不可变地借用为&Borrowed”。

  • String实现了Borrow<str>,即String可以借用为&str
  • Vec<T>实现了Borrow<[T]>,即Vec<T>可以借用为&[T]
  • Box<T>实现了Borrow<T>,即Box<T>可以借用为 `&T

(2)核心特点:语义等价保证

Borrow有一个‌文档规定的契约‌:如果类型T实现了Borrow<U>,那么T的借用结果&U必须在EqOrdHash这些 trait 上与T自身保持行为一致。也就是说,‌借用前后的值是语义等价的‌。

这一约束是BorrowAsRef最本质的区别。AsRef只关注类型转换本身,不关心相等性、哈希值等语义是否一致;而Borrow明确要求这种一致性。

(3)为什么是泛型 Trait?

一个类型可能需要被借用为多种形式。例如String

  • 实现了Borrow<str>(借用为字符串切片)
  • 通过 blanket impl 自动实现了Borrow<String>(借用为自身)

这种泛型设计让同一种类型能以不同的“视角”被安全借用,极大提升了 API 的灵活性。

2、BorrowMut可变借用

(1)定义

rustpub trait BorrowMut<Borrowed: ?Sized>: Borrow<Borrowed> { fn borrow_mut(&mut self) -> &mut Borrowed; }

BorrowMutBorrow的可变版本,并且‌**自动继承了Borrow**‌。它允许通过可变引用获取底层数据的可变借用。

(2)常见实现

  • &mut T实现BorrowMut<T>
  • Vec<T>实现BorrowMut<[T]>
  • RefCell<T>实现BorrowMut<T>(在运行时检查借用规则)

3、HashMap等集合的异构键查找(Borrow的核心用途)

HashMap::get的签名

pubfnget<Q:?Sized>(&self,k:&Q)->Option<&V>whereK:Borrow<Q>,Q:Hash+Eq,{self.base.get(k)}

这里的K: Borrow<Q>保证了键类型K(如String)可以被借用为查询类型Q(如str),并且两者的HashEq实现是兼容的,从而确保通过&str计算出的哈希桶与插入时通过String计算出的哈希桶完全一致。

usestd::collections::HashMap;fnmain(){letmutm=HashMap::new();m.insert("aaa".to_string(),111);println!("{:?}",m.get("aaa"));// Some(111)}

同样的机制也适用于BTreeMapHashSetBTreeSet等标准库集合类型。

4、泛型函数参数的类型扩展

当函数需要接受多种“可借用为某类型”的参数时,Borrow可以完美胜任:

usestd::borrow::Borrow;fnprint_info<T:Borrow<str>>(s:T){letst=s.borrow();// &strprintln!("{}",st);}fnmain(){print_info("aaaaa");// &strprint_info(String::from("bbbbb"));// Stringprint_info(std::borrow::Cow::Borrowed("ccc"));// Cow<str>}

函数只需要一个实现,就能同时接受&strStringCow<str>等多种类型,且所有类型在Hash/Eq/Ord上的行为保持一致。

5、自定义类型的语义借用

当自定义类型包装了某个值,且希望它在集合中表现得如同底层类型一样时,可以实现Borrow

usestd::borrow::Borrow;usestd::collections::HashSet;usestd::hash::Hash;#[derive(PartialEq, Eq, Hash)]structMyStruct(String);implBorrow<str>forMyStruct{fnborrow(&self)->&str{&self.0}}fnmain(){letmuts=HashSet::new();s.insert(MyStruct("aaeeaa".to_string()));println!("{}",s.contains("aaeeaa"));}

6、BorrowMut在可变上下文中的应用

当需要泛型地修改包装类型的内部值时:

usestd::borrow::BorrowMut;fnmy_fn<T:BorrowMut<i32>>(s:&mutT){*s.borrow_mut()+=2;}fnmain(){letmuta=6;my_fn(&muta);println!("{}",a);// 8letmutb=Box::new(15);my_fn(&mutb);println!("{}",*b);// 17}

函数不关心传入的是&mut i32还是Box<i32>,只要它能通过BorrowMut<i32>提供对i32的可变引用即可。

7、BorrowvsAsRef的选择指南

维度BorrowAsRef
语义保证要求借用值与原值在Eq/Hash/Ord上等价仅做类型转换,无语义保证
主要用途集合键查找、需要语义等价的场合简单的引用转换、文件路径处理
典型场景HashMap::getBTreeMap键查询File::open、接受Path参数的函数
实现约束需确保x.borrow() == y.borrow()当且仅当x == y无此约束

简单记忆‌:涉及集合查找、比较、哈希等价时用Borrow;仅是类型转换、路径处理等用AsRef

http://www.zskr.cn/news/1415800.html

相关文章:

  • 2026杭州新房除醛全攻略:Top5机构深度测评与优选榜单 - 绿舒环保母婴除甲醛
  • 消费级机器人爆发:技术、供应链与需求驱动,未来机会几何?
  • 深度解析怡南铜业TOPPO:慢走丝电极线核心技术与高端制造应用 - 速递信息
  • 深入拆解:从 TCP 状态机到 HTTP/3 拥塞控制的底层演进
  • AI Agent平台安全配置自动化扫描工具AISecScan的设计与实践
  • 常德黄金回收六家老店实测对比 本地人卖金先看这篇 - 专业黄金回收
  • 开源LCA工具openLCA:5步快速掌握生命周期评估核心技能
  • 我的大灯验车不过,怎么办? 大灯晚上行车不亮 怎么弄亮了?哪里可以弄一下,北京波波改灯18701643587 - 北京新语
  • 【2026年华为暑期实习(AI)-5月27日-第三题- 流式日志Top-K高频统计】(题目+思路+JavaC++Python解析+在线测试)
  • 国内评价好的道闸厂家哪个好,道闸/不锈钢伸缩门/电动直线门/段滑门/直线门/升降柱/电动伸缩门,道闸定制工厂有哪些 - 品牌推荐师
  • 高维回归模型检验新方法:加权残差过程与平滑自助法
  • 从数学公式到视觉魔法:深入理解ShaderGraph中Length、Dot、Cross Product节点的底层逻辑与创意应用
  • 04 — CLAUDE.md 入门:给 AI 写一份“员工手册“
  • 5分钟快速上手:在macOS上免费运行Windows应用的终极解决方案
  • 未来 5 年哪些行业可能迎来爆发?
  • RoboCom备赛救急实录:当VNC崩溃时,我是如何用NoMachine在5分钟内搞定Windows远程Linux的
  • Cortex-M3/M4总线传输机制与性能优化指南
  • Detect It Easy:让文件类型检测变得简单高效
  • 告别依赖地狱:手把手教你用APT和源码编译解决SecureCRT 8.3在Ubuntu 20.04的安装难题
  • 厦门市思明区潇吴设备租赁:厦门靠谱的电瓶车租赁找哪家 - LYL仔仔
  • 大模型时代,程序员如何转型?收藏这份Agent工程师进阶指南!
  • DIY笔记本移动电源:基于18650电池与IP2368模块的双向快充方案
  • 抖音视频怎么保存到相册:全场景操作方法与失败问题排查方案 - 科技热点发布
  • 别再为numpy版本报错发愁了!手把手教你用Anaconda搞定Qlib量化环境(附保姆级避坑指南)
  • 如何用猫抓浏览器扩展实现网页资源一键捕获:终极免费资源嗅探工具
  • Agent对电信装维工单调度的优化效果如何?2026企业级智能体调度方案详解与技术实测
  • 规模化构建平台:从理论到实践,如何应对企业级挑战
  • 《我的世界》红石数字电路:3位二进制转十进制转换器设计与实现
  • 5个技巧掌握抖音批量下载工具:轻松获取无水印视频的终极指南
  • 一年GMV超7亿元、黄子韬持股近20%,朵薇却为何品控频频翻车?