第三章 系统编程与内存安全
章节聚焦： 内存管理模型（栈/堆/全局静态）、unsafe 代码安全边界、内存泄漏检测工具与策略、大厂面试高频追问方向。本章通过 3 个面试问答卡片和 1 个真实项目案例，帮你建立从理论到实战的完整应对框架。
📌 回答框架图：内存安全面试应答路径
📝 面试问答卡片
Q1
如何检测和预防 Rust 中的内存泄漏？
面试官考察点： 是否理解 Rust 的 RAII 与所有权不能完全杜绝泄漏；是否熟悉泄漏检测工具；能否给出体系化预防方案。
回答框架： ① 承认泄漏存在（循环引用、全局缓存、FFI 未释放） ② 检测工具（Box::leak + LSAN, valgrind, ASan） ③ 预防策略（弱引用、手动 drop、自定义分配器统计） ④ 生产监控（allocated mem 指标 + 火焰图）。
示例回答： “Rust 通过所有权机制消除大部分泄漏，但循环引用（Rc/Arc+RefCell）和全局缓存仍会导致泄漏。我使用 LSAN（LeakSanitizer）在 CI 中自动检测，对敏感路径用 Weak 打破循环，并为全局集合实现容量限制与淘汰策略。”
可能追问： “Box::leak 的使用场景？” “如何给自定义分配器加泄漏检测？” “Rc 循环引用如何 debug？”
避坑提醒： ❌ 不能说“Rust 不会有泄漏”或“只用人工 review”。✅ 要展示工具链和设计模式。
Q2
unsafe 代码如何保证内存安全？
面试官考察点： 是否掌握 unsafe 的安全契约（Invariant）；能否区分“unsafe 不关安全”和“unsafe 让调用者负责”；是否有实际封装经验。
回答框架： ① 明确 unsafe 只允许五种操作（解引用裸指针/调用 unsafe fn/访问 union/修改变量/实现 unsafe trait） ② 安全封装（Safe API + 文档说明前置条件） ③ 测试策略（Miri/ASan + 模糊测试） ④ 最小化原则（unsafe 块越小越好）。
示例回答： “在实现自定义分配器时，我将裸指针操作封装在 module 内，对外暴露 Safety 文档：分配的内存必须由同一分配器释放，对齐要求 ≥ 8。同时用 Miri 检测未初始化读，并用 ASan 验证越界访问。”
可能追问： “unsafe trait 的安全要求怎么设计？” “如何用安全抽象代替裸指针？” “Miri 的限制是什么？”
避坑提醒： ❌ 避免说“我从来不用 unsafe”或“unsafe 就是关掉检查”。✅ 展示你的使用纪律和验证流程。
Q3
谈谈对 Rust 内存管理模型的理解及其在系统编程中的优势。
面试官考察点： 是否从根本区分栈/堆/静态内存；所有权/生命周期如何消除数据竞争；对比 GC 语言的实际收益。
回答框架： ① 三域：栈（快速/确定）、堆（Box/Rc/Arc）、静态（'static/全局） ② 核心规则：单一所有权 + 借用 + 生命周期 ③ 优势：无 GC 暂停（实时）、确定性析构（资源管理）、编译时线程安全 ④ 代价：学习曲线、某些模式需 unsafe。
示例回答： “Rust 通过所有权模型将内存安全在编译期解决，相比 Go 的 GC 停顿，在 100μs 级 P99 延迟场景下优势明显。我在嵌入式数据库项目中，用栈分配固定大小记录，堆分配只用于大键值，避免了运行时内存抖动。”
可能追问： “Rc/Arc 的实现区别与性能开销？” “Pin 在内存管理中起什么作用？” “如何绕过生命周期限制？”
避坑提醒： ❌ 避免只背概念，要结合具体数字（延迟/吞吐）。✅ 可以带上一个对比表格印象。
🧩 项目案例：高性能网络代理的内存安全重构
💡 迁移要点： 将本项目中的“零拷贝缓冲区”“FFI安全封装”“连接生命周期管理”三个模块独立作为可复用的安全模式，面试中可迁移至任何系统编程场景。