嵌入式软件技术专家高阶面试宝典 - 第3节

面试问题 1：指针与动态内存管理

问题：在嵌入式系统中，使用 malloc/free 有哪些风险？你会如何规避？

面试官考察点：对堆内存管理机制的理解；是否考虑过碎片、实时性、确定性；是否有嵌入式替代方案。

回答框架：

1. 指出风险：碎片（外部碎片、内部碎片）、分配时间不确定、内存泄漏、栈溢出。
2. 提出规避策略：初始化时一次性分配大块，使用静态数组或内存池。
3. 举例说明：FreeRTOS 的 heap_4 方案或自定义固定大小块分配器。
4. 强调原则：中断中不允许分配，长期运行系统尽量静态分配。

简短示例回答：“实际项目中使用静态分配替代 malloc：将全局结构体数组预定义为最大需求，通过空闲链表管理。这样避免了碎片和不确定性，同时便于调试器直接观察内存内容。”

可能追问：“如何检测内存泄漏？”“内存池如何设计以支持不同大小对象？”

面试问题 2：const 与 volatile 的联合使用

问题：const volatile 修饰的变量有什么作用？请举例说明在嵌入式开发中的典型应用场景。

面试官考察点：是否理解 const 表示“不允许程序修改”，volatile 表示“每次读取从内存取”；能否举出实际硬件寄存器例子。

回答框架：

• 分别解释 const 和 volatile 的语义。
• 联合使用场景：只读硬件寄存器（如状态寄存器），程序不可写但值可能被硬件改变。
• 举例：const volatile uint32_t *status_reg = (uint32_t *)0x40021000;
• 强调编译优化：没有 volatile 会导致编译器用缓存值，读取错误。

简短示例回答：“例如 STM32 的 RCC 寄存器，定义为 const volatile 以防止程序篡改，同时每次访问都真实读取外设。如果去掉 volatile，while 循环检查标志位时可能陷入死循环。”

可能追问：“volatile 能保证原子性吗？”“在多核系统中 volatile 是否足够？”

面试问题 3：字节对齐与位运算

问题：如何计算结构体的大小？pragma pack 的作用是什么？请解释位域在内存中的对齐规则。

面试官考察点：对齐规则（自然对齐、最大成员对齐）、底层填充机制；位域跨字节时的实现；实际项目中如何使用对齐控制结构体大小。

回答框架：

1. 自然对齐：每个成员地址偏移需被其类型大小整除。
2. 结构体总大小：最大对齐值的整数倍。
3. pragma pack(n)：指定对齐值为 min(n, 成员大小)。
4. 位域对齐：相邻位域尽量打包；跨字节时编译器可能填充。
5. 举例：sizeof(struct) 计算过程。

简短示例回答：“一个包含 char、int、short 的结构体，自然对齐后大小为 12 字节（int 对齐到4偏移，short 填充到4）。使用 pragma pack(1) 可压缩到7字节，但系统访问可能变慢且部分平台不支持非对齐访问。”

可能追问：“位域能否跨两个字节？位域类型是 int 还是 unsigned int 有区别吗？”“如何确保结构体在不同编译器下布局一致？”