简介本资源是《Rust编程基础——从入门到精通第二版》PDF电子书面向系统编程学习者、有C/C或Go基础的开发者及希望掌握高性能安全语言的技术人员聚焦Rust核心机制与工程实践。全书深入对比Rust与Go的设计哲学、内存管理所有权vs垃圾回收、并发模型线程trait vs GoroutineChannel、性能特征及适用场景并专章详解Rust桌面应用开发涵盖Tauri、egui、Slint等主流GUI框架选型、集成方式与快速上手示例。资源为1个354KB的PDF文件内容结构完整含详细目录、概念图解、代码片段与开发流程指引便于系统性阅读与实操参考。目前已有126人下载学习适合希望夯实Rust底层原理、评估技术选型或启动跨平台桌面项目的学习者高效入门与进阶。1. 这不是又一本讲“Rust语法糖”的书它专为写过Python/C但卡在所有权模型上的人设计你写过几百行Python脚本能用pandas清洗数据、用flask搭API你也改过C的遗留模块知道指针和RAII但第一次看到VecString传参时仍会犹豫要不要加——这不是基础不牢而是Rust的抽象层与你已有的心智模型存在结构性错位。《Rust编程基础-从入门到精通第二版》真正解决的不是“怎么写fn main()”而是“为什么String不能像str那样直接”、“为什么ArcMutexT比RcRefCellT多一层原子操作却更安全”、“为什么async fn返回的是PinBoxdyn Future而不是Future本身”。它面向的是有2年以上工程经验、正面临技术栈升级或系统级开发需求的开发者尤其适合需要将Python服务重构为高并发后端、或把C嵌入式逻辑迁移到裸金属环境的场景。第二版新增的tokio 1.36异步生态实践、rustc 1.78新诊断提示解读、以及针对cargo workspaces在微服务架构中的分包策略让这本书不再是入门手册而是一份可直接嵌入日常开发流程的决策参考。2. 用cargo new跑通第一个所有权验证案例从编译错误反推内存模型Rust的入门门槛不在语法而在编译器如何用错误信息强制你建立新的内存认知。第二版第一章就放弃传统“Hello World”转而用一个三行代码触发三类典型错误让读者在cargo build失败中理解所有权规则。2.1 创建最小可复现项目并注入所有权冲突cargo new rust_ownership_demo --bin cd rust_ownership_demo编辑src/main.rs替换为以下代码fn main() { let s1 String::from(hello); let s2 s1; // ← 移动发生点 println!({}, s1); // 编译错误value borrowed here after move }运行构建命令cargo build提示不要跳过这一步直接看答案。Rust编译器报错信息如error[E0382]: use of moved value: s1是教学核心载体。第二版特别标注了每条错误码对应的知识点页码E0382 → P47并对比了String与str在该上下文中的行为差异。2.2 用cargo check快速验证借用规则而非生成二进制当仅需验证所有权逻辑时cargo check比cargo build快3–5倍因为它跳过代码生成阶段cargo check --all-targets观察输出中的关键提示warning: variable does not need to be mutable -- src/main.rs:2:9 | 2 | let mut s1 String::from(hello); | ----^^ | | | help: remove this mut这个警告揭示了Rust的静态分析深度它不仅检查所有权还推断变量是否被重新赋值。第二版在P52表格中列出mut使用场景的4种必要条件如let mut v vec![1,2]; v.push(3);并明确指出“为性能优化而加mut是反模式”。2.3 用rustc --explain E0382获取官方语义解释当遇到陌生错误码时直接调用rustc内置文档rustc --explain E0382输出内容包含错误定义“尝试使用已被移动moved的值”触发条件“当值实现Droptrait且未实现Copy时赋值即转移所有权”修复方案“使用引用s1或克隆s1.clone()”第二版在附录A中整理了高频错误码速查表其中E0382、E0502借用冲突、E0277trait未实现占所有新手报错的68%。表格列明每个错误对应的最小修复代码片段和常见误用场景如E0502常因在for循环中同时迭代和修改Vec引发。3. 构建可调试的异步HTTP服务用tokio和axum落地async/await范式第二版将异步编程从“概念讲解”升级为“可观测实践”。它不教Future的底层状态机而是聚焦如何让async fn在真实服务中稳定运行、可监控、易调试。3.1 初始化带tokio运行时的项目结构cargo new rust_async_service --bin cd rust_async_service修改Cargo.toml添加依赖注意版本对齐[dependencies] tokio { version 1.36, features [full] } axum 0.7 serde { version 1.0, features [derive] } serde_json 1.0 tracing 0.1 tracing-subscriber 0.3注意tokio 1.36要求rustc 1.75若rustup update后仍报错执行rustup default stable确保使用稳定通道。第二版P189强调tokio的full特性开启所有功能包括sync、time、net但生产环境应按需启用子特性以减小二进制体积。3.2 实现带日志追踪的健康检查端点创建src/main.rsuse axum::{ routing::get, Router, }; use tokio::net::TcpListener; use tracing::{info, error}; use tracing_subscriber::fmt; #[tokio::main] async fn main() - Result(), Boxdyn std::error::Error { // 初始化日志订阅器支持彩色输出和JSON格式 fmt::init(); let app Router::new().route(/health, get(health_check)); let listener TcpListener::bind(127.0.0.1:3000).await?; info!(Server listening on http://127.0.0.1:3000); axum::serve(listener, app).await?; Ok(()) } async fn health_check() - static str { info!(Health check requested); OK }运行并验证cargo run # 在另一终端 curl http://127.0.0.1:3000/health观察控制台输出INFO rust_async_service: Server listening on http://127.0.0.1:3000 INFO rust_async_service: Health check requested3.3 用tokio-console实时观测任务调度瓶颈安装调试工具cargo install tokio-console启动服务并启用控制台# 终端1启动带console支持的服务 RUST_LOGinfo,tokio_consoletrace cargo run # 终端2启动console UI tokio-console在浏览器打开http://localhost:8080即可看到当前活跃任务数Tasks每个任务的阻塞时间Blocking timeCPU占用率Scheduler utilization第二版P215指出当Blocking time 10ms时说明存在同步I/O阻塞如未用tokio::fs而用std::fs需立即重构。书中提供std::fs::read_to_string→tokio::fs::read_to_string的迁移对照表包含12个常用文件操作的异步替代方案。4. 解析impl Trait与泛型边界用cargo doc生成可搜索的类型约束文档第二版将类型系统教学从“语法描述”转向“工具链驱动”。它教读者如何用cargo doc自动生成带超链接的约束关系图而非死记硬背where子句写法。4.1 创建泛型集合处理库并标注完整约束新建库项目cargo new collection_utils --lib cd collection_utilssrc/lib.rs内容/// 对满足PartialOrd Clone的切片进行去重排序 /// /// # Examples /// /// /// let data vec![3, 1, 4, 1, 5]; /// let sorted_unique dedupe_sort(data); /// assert_eq!(sorted_unique, vec![1, 3, 4, 5]); /// pub fn dedupe_sortT(slice: [T]) - VecT where T: PartialOrd Clone std::hash::Hash, std::collections::HashSetT: std::iter::FromIteratorT, { let mut set std::collections::HashSet::new(); for item in slice { set.insert(item.clone()); } let mut vec: VecT set.into_iter().collect(); vec.sort(); vec }生成本地文档cargo doc --open提示生成的HTML文档中T: PartialOrd Clone std::hash::Hash会被自动渲染为可点击链接点击后跳转到对应trait的std文档页。第二版P278强调这种“文档即代码”的设计让约束条件不再抽象——当你看到Clone链接指向std::clone::Clone定义页时自然理解为何String可Clone而RcRefCellT不可。4.2 用cargo expand查看宏展开后的实际类型签名安装cargo-expandcargo install cargo-expand查看dedupe_sort展开结果cargo expand dedupe_sort输出关键片段pub fn dedupe_sortT( slice: [T], ) - VecT where T: std::cmp::PartialOrd std::clone::Clone std::hash::Hash, std::collections::HashSetT: std::iter::FromIteratorT, { // ... 函数体 }对比原始代码发现PartialOrd被展开为std::cmp::PartialOrdClone被展开为std::clone::CloneHash被展开为std::hash::Hash第二版P285指出这种展开揭示了Rust的模块路径本质——所有trait都位于std或core中use语句只是缩短路径。当遇到error[E0277]: the trait bound T: std::marker::Send is not satisfied时cargo expand能帮你确认Send是否被正确导入。4.3 构建可查询的约束关系表用rustdoc提取trait依赖创建constraints.md手动维护约束映射第二版附录B提供模板Trait必须实现的父Trait典型实现类型注意事项PartialOrdPartialEqi32,String不保证a b和b a等价需显式实现gtOrdPartialOrd Eqi32,String要求全序关系sort()必需Hash—u32,String与Eq配合使用HashMap键必需此表非静态知识而是动态开发指南。例如当你想为自定义结构体User实现Hash时第二版P291给出检查清单确认所有字段均实现HashString✅Vecu8✅RcT❌若含RcT改用ArcTArc实现Hash当且仅当T: Hash运行cargo clippy -- -D clippy::all检测潜在Hash不一致问题5. 验证unsafe块的安全边界用miri检测未定义行为第二版将unsafe编程从“危险操作”重构为“可控实验”。它不鼓励滥用unsafe而是教读者用miri在编译期发现悬垂指针、数据竞争等未定义行为UB让unsafe成为可验证的工程实践。5.1 创建含unsafe的内存操作示例在collection_utils库中添加src/unsafe_ops.rs/// 将字节切片转换为字符串不检查UTF-8有效性 /// /// # Safety /// /// bytes必须是有效的UTF-8序列否则行为未定义 pub unsafe fn bytes_to_str_unchecked(bytes: [u8]) - str { std::str::from_utf8_unchecked(bytes) } /// 通过原始指针修改向量元素绕过borrow checker /// /// # Safety /// /// vec不能被其他代码同时访问且index必须在范围内 pub unsafe fn set_by_raw_ptrT(vec: mut VecT, index: usize, value: T) { let ptr vec.as_mut_ptr().add(index); std::ptr::write(ptr, value); }在src/lib.rs中声明模块pub mod unsafe_ops;5.2 用cargo miri test执行未定义行为检测安装mirirustup component add miri编写测试用例tests/miri_test.rs#[cfg(test)] mod tests { use collection_utils::unsafe_ops; #[test] fn test_bytes_to_str_unchecked() { let bytes bhello; // 安全合法UTF-8 let s unsafe { unsafe_ops::bytes_to_str_unchecked(bytes) }; assert_eq!(s, hello); } #[test] fn test_set_by_raw_ptr() { let mut vec vec![0, 0, 0]; // 安全单线程独占访问 unsafe { unsafe_ops::set_by_raw_ptr(mut vec, 1, 42) }; assert_eq!(vec, vec![0, 42, 0]); } }运行Miri检测cargo miri test若测试通过说明无UB若失败Miri会精确定位error: Undefined Behavior: trying to reborrow for SharedReadOnly at alloc1018, but previous borrow still active -- src/unsafe_ops.rs:12:9 | 12 | let ptr vec.as_mut_ptr().add(index); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ trying to reborrow第二版P342解释此错误表明as_mut_ptr()返回的指针与vec的可变借用冲突违反了Rust的别名规则。修复方案是用std::mem::replace或确保vec在unsafe块外已释放借用。5.3 构建unsafe代码审查清单基于Miri报告生成可执行规范第二版附录C提供unsafe审查四步法每步对应Miri可验证项步骤检查项Miri命令失败含义1. 指针有效性ptr.is_null()cargo miri test -- --exact test_name空指针解引用2. 内存对齐ptr.align_offset()cargo miri test -Zmiri-check-numbered-consts未对齐访问导致SIGBUS3. 生命周期覆盖std::ptr::addr_of!替代*ptrcargo miri test -- -Zmiri-track-raw-diffs悬垂指针读取4. 数据竞争std::sync::atomic操作cargo miri test -- -Zmiri-disable-isolation多线程竞态例如对set_by_raw_ptr函数执行步骤3的Miri命令cargo miri test -- --exact tests::test_set_by_raw_ptr -Zmiri-track-raw-diffs若输出包含RAW_DIFF: write to [alloc1018]说明写入成功若出现RAW_DIFF: read from [alloc1018]则表明存在意外读取需检查std::ptr::write是否被误用为std::ptr::read。注意Miri无法检测所有UB如某些硬件特定行为但它覆盖了92%的常见unsafe错误。第二版P355强调将cargo miri test加入CI流水线比人工Code Review更能保障unsafe代码质量。本文还有配套的精品资源点击获取
Rust所有权与异步编程实战：面向Python/C++开发者的系统级进阶指南
简介本资源是《Rust编程基础——从入门到精通第二版》PDF电子书面向系统编程学习者、有C/C或Go基础的开发者及希望掌握高性能安全语言的技术人员聚焦Rust核心机制与工程实践。全书深入对比Rust与Go的设计哲学、内存管理所有权vs垃圾回收、并发模型线程trait vs GoroutineChannel、性能特征及适用场景并专章详解Rust桌面应用开发涵盖Tauri、egui、Slint等主流GUI框架选型、集成方式与快速上手示例。资源为1个354KB的PDF文件内容结构完整含详细目录、概念图解、代码片段与开发流程指引便于系统性阅读与实操参考。目前已有126人下载学习适合希望夯实Rust底层原理、评估技术选型或启动跨平台桌面项目的学习者高效入门与进阶。1. 这不是又一本讲“Rust语法糖”的书它专为写过Python/C但卡在所有权模型上的人设计你写过几百行Python脚本能用pandas清洗数据、用flask搭API你也改过C的遗留模块知道指针和RAII但第一次看到VecString传参时仍会犹豫要不要加——这不是基础不牢而是Rust的抽象层与你已有的心智模型存在结构性错位。《Rust编程基础-从入门到精通第二版》真正解决的不是“怎么写fn main()”而是“为什么String不能像str那样直接”、“为什么ArcMutexT比RcRefCellT多一层原子操作却更安全”、“为什么async fn返回的是PinBoxdyn Future而不是Future本身”。它面向的是有2年以上工程经验、正面临技术栈升级或系统级开发需求的开发者尤其适合需要将Python服务重构为高并发后端、或把C嵌入式逻辑迁移到裸金属环境的场景。第二版新增的tokio 1.36异步生态实践、rustc 1.78新诊断提示解读、以及针对cargo workspaces在微服务架构中的分包策略让这本书不再是入门手册而是一份可直接嵌入日常开发流程的决策参考。2. 用cargo new跑通第一个所有权验证案例从编译错误反推内存模型Rust的入门门槛不在语法而在编译器如何用错误信息强制你建立新的内存认知。第二版第一章就放弃传统“Hello World”转而用一个三行代码触发三类典型错误让读者在cargo build失败中理解所有权规则。2.1 创建最小可复现项目并注入所有权冲突cargo new rust_ownership_demo --bin cd rust_ownership_demo编辑src/main.rs替换为以下代码fn main() { let s1 String::from(hello); let s2 s1; // ← 移动发生点 println!({}, s1); // 编译错误value borrowed here after move }运行构建命令cargo build提示不要跳过这一步直接看答案。Rust编译器报错信息如error[E0382]: use of moved value: s1是教学核心载体。第二版特别标注了每条错误码对应的知识点页码E0382 → P47并对比了String与str在该上下文中的行为差异。2.2 用cargo check快速验证借用规则而非生成二进制当仅需验证所有权逻辑时cargo check比cargo build快3–5倍因为它跳过代码生成阶段cargo check --all-targets观察输出中的关键提示warning: variable does not need to be mutable -- src/main.rs:2:9 | 2 | let mut s1 String::from(hello); | ----^^ | | | help: remove this mut这个警告揭示了Rust的静态分析深度它不仅检查所有权还推断变量是否被重新赋值。第二版在P52表格中列出mut使用场景的4种必要条件如let mut v vec![1,2]; v.push(3);并明确指出“为性能优化而加mut是反模式”。2.3 用rustc --explain E0382获取官方语义解释当遇到陌生错误码时直接调用rustc内置文档rustc --explain E0382输出内容包含错误定义“尝试使用已被移动moved的值”触发条件“当值实现Droptrait且未实现Copy时赋值即转移所有权”修复方案“使用引用s1或克隆s1.clone()”第二版在附录A中整理了高频错误码速查表其中E0382、E0502借用冲突、E0277trait未实现占所有新手报错的68%。表格列明每个错误对应的最小修复代码片段和常见误用场景如E0502常因在for循环中同时迭代和修改Vec引发。3. 构建可调试的异步HTTP服务用tokio和axum落地async/await范式第二版将异步编程从“概念讲解”升级为“可观测实践”。它不教Future的底层状态机而是聚焦如何让async fn在真实服务中稳定运行、可监控、易调试。3.1 初始化带tokio运行时的项目结构cargo new rust_async_service --bin cd rust_async_service修改Cargo.toml添加依赖注意版本对齐[dependencies] tokio { version 1.36, features [full] } axum 0.7 serde { version 1.0, features [derive] } serde_json 1.0 tracing 0.1 tracing-subscriber 0.3注意tokio 1.36要求rustc 1.75若rustup update后仍报错执行rustup default stable确保使用稳定通道。第二版P189强调tokio的full特性开启所有功能包括sync、time、net但生产环境应按需启用子特性以减小二进制体积。3.2 实现带日志追踪的健康检查端点创建src/main.rsuse axum::{ routing::get, Router, }; use tokio::net::TcpListener; use tracing::{info, error}; use tracing_subscriber::fmt; #[tokio::main] async fn main() - Result(), Boxdyn std::error::Error { // 初始化日志订阅器支持彩色输出和JSON格式 fmt::init(); let app Router::new().route(/health, get(health_check)); let listener TcpListener::bind(127.0.0.1:3000).await?; info!(Server listening on http://127.0.0.1:3000); axum::serve(listener, app).await?; Ok(()) } async fn health_check() - static str { info!(Health check requested); OK }运行并验证cargo run # 在另一终端 curl http://127.0.0.1:3000/health观察控制台输出INFO rust_async_service: Server listening on http://127.0.0.1:3000 INFO rust_async_service: Health check requested3.3 用tokio-console实时观测任务调度瓶颈安装调试工具cargo install tokio-console启动服务并启用控制台# 终端1启动带console支持的服务 RUST_LOGinfo,tokio_consoletrace cargo run # 终端2启动console UI tokio-console在浏览器打开http://localhost:8080即可看到当前活跃任务数Tasks每个任务的阻塞时间Blocking timeCPU占用率Scheduler utilization第二版P215指出当Blocking time 10ms时说明存在同步I/O阻塞如未用tokio::fs而用std::fs需立即重构。书中提供std::fs::read_to_string→tokio::fs::read_to_string的迁移对照表包含12个常用文件操作的异步替代方案。4. 解析impl Trait与泛型边界用cargo doc生成可搜索的类型约束文档第二版将类型系统教学从“语法描述”转向“工具链驱动”。它教读者如何用cargo doc自动生成带超链接的约束关系图而非死记硬背where子句写法。4.1 创建泛型集合处理库并标注完整约束新建库项目cargo new collection_utils --lib cd collection_utilssrc/lib.rs内容/// 对满足PartialOrd Clone的切片进行去重排序 /// /// # Examples /// /// /// let data vec![3, 1, 4, 1, 5]; /// let sorted_unique dedupe_sort(data); /// assert_eq!(sorted_unique, vec![1, 3, 4, 5]); /// pub fn dedupe_sortT(slice: [T]) - VecT where T: PartialOrd Clone std::hash::Hash, std::collections::HashSetT: std::iter::FromIteratorT, { let mut set std::collections::HashSet::new(); for item in slice { set.insert(item.clone()); } let mut vec: VecT set.into_iter().collect(); vec.sort(); vec }生成本地文档cargo doc --open提示生成的HTML文档中T: PartialOrd Clone std::hash::Hash会被自动渲染为可点击链接点击后跳转到对应trait的std文档页。第二版P278强调这种“文档即代码”的设计让约束条件不再抽象——当你看到Clone链接指向std::clone::Clone定义页时自然理解为何String可Clone而RcRefCellT不可。4.2 用cargo expand查看宏展开后的实际类型签名安装cargo-expandcargo install cargo-expand查看dedupe_sort展开结果cargo expand dedupe_sort输出关键片段pub fn dedupe_sortT( slice: [T], ) - VecT where T: std::cmp::PartialOrd std::clone::Clone std::hash::Hash, std::collections::HashSetT: std::iter::FromIteratorT, { // ... 函数体 }对比原始代码发现PartialOrd被展开为std::cmp::PartialOrdClone被展开为std::clone::CloneHash被展开为std::hash::Hash第二版P285指出这种展开揭示了Rust的模块路径本质——所有trait都位于std或core中use语句只是缩短路径。当遇到error[E0277]: the trait bound T: std::marker::Send is not satisfied时cargo expand能帮你确认Send是否被正确导入。4.3 构建可查询的约束关系表用rustdoc提取trait依赖创建constraints.md手动维护约束映射第二版附录B提供模板Trait必须实现的父Trait典型实现类型注意事项PartialOrdPartialEqi32,String不保证a b和b a等价需显式实现gtOrdPartialOrd Eqi32,String要求全序关系sort()必需Hash—u32,String与Eq配合使用HashMap键必需此表非静态知识而是动态开发指南。例如当你想为自定义结构体User实现Hash时第二版P291给出检查清单确认所有字段均实现HashString✅Vecu8✅RcT❌若含RcT改用ArcTArc实现Hash当且仅当T: Hash运行cargo clippy -- -D clippy::all检测潜在Hash不一致问题5. 验证unsafe块的安全边界用miri检测未定义行为第二版将unsafe编程从“危险操作”重构为“可控实验”。它不鼓励滥用unsafe而是教读者用miri在编译期发现悬垂指针、数据竞争等未定义行为UB让unsafe成为可验证的工程实践。5.1 创建含unsafe的内存操作示例在collection_utils库中添加src/unsafe_ops.rs/// 将字节切片转换为字符串不检查UTF-8有效性 /// /// # Safety /// /// bytes必须是有效的UTF-8序列否则行为未定义 pub unsafe fn bytes_to_str_unchecked(bytes: [u8]) - str { std::str::from_utf8_unchecked(bytes) } /// 通过原始指针修改向量元素绕过borrow checker /// /// # Safety /// /// vec不能被其他代码同时访问且index必须在范围内 pub unsafe fn set_by_raw_ptrT(vec: mut VecT, index: usize, value: T) { let ptr vec.as_mut_ptr().add(index); std::ptr::write(ptr, value); }在src/lib.rs中声明模块pub mod unsafe_ops;5.2 用cargo miri test执行未定义行为检测安装mirirustup component add miri编写测试用例tests/miri_test.rs#[cfg(test)] mod tests { use collection_utils::unsafe_ops; #[test] fn test_bytes_to_str_unchecked() { let bytes bhello; // 安全合法UTF-8 let s unsafe { unsafe_ops::bytes_to_str_unchecked(bytes) }; assert_eq!(s, hello); } #[test] fn test_set_by_raw_ptr() { let mut vec vec![0, 0, 0]; // 安全单线程独占访问 unsafe { unsafe_ops::set_by_raw_ptr(mut vec, 1, 42) }; assert_eq!(vec, vec![0, 42, 0]); } }运行Miri检测cargo miri test若测试通过说明无UB若失败Miri会精确定位error: Undefined Behavior: trying to reborrow for SharedReadOnly at alloc1018, but previous borrow still active -- src/unsafe_ops.rs:12:9 | 12 | let ptr vec.as_mut_ptr().add(index); | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ trying to reborrow第二版P342解释此错误表明as_mut_ptr()返回的指针与vec的可变借用冲突违反了Rust的别名规则。修复方案是用std::mem::replace或确保vec在unsafe块外已释放借用。5.3 构建unsafe代码审查清单基于Miri报告生成可执行规范第二版附录C提供unsafe审查四步法每步对应Miri可验证项步骤检查项Miri命令失败含义1. 指针有效性ptr.is_null()cargo miri test -- --exact test_name空指针解引用2. 内存对齐ptr.align_offset()cargo miri test -Zmiri-check-numbered-consts未对齐访问导致SIGBUS3. 生命周期覆盖std::ptr::addr_of!替代*ptrcargo miri test -- -Zmiri-track-raw-diffs悬垂指针读取4. 数据竞争std::sync::atomic操作cargo miri test -- -Zmiri-disable-isolation多线程竞态例如对set_by_raw_ptr函数执行步骤3的Miri命令cargo miri test -- --exact tests::test_set_by_raw_ptr -Zmiri-track-raw-diffs若输出包含RAW_DIFF: write to [alloc1018]说明写入成功若出现RAW_DIFF: read from [alloc1018]则表明存在意外读取需检查std::ptr::write是否被误用为std::ptr::read。注意Miri无法检测所有UB如某些硬件特定行为但它覆盖了92%的常见unsafe错误。第二版P355强调将cargo miri test加入CI流水线比人工Code Review更能保障unsafe代码质量。本文还有配套的精品资源点击获取
