文档教程【免费下载链接】rust-by-exampleLearn Rust with examples (Live code editor included)项目地址https://gitcode.com/gh_mirrors/ru/rust-by-example点击查看免费下载本文以 Rust By Example 开源教程 src/scope/raii.md 为核心骨架系统讲解 Rust 如何通过 RAIIResource Acquisition Is Initialization资源获取即初始化让资源在离开作用域时自动释放杜绝手工管理内存带来的资源泄漏并结合仓库内所有权、借用、生命周期等章节深入剖析Droptrait 的实现原理、BoxT的堆内存所有权模型以及 RAII 在文件句柄、临时文件清理等真实场景中的落地方式。读完本文你将理解 Rust 无需free/delete即可安全管理内存的底层机制掌握用valgrind验证零泄漏的实践方法并学会为自己的类型实现自定义析构逻辑。什么是 RAII变量不止持有数据还拥有资源在 Rust 中变量在栈上不只是存放数据它们还拥有资源。最典型的例子是BoxT一个BoxT在栈上只是一个指向堆内存的指针但它拥有堆上那块内存。Rust 强制实施 RAIIResource Acquisition Is Initialization资源获取即初始化这一原则只要一个对象离开其作用域它的析构器destructor就会被调用它所拥有的资源随即被释放。这一行为从语言层面屏蔽了资源泄漏类 bug——你永远不会需要手动free内存也不必再为内存泄漏惴惴不安。这一设计与 C/C 中的手动释放模型形成了鲜明对比在 C 语言里malloc出来的内存必须由程序员用free显式归还漏掉一次就泄漏一处而在 Rust 中释放动作与作用域退出自动绑定编译器与运行时共同保证谁拥有、谁释放、必然释放一次。快速上手Box 在离开作用域时自动释放堆内存原文档给出的raii.rs演示了 RAII 的完整行为——无需任何手工释放语句堆内存的分配与释放完全由作用域驱动// raii.rs fn create_box() { // Allocate an integer on the heap let _box1 Box::new(3i32); // _box1 is destroyed here, and memory gets freed } fn main() { // Allocate an integer on the heap let _box2 Box::new(5i32); // A nested scope: { // Allocate an integer on the heap let _box3 Box::new(4i32); // _box3 is destroyed here, and memory gets freed } // Creating lots of boxes just for fun // Theres no need to manually free memory! for _ in 0u32..1_000 { create_box(); } // _box2 is destroyed here, and memory gets freed }这段代码揭示了 RAII 的几个关键行为_box1在create_box()函数返回时销毁对应的 3i32 堆内存随之释放_box3在嵌套块{ ... }结束时销毁4i32 的堆内存随之释放——作用域即生命周期边界_box2在main结束、程序退出时销毁5i32 的堆内存最后被释放循环中重复调用create_box()1000 次每次调用都会完成一次分配 自动释放的完整闭环全程无泄漏。用 valgrind 验证1013 次分配对应 1013 次释放RAII 是否真的杜绝了泄漏原文档给出了最直接的证据——用内存错误检测工具valgrind通过 Memcheck 工具对编译产物进行检查。你可以按以下方式在本机复现$ rustc raii.rs valgrind ./raii 26873 Memcheck, a memory error detector 26873 Copyright (C) 2002-2013, and GNU GPLd, by Julian Seward et al. 26873 Using Valgrind-3.9.0 and LibVEX; rerun with -h for copyright info 26873 Command: ./raii 26873 26873 26873 HEAP SUMMARY: 26873 in use at exit: 0 bytes in 0 blocks 26873 total heap usage: 1,013 allocs, 1,013 frees, 8,696 bytes allocated 26873 26873 All heap blocks were freed -- no leaks are possible 26873 26873 For counts of detected and suppressed errors, rerun with: -v 26873 ERROR SUMMARY: 0 errors from 0 contexts (suppressed: 2 from 2)这段输出的关键指标值得逐条解读in use at exit: 0 bytes in 0 blocks程序退出时堆上没有残留任何未释放的块这是零泄漏的直接标志total heap usage: 1,013 allocs, 1,013 frees分配次数与释放次数严格相等1 次_box2 1 次_box3 1000 次_box1 1 次栈上的隐藏分配合计 1013 次每一笔分配都被 RAII 自动归还ERROR SUMMARY: 0 errors from 0 contexts无内存错误、无越界访问验证通过。注意valgrind 是 Linux 平台工具且被检测程序必须以rustc直接编译为可执行文件rustc raii.rs。如果你的代码在 mdBook 的在线编辑器中运行同样可以观察零泄漏的输出只是无法使用 valgrind 做内存检测。底层机制为什么离开作用域就能释放——所有权与移动RAII 之所以成立根基在于 Rust 的所有权ownership模型。本仓库 src/scope/move.md 明确指出因为变量负责释放自己的资源所以一份资源只能有一个所有者——这防止了资源被重复释放。关键规则包括赋值与传参会转移所有权执行let x y或按值传参foo(x)时资源的所有权被转移Rust 术语中称为move移动转移后旧所有者失效资源被移动后之前的拥有者不能再被使用这避免了悬垂指针dangling pointer栈上可 Copy 类型不受影响实现Copy的类型如u32在赋值时是复制数据而非移动资源新旧变量可独立使用。// This function takes ownership of the heap allocated memory fn destroy_box(c: Boxi32) { println!(Destroying a box that contains {}, c); // c is destroyed and the memory freed } fn main() { // _Stack_ allocated integer let x 5u32; // *Copy* x into y - no resources are moved let y x; println!(x is {}, and y is {}, x, y); // a is a pointer to a _heap_ allocated integer let a Box::new(5i32); println!(a contains: {}, a); // *Move* a into b let b a; // The pointer address of a is copied (not the data) into b. // Both are now pointers to the same heap allocated data, but // b now owns it. // Error! a can no longer access the data, because it no longer owns the // heap memory //println!(a contains: {}, a); // TODO ^ Try uncommenting this line // This function takes ownership of the heap allocated memory from b destroy_box(b); // Since the heap memory has been freed at this point, this action would // result in dereferencing freed memory, but its forbidden by the compiler // Error! Same reason as the previous Error //println!(b contains: {}, b); // TODO ^ Try uncommenting this line }把所有权与 RAII 放在一起看逻辑就闭环了一份资源只有一个所有者当这个所有者离开作用域时析构器必然运行、资源必然释放且恰好释放一次。移动让所有权得以转移而不产生重复释放编译器则静态地阻止对已失效所有者的访问——这正是 src/scope/move.md 中错误示例被注释掉的原因解引用一个已移动的Box等于读取已被释放的内存而这是被编译器明确禁止的。Box 的本质栈上的指针 堆上的数据为了理解离开作用域即释放堆内存需要进一步看清BoxT的内存布局。本仓库 src/std/box.md 说明Rust 中所有值默认在栈上分配通过Box::new(value)可以把值放到堆上BoxT是一个指向堆上T类型值的智能指针当 Box 离开作用域时其析构器被调用内部对象被销毁堆内存被释放装箱值可以用*操作符解引用去掉一层间接寻址Box 本身在栈上只占一个指针的大小64 位平台下为 8 字节无论堆上数据多大。src/std/box.md 中的示例用std::mem::size_of_val实测了这一点Point两个 f64在栈上占 16 字节而BoxPoint在栈上只占指针大小BoxBoxPoint双重间接同样只占一个指针大小。这种栈上瘦指针 堆上胖数据的结构正是 RAII 释放堆内存的物理前提——Box 作为所有者它的析构器知道自己拥有哪块堆内存并负责归还。析构器与 Drop trait自定义资源离开作用域时的行为原文档的第二部分讲解了 Rust 析构器的实现载体——Droptrait。Rust 的析构器概念由标准库的Droptrait 提供当资源离开作用域时其析构器被调用。注意Drop并非要求每个类型都必须实现——只有当你的类型需要自定义析构逻辑时才需要实现它。struct ToDrop; impl Drop for ToDrop { fn drop(mut self) { println!(ToDrop is being dropped); } } fn main() { let x ToDrop; println!(Made a ToDrop!); }运行这段代码控制台会依次输出Made a ToDrop! ToDrop is being dropped注意输出的顺序Made a ToDrop!先出现ToDrop is being dropped在main结束时x离开作用域时才出现。这印证了析构器触发的时机——不是创建时而是作用域退出时。仓库中的 Drop 详解标准类型与自定义类型本仓库专门开辟了 src/trait/drop.md 一章深入讲解Drop可作为本篇的延伸阅读。该章指出Box、Vec、String、File、Process等都是实现了Droptrait 以释放资源的类型Drop也允许为任意自定义数据类型手动实现。其核心要点包括Droptrait 只有一个方法drop(mut self)在对象离开作用域时自动调用drop的主要用途是释放实现者实例所拥有的资源变量也可以被std::mem::drop函数手动提前析构手动drop之后作用域结束时不会再析构第二次。src/trait/drop.md 中的示例展示了作用域嵌套与 Drop 的执行顺序内部块先退出、先析构外部块后退出、后析构以及手动drop(_a)后_a不再被二次析构的行为——drop函数的语义是确保该值的析构器此刻运行一次之后所有权已终结。实战扩展用 Drop 自动清理临时文件RAII 的价值不止于内存。仓库 src/trait/drop.md 给出了一个非常实用的落地场景——用Drop自动清理临时文件其模式可以直接移植到你的项目中use std::fs::File; use std::path::PathBuf; struct TempFile { file: File, path: PathBuf, } impl TempFile { fn new(path: PathBuf) - std::io::ResultSelf { // Note: File::create() will overwrite existing files let file File::create(path)?; Ok(Self { file, path }) } } // When TempFile is dropped: // 1. First, our custom drop implementation runs. The file is still open at this point, // but we can remove it from the filesystem by path. // 2. Then, after our drop returns, Rust automatically drops each field, // so Files drop runs and closes the file handle. impl Drop for TempFile { fn drop(mut self) { // Note: the File is still open here — field destructors run after this method. if let Err(e) std::fs::remove_file(self.path) { eprintln!(Failed to remove temporary file: {}, e); } println!( Dropped temporary file: {:?}, self.path); // After this method returns, Rust will drop each field (including file), // which closes the underlying file handle. } } fn main() - std::io::Result() { // Create a new scope to demonstrate drop behavior { let temp TempFile::new(test.txt.into())?; println!(Temporary file created); // File will be automatically cleaned up when temp goes out of scope } println!(End of scope - file should be cleaned up); // We can also manually drop if needed let temp2 TempFile::new(another_test.txt.into())?; drop(temp2); // Explicitly drop the file println!(Manually dropped file); Ok(()) }这个例子的精妙之处在于它揭示了析构的两阶段执行顺序这是理解 Rust 析构模型的关键先运行自定义的drop方法此时file字段仍处于打开状态但我们已经可以按路径remove_file删除文件drop返回后Rust 自动逐个析构每个字段file字段的File::drop运行底层文件句柄被关闭。也就是说字段的析构发生在自定义drop方法返回之后而非之前。利用这个顺序你可以安全地在自定义析构逻辑中读取字段状态再让 Rust 完成底层的字段级清理。无论是临时文件、网络连接、锁lock还是数据库句柄这套获取即初始化、作用域退出即自动释放的模式都同样适用。RAII 与移动的交互实现 Drop 的类型不能部分移出所有权移动与 RAII 之间存在一个容易踩坑的交互实现了Droptrait 的类型不能被部分移动partial move。仓库 src/scope/move/partial_move.md 专门讨论了这一限制。在解构destructuring一个变量时可以同时使用by-move和by-reference两种绑定模式产生部分移动——变量的一部分被移动走另一部分保留。这种情况下父变量整体不能再被使用但仅被引用的那部分仍可访问。然而实现了Droptrait 的类型无法被部分移动因为该类型的drop方法在析构时会把整个变量当作一个整体来使用若允许部分移出析构器就可能访问到已被移动走的字段。fn main() { #[derive(Debug)] struct Person { name: String, age: Boxu8, } // Error! cannot move out of a type which implements the Drop trait //impl Drop for Person { // fn drop(mut self) { // println!(Dropping the person struct {:?}, self) // } //} // TODO ^ Try uncommenting these lines let person Person { name: String::from(Alice), age: Box::new(20), }; // name is moved out of person, but age is referenced let Person { name, ref age } person; println!(The persons age is {}, age); println!(The persons name is {}, name); // Error! borrow of partially moved value: person partial move occurs //println!(The person struct is {:?}, person); // person cannot be used but person.age can be used as it is not moved println!(The persons age from person struct is {}, person.age); }如果取消impl Drop for Person的注释编译器会直接拒绝cannot move out of a type which implements theDroptrait。这条规则的本质是保护 RAII 的完整性——析构器保证整个对象作为一个整体被释放任何破坏整体性的移动都被禁止。这也反向印证了 RAII 的承诺只要资源仍在作用域内它的析构器就一定能完整地访问到它拥有的全部资源。RAII、借用与生命周期三者如何协同RAII 解决的是资源何时释放而 Rust 的安全保证还依赖借用borrowing与生命周期lifetime两个机制与之协同。借用不转移所有权仓库 src/scope/borrow.md 说明大多数时候我们希望访问数据而不取得所有权为此 Rust 提供借用机制——以引用T代替按值传递T。编译器通过借用检查器静态保证引用永远指向有效对象只要对某对象的引用仍然存在该对象就不能被销毁。这意味着你不能在仍有boxed_i32引用存活时把boxed_i32交给eat_box_i32销毁——借用的存在冻结了 RAII 的释放时机直到最后一个引用消失。生命周期与作用域不是一回事仓库 src/scope/lifetime.md 明确指出生命周期是编译器更准确地说是借用检查器用来确保所有借用有效性的构造变量的生命周期从创建开始、到销毁结束。虽然生命周期与作用域经常被一起提及但二者并不相同——借用的生命周期由声明位置决定而其作用域由引用的使用位置决定。借用的生命周期必须在出借者被销毁之前结束这样才能保证 RAII 释放资源时不存在指向该资源的悬垂引用。三者合起来构成了 Rust 资源安全的完整图景机制回答的问题载体RAII资源何时、由谁释放作用域退出 Drop析构器所有权 / 移动资源在同一时刻有几个所有者编译器静态检查借用 / 生命周期引用何时可安全访问资源借用检查器RAII 保证必然释放且恰好释放一次所有权保证只有一个释放者借用与生命周期保证释放时没有残留引用——正是这三者的组合让 Rust 可以在没有垃圾回收器GC的情况下既无内存泄漏也无悬垂指针。总结围绕本仓库 src/scope/raii.md 这一章本文完整覆盖了 RAII 的全部核心内容并做了仓库级的纵深扩展概念层变量不仅持有数据还拥有资源离开作用域即自动调用析构器并释放资源实践层BoxT的自动释放示例以及用valgrind验证1013 次分配 1013 次释放、零泄漏的完整流程机制层所有权与移动src/scope/move.md保证了一份资源一个所有者BoxT的栈指针 堆数据布局src/std/box.md决定了释放的对象扩展层Droptrait 的自定义析构src/trait/drop.md包括临时文件自动清理的实战模式以及字段析构发生在自定义 drop 之后的执行顺序边界层实现Drop的类型禁止部分移动src/scope/move/partial_move.md以及借用src/scope/borrow.md、生命周期src/scope/lifetime.md与 RAII 的协同。RAII 是 Rust 区别于 C/C 手动内存管理、也区别于带 GC 语言的关键设计它把释放这一易错操作变成了作用域的天然属性。你既不需要free也不必担心泄漏——只需遵循资源获取即初始化、离开作用域即释放这一条规则编译器与运行时就会帮你把剩下的账算清楚。赞分享文档教程【免费下载链接】rust-by-exampleLearn Rust with examples (Live code editor included)项目地址https://gitcode.com/gh_mirrors/ru/rust-by-example点击查看免费下载相关推荐Rust Drop Guards 深入解析用 RAII 自动释放锁与资源的正确姿势Comprehensive Rust 实战篇Rust Drop Guards 深入解析用 RAII 自动释放锁与资源的正确姿势Comprehensive Rust 实战篇 导读 本文基于 Compr文档教程Rust 析构函数Destructor与作用域从 drop 点理解自动资源回收Rust 析构函数Destructor与作用域从 drop 点理解自动资源回收 本篇是《100 exercises to learn rust》课程第三章示例工程教程comprehensive-rust 课程精讲用 Rust 的 RAII 与 Drop trait 管理一切资源comprehensive rust 课程精讲用 Rust 的 RAII 与 Drop trait 管理一切资源 RAIIResource Acquisit文档教程上一篇bpmn-js国际化方案多语言支持与自定义翻译文件配置教程下一篇BigFunctions与BI工具集成自动刷新Power BI和Tableau报表的完整指南创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考