内存安全模式
将以下提示词粘贴到你的 AI 对话框中:
请根据 https://skillhub.cn/install/skillhub.md,安装 @org-02qudk26/memory-safety-patterns。
技能介绍
要解决什么问题
系统级代码里,资源生命周期和指针语义一旦搞错,往往不会立刻报错:悬空引用、重复释放、泄漏会在边界条件或长时间运行后才暴露。不同语言对「谁拥有内存、何时释放」的规则差异很大,单靠语言文档很难在选型与实现之间做一致决策。
技能如何帮你落地
本技能聚焦跨语言可迁移的内存安全模式,而不是某一种语言的语法速查:
- RAII:用对象生命周期绑定资源(文件、套接字、锁、堆内存),离开作用域即释放,减少手动
free/close遗漏。 - 所有权与借用:明确唯一所有者、转移与只读/可变借用,降低悬空调用与数据竞争的设计空间。
- 智能指针与资源管理:在必须堆分配或共享所有权时,用
unique_ptr/shared_ptr或各语言等价物,并约定何时用弱引用、自定义 deleter。 - 调试与验证:从复现路径、Sanitizer/Valgrind、最小复现到对照「谁分配谁释放」的清单,给出可执行的排查步骤。
使用时会先澄清目标、约束与输入,再按场景套用上述模式,并给出可验证的检查点;更完整的模式说明与示例见 resources/implementation-playbook.md。
适用边界
适合编写或审查内存敏感的系统代码、做语言/库选型(安全 vs 性能权衡)、以及排查泄漏与悬空指针类问题。若任务与资源生命周期、指针/所有权模型无关,或需要完全其他领域(纯业务 CRUD、与内存模型无关的 DevOps 等),不必强行套用本技能。
使用场景
- 用 C++ 维护遗留服务时,将裸 `new/delete` 与手动 `close` 重构为 RAII 包装,保证异常与早退路径也会释放资源。
- 代码评审网络或存储模块时,核对套接字、文件句柄、锁的获取与释放是否成对,避免 fd 泄漏或重复关闭。
- 新模块在 Rust 与 C++ 之间选型,需要对照所有权、借用与性能热点,给出可执行的内存模型与边界约定。
- Sanitizer 或 Valgrind 报告 use-after-free、泄漏后,按分配点与对象生命周期梳理「谁创建、谁持有、谁释放」并制定修复步骤。
适合人员
- 维护 C/C++ 长驻守护进程的后端工程师,需要在不改业务语义的前提下消除泄漏与悬空引用风险。
- 编写驱动、协议栈或中间件的嵌入式/系统开发者,希望用 RAII 统一文件、缓冲区和硬件句柄的生命周期。
- 负责基础设施或性能敏感模块的技术负责人,在 PR 评审中要对照所有权与资源释放路径做系统性检查。
- 团队正在引入 Rust 或现代 C++ 智能指针,需要跨语言一致的内存安全术语与可落地模式作为内部分享基准。