模块化本身不直接防止内存泄漏，但强封装能显著减少因变量误操作引发的泄漏风险，其核心是限制作用域、明确所有权、阻断意外引用链，并通过私有状态、RAII、不可变接口、防御性拷贝和类型系统固化契约来实现。
模块化本身不直接防止内存泄漏，但强封装能显著减少因变量误操作引发的泄漏风险。关键在于限制作用域、明确所有权、阻断意外引用链——不是靠“写得更小心”，而是靠设计让错误难以发生。
用私有状态封死裸指针暴露
模块对外只暴露不可变接口或受控访问方法，内部资源由模块自身全权管理。避免导出原始指针、引用或可被外部持有对象的句柄。
- C++ 中用 pimpl 惯用法：头文件只声明不定义实现类，所有动态资源（如 std::unique_ptr
）藏在 .cpp 文件里，外部无法拿到指针去误删或重复释放 - Python 中用双下划线命名（__data）+ 属性封装（@property），禁止直接赋值或替换内部容器；改用 .set_value() 等显式方法，中间可插入校验与清理逻辑
- JavaScript 模块用闭包包裹私有变量，导出函数仅通过受限 API 操作，避免返回对象引用导致外部无意长期持有
封装资源生命周期，杜绝手动释放路径
把“分配-使用-释放”全过程收束进模块内部，对外隐藏释放时机和方式。用户调用即生效，无需关心何时/如何回收。
- 提供工厂函数（如 createProcessor()）而非构造函数，返回已初始化且带自动清理机制的对象
- 内部统一使用 RAII 或等效机制：C++ 用 std::unique_ptr 管理堆内存，Rust 用 Box + 所有权转移，Go 依赖 GC 但通过局部作用域+短生命周期变量降低滞留概率
- 对缓存、连接池等长生命周期资源，封装 acquire()/release() 方法，内部维护引用计数或租约机制，超时或无引用时自动回收
切断跨模块引用污染
模块间通信走数据拷贝或不可变视图，不传递可变引用或共享对象。尤其警惕“传入一个对象，模块悄悄把它塞进自己的集合里长期持有”这类隐式泄漏。
- 接收参数时做防御性拷贝（如 std::vector
(input) ），不存储原始引用 - 返回数据时优先返回 std::string_view、const T& 或只读接口，而非 T* 或可修改的智能指针
- 在模块边界处插入弱引用检查：例如 JS 模块导出前用 WeakRef 包装，或 Python 中用 weakref.ref() 存储回调，避免强引用循环
用类型系统固化封装契约
让编译器或运行时帮你拦截误操作。强封装不只是代码组织，更是用类型表达意图。
- C++ 中定义专属句柄类型（如 FileHandle），禁用隐式转换，只允许模块内函数操作；外部无法用 int fd 直接 close
- Rust 中用零大小类型（ZST）标记所有权，配合 Drop 实现自动清理；模块导出的结构体不实现 Clone 或 Copy，强制走移动语义
- TypeScript 中为模块状态定义 readonly 接口，配合 as const 和严格类型检查，使误赋值在编译期报错
