第3章：内存管理专题
章节导入
内存管理是C++服务端工程师的核心生存技能。面试中，面试官通常从“堆栈区别”切入，逐步深入到智能指针实现原理、RAII设计模式，最后追问内存泄漏检测方案。本章提供结构化的回答框架、追问路径及实战项目模板，助你高效备战。
面试问答卡片
卡片1：堆与栈的区别
面试问题：请详细说明 C++ 中栈和堆的区别，各自的使用场景和性能差异。
| 考察点 | 基础理解深度、是否了解栈是连续内存、堆碎片化、线程栈大小等 |
| 回答框架 | ① 概念对比（分配方式、大小、生命周期）→ ② 性能差异（速度 vs 灵活）→ ③ 典型场景（局部变量/动态对象） |
示例回答：栈由编译器自动管理，分配速度极快，但大小固定（通常1-8MB），适合局部变量。堆通过new/malloc分配，大小无限制但分配慢且有碎片风险，适合大对象或跨函数生命周期场景。
可能追问：① 栈溢出如何调试？② 堆碎片如何优化？③ 为什么多线程栈要独立？
卡片2：智能指针原理与选择
面试问题：shared_ptr和unique_ptr的实现原理是什么？什么时候用weak_ptr？
| 考察点 | 引用计数实现、移动语义、循环引用检测能力、RAII理解 |
| 回答框架 | ① unique_ptr独占所有权（移动语义，无拷贝）→ ② shared_ptr共享所有权（控制块+引用计数，线程安全）→ ③ weak_ptr配合解决循环引用 |
示例回答：unique_ptr通过移动构造转移所有权，性能零开销。shared_ptr包含指向对象的指针和指向控制块的指针，使用原子操作更新引用计数。weak_ptr观察但不增加计数，调用lock()获取shared_ptr，防止循环引用导致泄漏。
可能追问：① shared_ptr控制块包含哪些信息？② make_shared的优势？③ 如何自定义deleter？
卡片3：内存泄漏检测与RAII原则
面试问题：你如何检测和避免C++服务中的内存泄漏？RAII原则如何应用到Server开发中？
| 考察点 | 工具使用（Valgrind/ASan）、静态分析、RAII理解与落地能力 |
| 回答框架 | ① 检测：工具检测（Valgrind, ASan, LeakSanitizer）+ 代码Review → ② 避免：RAII封装资源（智能指针/锁/文件） → ③ 设计：资源所有权清晰，禁止裸指针传递所有权 |
示例回答：线上使用AddressSanitizer配合LeakSanitizer，压测后观察报告。代码层面强制RAII：用unique_ptr管理缓冲区，用shared_ptr管理连接；自定义RAII类封装互斥锁，构造加锁析构解锁。
可能追问：① RAII类移动时如何保证资源唯一？② 如何RAII封装socket？③ unique_ptr数组特化？
项目案例章节：高并发短连接网关服务内存优化
| 项目名称 | 实时消息推送网关（Push Gateway） |
| 业务背景 | 支撑千万级用户即时消息推送，单机维持5万并发TCP连接，每个连接分配独立读写缓冲区。 |
| 规模指标 | QPS 8万，连接数5万，每条连接平均吞吐50KB/s，日志文件日增量200GB。 |
| 技术栈 | C++17, libevent, protobuf, gRPC, 自研内存池, valgrind+ASan |
| 核心难点 | 连接频繁建立/断开导致堆碎片化；大包拼接时缓冲区反复扩容拷贝；日志输出使用裸指针导致内存泄漏。 |
面试高频追问：
- 为什么不用shared_ptr管理连接？答：连接有明确生命周期（accept到close），使用unique_ptr+RAII更轻量。
- 内存池如何设计？答：每个线程Local FreeList，大块使用mmap，减少系统调用。
- 缓冲区扩容策略？答：指数增长2^n，结合容量预留，避免小连接浪费。
- 如何发现泄漏？答：上线前用ASan压测，并集成LeakSanitizer到CI，每次版本对比。
可迁移回答话术：“在push网关项目中，我主导了RAII化改造：将连接生命周期绑定到unique_ptr，缓冲区改为自定义ReusableBuffer（内部使用指引用计数内存块），日志模块全部替换为智能指针。改造后单机内存碎片率下降70%，无内存泄漏告警。”
大厂模拟面试
面试官提问：“你的服务器中，一个tcp连接对象应该用什么智能指针管理？如果连接处理过程中需要异步调用，如何保证对象不被提前释放？”
候选人回答：【普通答案】用shared_ptr，所有回调都捕获shared_ptr，这样就不会释放了。
优秀答案：用unique_ptr，因为连接生命周期是线性的。异步场景使用weak_ptr观察，在回调中通过lock()获取临时shared_ptr，如果对象已销毁则放弃处理。
专家答案：首选unique_ptr绑定单所有权，异步回调采用“短期递增引用计数”模式：在发起异步操作前增加引用（用shared_ptr复制），操作完成后减少。更底层的做法是用RAII包装evconnlistener，通过绑定enable_shared_from_this避免对象在事件循环中被析构。
面试官追问：你的方案中，如果异步回调执行时连接的状态已经变化（比如已经关闭写端），怎么处理？