第3章 嵌入式C/C++编程基础与内存管理
嵌入式面试中，C/C++指针与内存管理是必考硬门槛。面试官通过这些问题考察你对底层内存布局、指针本质、堆栈生命周期及常见陷阱的掌握。本章提供结构化回答框架与高频追问应对策略。
面试问答卡片
问题①：指针和数组在参数传递时的区别？
| 面试官考察点 | 是否理解数组名退化为指针的底层机制，sizeof 结果差异，以及函数参数实质。 |
|---|---|
| 回答框架 | 1. 数组名是常量指针，传递给函数后退化为指向首元素的指针； 2. 在函数内 sizeof(arr) 得到的是指针大小而非数组大小； 3. 可通过传数组引用或明确长度绕过退化。 |
| 示例回答 | 数组名本质是首元素地址常量，但在函数参数中会退化为指针。因此 sizeof 得到的是指针大小（4或8字节）而不是数组总字节。若要保留数组大小信息，需传递长度参数或使用引用的方式。 |
| 可能追问 | 如何用模板实现数组长度自动推导？&arr 和 arr 的地址含义有何不同？ |
| 避坑提醒 | 不要认为函数内 sizeof 能获取数组长度——这是常见笔试陷阱。明确退化规则后结合传参方式回答。 |
问题②：堆和栈的区别？你在项目中如何避免堆内存泄漏？
| 面试官考察点 | 是否了解堆栈生命周期、分配效率、大小限制；是否具备实际防泄漏经验。 |
|---|---|
| 回答框架 | 1. 栈：自动分配释放，大小固定，效率高，适合局部变量； 2. 堆：手动分配释放，可动态扩展，效率低，需成对使用 malloc/free； 3. 防泄漏措施：封装 RAII 智能指针、统一释放接口、静态检测工具。 |
| 示例回答 | 栈由编译器管理，空间小但快；堆需手动管理，空间大但易泄漏。我使用 RAII 封装 malloc/free，确保作用域结束时自动释放；同时在关键模块引入 Valgrind 进行集成测试。 |
| 可能追问 | 嵌入式系统为什么通常避免动态堆分配？RTOS 中的堆管理策略有哪些？ |
| 避坑提醒 | 不要只说理论，要强调你在实际项目中的防泄漏手段（如链表节点释放、异常路径处理）。避免回答“从来不用堆”这种极端话术。 |
问题③：解释指针悬挂（Dangling Pointer）的成因及解决方案。
| 面试官考察点 | 对指针生命周期敏感度，是否见过野指针导致的异常，以及防御编程能力。 |
|---|---|
| 回答框架 | 1. 成因：释放堆内存后未置空，或返回局部变量地址； 2. 解决方案：释放后立即赋值 NULL，避免返回栈变量地址，使用智能指针； 3. 检查：静态分析工具与代码审查。 |
| 示例回答 | 指针悬挂指释放后仍保留原地址，后续访问产生不可预知行为。我规定每次 free 后立即将指针置 NULL，并利用编译选项检查函数返回局部变量地址，同时在 Code Review 中重点审查共享指针传递。 |
| 可能追问 | 智能指针能完全避免悬挂吗？shared_ptr 的循环引用如何打破？ |
| 避坑提醒 | 不要只回答“释放后置空”，要结合多线程或回调场景说明更深层的悬挂场景，比如延迟释放回调中访问已释放对象。 |
本章核心记忆点： 指针本质 = 地址 + 类型信息；堆栈区分看生命周期；数组退化 sizeof 陷阱；释放后立即置空；使用静态工具检测泄漏。