Rust原来很简单二:所有权系统

发布时间:2026/11/5 16:26:13

Rust原来很简单二:所有权系统 Part 2 · 核心篇 —— 所有权系统本篇覆盖第 6 ~ 10 章:所有权、借用与引用、生命周期、字符串与切片、内存模型。⚠️这是全书最重要的一篇。把它吃透,Rust 从此“很简单”;跳过它,你会处处碰壁。请慢下来,动手敲每一段代码。第 6 章 所有权:Rust 的第一性原理6.1 为什么需要所有权?其他语言管理内存有两条路:垃圾回收(GC):Java、Go、Python、JS。运行时不断扫描“哪些内存没人用了”并回收。代价:运行时开销、不可预测的停顿(STW)、内存占用高。手动管理:C、C++。程序员自己malloc/free。代价:忘记释放→内存泄漏;重复释放→崩溃;释放后使用→悬垂指针→安全漏洞。Rust 选了第三条路:在编译期,用一套规则确定每个值的“主人”,主人离开作用域时自动释放内存。无需 GC,也不靠人肉。这套规则就是所有权(Ownership)。6.2 所有权三大铁律请务必背下来:1. Rust 中每一个值都有一个所有者(owner)。2. 值在任一时刻有且只有一个所有者。3. 当所有者(变量)离开作用域,这个值将被丢弃(drop)。“离开作用域”指变量所在的花括号{}结束。此时 Rust 自动调用该类型的drop函数释放资源——就像 C++ 的 RAII,但由编译器保证执行。fnmain(){{lets=String::from("hello");// s 是 "hello" 这块堆内存的所有者println!("{s}");}// ← s 离开作用域,内存被自动释放(调用 drop)// println!("{s}"); // ❌ s 已不存在}6.3 移动语义(Move):赋值即“交出所有权”对于堆上数据(如String),把一个值赋给另一个变量,或传给函数,会**移动(move)**所有权,原变量随即失效:fnmain(){lets1=String::from("hello");lets2=s1;// s1 的所有权“移动”给了 s2// println!("{s1}"); // ❌ 编译错误:value borrowed after moveprintln!("{s2}");// ✅ 只有 s2 是所有者}为什么这样设计?因为如果s1和s2都指向同一块堆内存,作用域结束时会释放两次(double free)——这是经典内存 bug。Rust 通过“移动后原变量失效”从根上杜绝了它。🔑心智模型:把值想象成一本书。let s2 = s1;是把书交给s2,s1 手里就空了,不能再用。函数调用同理:fntake_ownership(s:String){// s 获得所有权println!("{s}");}// s 离开作用域,内存释放fnmake_copy(n:i32){// i32 是 Copy 类型,按位复制println!("{n}");}fnmain(){lets=String::from("hello");take_ownership(s);// s 的所有权移入函数// println!("{s}"); // ❌ s 已失效letx=5;make_copy(x);// x 被复制,仍可用println!("{x}");// ✅ x 依然有效}函数返回值也会转移所有权:fngive_ownership()-String{String::from("yours")// 所有权移给调用者}fntake_and_give_back(s:String)-String{s// 把所有权再还回去}fnmain(){lets1=give_ownership();lets2=String::from("hello");lets3=take_and_give_back(s2);// s2 失效,s3 成为新所有者}6.4Copy类型:赋值即复制有些类型完全存在栈上、大小固定,Rust 让它们实现Copytrait,赋值时按位复制而非移动,原变量依然有效:所有整数类型(i32,u8…)、浮点(f64…)bool、char仅含Copy类型的元组,如(i32, i32)不可变引用T(注意:可变引用mut T不是 Copy)letx=5;lety=x;// 复制,x 仍有效println!("{x} {y}");// ✅lets=String::from("hi");lett=s.clone();// String 不是 Copy,要显式 clone(深拷贝堆数据)println!("{s} {t}");// ✅ 两者都有效,各有一份堆内存规则:任何实现了Drop的类型都不能是Copy。String拥有堆内存、需要释放,所以不是Copy。6.5clone():新手的救生圈当你需要多份数据、又不想被借用规则困住时,.clone()做深拷贝:lets1=String::from("hello");lets2=s1.clone();// 显式复制堆数据println!("{s1} {s2}");// ✅ 都有效clone有性能成本(复制堆内存)。建议新手策略:先用clone让代码跑起来,理解所有权后再用“借用”优化掉它(下面第 7 章)。不要一开始就为省一次 clone 而卡死。6.6 所有权与堆栈的关系栈 (Stack) 堆 (Heap) ┌──────────────┐ ┌───────────────┐ │ s1: ptr ─────┼──────────────▶│ h e l l o │ │ len: 5 │ │ (cap: 5) │ │ cap: 5 │ └───────────────┘ └──────────────┘String在栈上存了一个“胖指针”(指向堆的指针 + 长度 + 容量),真正的字符数据在堆上。移动的是栈上的这个结构,堆数据不动,所有权随之转移。第 7 章 借用与引用:不转移所有权的访问7.1 引用的概念如果每次访问都要转移所有权再还回来,太笨拙了。引用(Reference)让你借用一个值而不获取所有权:fncalculate_length(s:String)-usize{// String:借用,不获取所有权s.len()}// s 离开作用域,但它不拥有数据,什么都不释放fnmain(){lets1=String::from(
延伸阅读

更多相关文章

2026/11/5 15:00:49

基于Hadoop+Spark的民宿智能推荐系统设计与实现

1. 项目概述:大数据时代的民宿智能推荐这个毕业设计项目融合了当前大数据领域最主流的技术栈,构建了一个完整的民宿推荐系统解决方案。作为一名长期从事大数据系统开发的工程师,我认为这个选题非常贴合实际应用场景——随着旅游业的复苏和共享…

2026/11/5 14:10:30

ADS122U04IPWR+STM32F427ZI工业级温度测量信号链设计

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/11/5 14:10:30

UART接口24位ADC搭配RS485,解决远距离温度监控难题

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/11/5 16:26:13

Rust原来很简单二:所有权系统

Part 2 核心篇 —— 所有权系统 本篇覆盖 第 6 ~ 10 章:所有权、借用与引用、生命周期、字符串与切片、内存模型。 ⚠️ 这是全书最重要的一篇。 把它吃透,Rust 从此“很简单”;跳过它,你会处处碰壁。请慢下来,动手敲每一段代码。 第 6 章 所有权:Rust 的第一性原理 6…

2026/11/5 15:00:49

基于Hadoop+Spark的民宿智能推荐系统设计与实现

1. 项目概述:大数据时代的民宿智能推荐这个毕业设计项目融合了当前大数据领域最主流的技术栈,构建了一个完整的民宿推荐系统解决方案。作为一名长期从事大数据系统开发的工程师,我认为这个选题非常贴合实际应用场景——随着旅游业的复苏和共享…

2026/11/5 14:10:30

ADS122U04IPWR+STM32F427ZI工业级温度测量信号链设计

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/11/5 14:10:30

UART接口24位ADC搭配RS485,解决远距离温度监控难题

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/11/5 14:10:30

UART接口24位ADC搭配PIC18F46K22的RTD与热电偶测温实践

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/11/5 13:55:19

GD32E10x官方例程入门:从GPIO点灯到串口调试

简介:这份GD32E10x系列官方例程面向嵌入式硬件与单片机开发者,基于ARM Cortex-M3内核,汇集兆易创新GD32E10x的示例代码,适合工业控制、消费电子、通信设备等场景的学习、验证与二次开发。压缩包共935个文件,约11.16MB&…

2026/11/5 15:39:06

面向复杂光照与角度的宠物面部识别鲁棒性增强策略

在智慧养宠时代,基于视觉的宠物身份识别技术正逐步从实验室走向家庭应用。然而,与配合度高的人类不同,宠物是典型的“非合作生物识别对象”——它们不会主动配合摄像头调整姿态,更无法控制光照环境。实际应用中,我们常…

2026/11/4 21:04:25

SSM电子书店源码全解析:结构、原理、部署与排错实战

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/11/5 0:02:07

多智能体协作系统架构设计与实践优化

1. 多智能体协作系统的时代背景2017年Transformer架构的诞生彻底改变了人工智能的发展轨迹。当行业还沉浸在单一大模型带来的性能突破时,Anthropic的研究团队已经将目光投向了更前沿的领域——如何让多个智能体通过协作产生超越单体能力的系统智能。这就像交响乐团中…

2026/11/5 0:02:07

大模型系统性入门实战指南:从原理到部署微调的全链路路线

提到大模型的系统性入门,我先说个结论:这事真不难,难的是资料太散、路线太多,今天这个框架明天那个工具,新人很容易在“收藏夹吃灰”和“教程看到一半放弃”之间反复横跳。市面上关于大模型的内容少说有几十万篇&#…

2026/11/5 0:02:07

鸿蒙文件系统沙箱机制解析与开发实践

1. 鸿蒙文件系统沙箱机制深度解析作为一名从Android转向鸿蒙开发的工程师,我深刻体会到文件系统访问是迁移过程中最先遇到的"拦路虎"。在Android上运行良好的文件读写代码,在鸿蒙真机环境却频频出现文件写入后神秘消失或直接抛出权限拒绝错误的…

2026/11/5 15:39:06

面向复杂光照与角度的宠物面部识别鲁棒性增强策略

在智慧养宠时代,基于视觉的宠物身份识别技术正逐步从实验室走向家庭应用。然而,与配合度高的人类不同,宠物是典型的“非合作生物识别对象”——它们不会主动配合摄像头调整姿态,更无法控制光照环境。实际应用中,我们常…

2026/11/4 21:04:25

SSM电子书店源码全解析:结构、原理、部署与排错实战

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

还想了解更多?直接咨询顾问

免费诊断 + 免费方案 + 透明报价。

全国咨询热线400-8866-253
免费获取方案
☎咨询二维码 ☎ ↑