news 2026/11/5 16:25:37

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

作者头像

张小明

前端开发工程师

1.2k 24
文章封面图
Rust原来很简单二:所有权系统

Part 2 · 核心篇 —— 所有权系统

本篇覆盖第 6 ~ 10 章:所有权、借用与引用、生命周期、字符串与切片、内存模型。

⚠️这是全书最重要的一篇。把它吃透,Rust 从此“很简单”;跳过它,你会处处碰壁。请慢下来,动手敲每一段代码。


第 6 章 所有权:Rust 的第一性原理

6.1 为什么需要所有权?

其他语言管理内存有两条路:

  1. 垃圾回收(GC):Java、Go、Python、JS。运行时不断扫描“哪些内存没人用了”并回收。代价:运行时开销、不可预测的停顿(STW)、内存占用高。
  2. 手动管理: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(
版权声明: 本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若内容造成侵权/违法违规/事实不符,请联系邮箱:809451989@qq.com进行投诉反馈,一经查实,立即删除!
网站建设 2026/11/5 13:10:02

锂电池PACK生产数字孪生平台架构与实现

1. 锂电池PACK生产数字孪生平台建设背景 在新能源行业快速发展的当下,锂电池PACK生产面临着前所未有的质量管控挑战。传统生产模式下,工艺参数分散在各个设备中,质量数据追溯困难,设备之间缺乏有效协同,这些问题直接影…

作者头像 李华
网站建设 2026/11/5 11:23:01

SIL2认证的本质:从IEC 61508到ControlLogix硬件诊断的确定性实现

简介:本资源为罗克韦尔自动化(Rockwell Automation)ControlLogix系列PLC于2021年通过IEC 61508:2010标准SIL2功能安全认证的官方技术文档,面向工业自动化工程师、安全系统设计人员及PLC应用开发者,解决安全回路设计中对…

作者头像 李华
网站建设 2026/11/5 10:35:25

AI决策系统优化:从92%降至5%的实战经验

1. 项目背景与核心挑战 三年前我们团队接到了一个看似不可能完成的任务——将某核心业务系统的AI决策占比从92%压缩到5%以内。这个指标在行业内被称为"AI率",指的是系统运行过程中依赖人工智能算法自动做出判断的比例。当时这个数字在业内处于领先水平&am…

作者头像 李华
网站建设 2026/11/5 10:35:22

四款高效Docker管理工具对比与实践指南

1. 容器管理工具概述在当今的云原生时代,Docker已经成为应用开发和部署的事实标准。然而,随着容器数量的增加和架构的复杂化,单纯依赖命令行管理Docker环境变得越来越低效。这就是为什么我们需要专业的Docker管理工具——它们能显著提升我们的…

作者头像 李华
网站建设 2026/11/5 10:29:05

Android串口通信开发实战:JNI+NDK从权限到收发全链路解析

简介:面向Android开发者与嵌入式联调人员的串口通信工具源码,聚焦在移动端完成串口设备连接、参数配置与数据收发这一常见需求,适合具备一定Android基础、希望打通硬件交互链路的初中级开发者参考。压缩包共43个文件、约469KB,以7…

作者头像 李华
网站建设 2026/11/5 10:25:35

全国省市边界JSON解析、坐标转换与地图渲染实践

简介:面向地图可视化开发、地理信息教学与区域数据整理场景,这份中国各省市行政区边界坐标数据以 GeoJSON 形式组织,可直接用于在 Web 或桌面地图上描边、填充与区域交互,帮助开发者省去逐省收集边界点位的重复工作,也…

作者头像 李华