麦谷科技嵌入式二面：什么是内存泄漏，有哪几种及怎么解决？

内存泄漏是指程序运行过程中分配的内存未被正确释放，导致这部分内存无法再次使用，造成资源浪费，可能引发系统性能下降、程序崩溃或资源耗尽。其本质是动态分配的内存未被回收，常见于堆内存管理场景。

• 堆内存泄漏动态分配的堆内存（如通过malloc、new申请）未被释放。例如：void leak_example() { int* ptr = new int[100]; // 分配堆内存 // 忘记调用 delete[] ptr; 导致泄漏}
• 栈上对象泄漏函数返回后，局部变量或对象未被正确销毁（通常因对象持有外部资源未释放）。例如：class ResourceHolder {public: ResourceHolder() { fd = open_resource(); } ~ResourceHolder() { close(fd); } // 析构函数释放资源private: int fd;};void stack_leak() { ResourceHolder* rh = new ResourceHolder(); // 未释放rh导致对象泄漏}
• 循环引用导致的泄漏两个或多个对象相互引用，形成闭环，导致垃圾回收器（如C++的智能指针或Java的GC）无法回收。例如：class Node {public: std::shared_ptr<Node> next;};void cyclic_leak() { auto a = std::make_shared<Node>(); auto b = std::make_shared<Node>(); a->next = b; // a引用b b->next = a; // b引用a，形成循环引用 // 引用计数无法归零，内存泄漏}

1. 定期检查和清理在长时间运行的程序中，通过日志或监控工具定期检查内存使用情况，手动释放未使用的资源。例如：

   使用valgrind（Linux）或Instruments（macOS）检测泄漏。

   在关键路径插入内存使用日志。

2. 使用智能指针C++中通过std::unique_ptr（独占所有权）和std::shared_ptr（共享所有权）自动管理内存：

   void smart_ptr_example() { auto ptr = std::make_unique<int[]>(100); // 自动释放 auto shared = std::make_shared<Node>(); // 处理循环引用需配合std::weak_ptr}

   循环引用处理：用std::weak_ptr打破循环：

   class Node {public: std::shared_ptr<Node> next; std::weak_ptr<Node> prev; // 弱引用不增加计数};

3. 避免循环引用

   重新设计对象关系，减少双向引用。

   在不需要共享所有权时，优先使用std::unique_ptr。

4. 使用RAII原则通过对象生命周期管理资源，确保资源在析构时释放：

   class FileHandler {public: FileHandler(const char* path) { fd = fopen(path, "r"); } ~FileHandler() { if (fd) fclose(fd); }private: FILE* fd;};void raii_example() { FileHandler file("test.txt"); // 离开作用域自动关闭文件}

5. 工具辅助检测

   静态分析工具：如Clang Static Analyzer、Coverity，在编译阶段检测潜在泄漏。

   动态检测工具：

   gperftools：通过HeapProfilerStart/Stop生成内存分配快照，分析泄漏点。

   AddressSanitizer（ASan）：编译时加入-fsanitize=address，运行时检测泄漏并输出堆栈。

6. 内存池（Arena）技术统一管理内存分配与释放，降低碎片化并简化回收：

   class Arena {public: void* allocate(size_t size) { /* 从预分配块中分配 */ } void deallocate_all() { /* 释放所有内存 */ }};void arena_example() { Arena arena; int* ptr = static_cast<int*>(arena.allocate(100 * sizeof(int))); // 无需手动释放，调用arena.deallocate_all()统一回收}

7. 协程（Coroutine）优化异步内存管理通过协程保存上下文，避免异步操作中栈内存的意外释放：

   void async_example() { go [] { // 协程内部分配的栈对象在切换后仍有效 RequestContext ctx; submit_async(&ctx); co_await yield(); // 切换协程 complete_request(&ctx); };}

• 编码规范：禁止裸new/delete，优先使用智能指针或容器（如std::vector）。
• 代码审查：重点检查动态内存分配、循环引用和异步逻辑。
• 测试策略：在单元测试中加入内存泄漏检查（如ASan），覆盖边界条件。
• 设计模式：使用Pimpl惯用法或策略模式减少对象间耦合，降低循环引用风险。

通过结合工具检测、智能指针自动化管理和合理的架构设计，可显著降低内存泄漏的发生概率。