新闻详情 资讯动态

全面了解最新资讯与建站知识,洞察行业趋势。

行业资讯

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

发布时间:2026/11/5 16:27:35
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(

想做一个「会获客」的企业网站?

留下需求,1 小时内获取专属建站方案与透明报价。

免费咨询方案
↑