2. 内存管理基础：C/C++内存布局、堆与栈的区别、内存分配与释放机制
各位好，我是老张。在IVI系统里摸爬滚打了十几年，我见过太多因为内存问题导致的车机死机、黑屏、卡顿。说白了，搞不定内存管理，你就别想做好车载系统。这一章，咱们就把内存管理的老底儿翻出来，好好捋一捋。
2.1 C/C++程序的内存布局：你的代码在内存里长什么样？
一个C/C++程序跑起来之后，它在内存里不是乱糟糟的一团。它是有组织、有纪律的。我个人习惯把内存布局想象成一栋楼，从高地址到低地址，分成了几个功能区。
| 区域 | 存放内容 | 特点 |
|---|---|---|
| 栈（Stack） | 局部变量、函数参数、返回地址 | 自动分配释放，空间小，速度快 |
| 堆（Heap） | 动态分配的内存（malloc/new） | 手动分配释放，空间大，速度慢 |
| 全局/静态区（.bss & .data） | 全局变量、静态变量 | 程序启动时分配，程序结束时释放 |
| 常量区（.rodata） | 字符串常量、const修饰的变量 | 只读，不可修改 |
| 代码区（.text） | 程序的可执行指令 | 只读，通常共享 |
嗯，这里要注意。.bss段和.data段都是全局区，但.bss存放的是未初始化的全局变量，.data存放的是已初始化的。为什么分开？因为.bss段在可执行文件里不占空间，只在加载时分配内存并清零，能省不少存储空间。我在做早期的一个IVI项目时，就因为这个特性，把一个大数组从显式初始化改成了隐式初始化，镜像文件直接小了200KB。
2.2 堆与栈的区别：一个快，一个灵活
很多新手搞不清堆和栈，其实没那么玄乎。你想想看，栈就像你去食堂打饭，排队、打菜、付钱、走人，一气呵成，效率极高。堆呢？就像你去图书馆借书，得先查目录、填单子、等管理员找书、登记，麻烦是麻烦了点，但你能借到任何你想要的书。
具体区别，我列个表，一目了然：
| 对比项 | 栈（Stack） | 堆（Heap） |
|---|---|---|
| 管理方式 | 编译器自动管理 | 程序员手动管理 |
| 分配效率 | 极高（一条指令） | 较低（需要查找空闲块） |
| 空间大小 | 较小（通常几MB） | 较大（可达几GB） |
| 碎片问题 | 无碎片 | 容易产生外部碎片 |
| 生长方向 | 向下（高地址向低地址） | 向上（低地址向高地址） |
| 典型用途 | 局部变量、函数调用 | 大对象、动态数据结构 |
为什么会这样？栈的分配就是移动一下栈顶指针，一条指令搞定。而堆分配呢，得去维护一个空闲链表，找到大小合适的块，可能还要切割、合并，开销大得多。我在项目中遇到过，一个同事在中断处理函数里用malloc分配内存，结果系统直接崩了。为什么？中断上下文里堆分配是不安全的，而且栈空间也有限，千万别这么干。
2.3 内存分配与释放机制：malloc/free 与 new/delete 的底牌
这部分是内存泄露的重灾区。我建议，每个IVI开发者都得把这块儿刻在脑子里。
2.3.1 malloc/free：C语言的基石
malloc分配的内存，本质上是从堆里划一块给你。它的内部实现，不同平台不一样，但核心思想差不多：维护一个空闲链表。当你调用malloc时，它会遍历链表，找到第一个大小合适的空闲块。如果块太大，就切一块给你，剩下的放回链表。free的时候，把这块内存重新标记为空闲，并尝试与相邻的空闲块合并。
看个简单的例子：
#include <stdlib.h>
#include <stdio.h>
int main() {
// 分配一个能存放10个int的数组
int *arr = (int*)malloc(10 * sizeof(int));
if (arr == NULL) {
// 分配失败，一定要检查！
fprintf(stderr, "内存分配失败\n");
return -1;
}
// 使用内存
for (int i = 0; i < 10; i++) {
arr[i] = i * 2;
}
// 释放内存
free(arr);
// 释放后，指针变成野指针，记得置空
arr = NULL;
return 0;
}
2.3.2 new/delete：C++的进化
new和delete是C++的运算符，它们底层其实还是调用了malloc和free。但多了两个关键动作：构造函数和析构函数的调用。这就是为什么C++里推荐用new/delete，而不是malloc/free。
#include <iostream>
class SensorData {
public:
SensorData() {
std::cout << "SensorData 构造函数" << std::endl;
data = new int[100]; // 内部又分配了堆内存
}
~SensorData() {
std::cout << "SensorData 析构函数" << std::endl;
delete[] data; // 释放内部内存
}
private:
int* data;
};
int main() {
// 分配一个SensorData对象
SensorData* pSensor = new SensorData();
// ... 使用对象
delete pSensor; // 先调用析构函数，再释放内存
return 0;
}
你想想看，如果这里用malloc代替new，那SensorData的构造函数不会被调用，内部的data指针就不会被初始化，后面再用就出大事了。反过来，如果用free代替delete，析构函数不会被调用，内部的data数组就泄露了。
2.3.3 常见的内存分配陷阱
- 忘记释放： 分配了内存，但忘了free或delete。这是最常见的泄露原因。
- 释放多次： 对同一块内存调用了两次free/delete。这会导致堆结构损坏，程序崩溃。
- 使用已释放的内存： 也就是野指针问题。释放后指针没置空，或者别的指针还在引用它。
- 数组与单个对象混淆： new[] 必须搭配 delete[]，new 必须搭配 delete。混用会导致未定义行为。
- 异常安全： 在new和delete之间如果抛出异常，delete就不会被执行，造成泄露。
嗯，说到异常安全，我建议在C++里尽量使用智能指针，比如std::unique_ptr和std::shared_ptr。它们能自动管理生命周期，大大降低泄露风险。我在新的IVI项目中，已经全面禁止裸指针了，全部用智能指针替代。
好了，这一章的内容就到这里。内存布局、堆栈区别、分配释放机制，这些都是基本功。下一章，咱们会深入聊聊如何用工具检测这些泄露，到时候我会分享一些实战中特别好用的方法。记住，纸上得来终觉浅，绝知此事要躬行。多写代码，多踩坑，你才能真正理解内存管理。