一、C++内存模型基础：内存分区与生命周期

说到C++内存模型，我第一个想到的就是当年刚入行时踩的那个坑——栈溢出。那时候写了个递归函数，没注意终止条件，结果程序直接崩了。调试了半天才发现是栈空间用完了。从那以后，我每次写递归都会下意识算算栈深度。

好了，咱们正式开始。C++程序运行时，内存会被划分为几个不同的区域。每个区域都有自己的职责和生命周期。理解这些，是写出健壮代码的第一步。

1.1 内存五大分区

我把内存分区画成了下面这张图，你一看就明白：

这张图我画了好几次才满意。你看，栈和堆是相对生长的——栈从高地址往下走，堆从低地址往上走。这样设计是为了最大化利用内存空间。

栈区（Stack）

栈是自动管理的。函数调用时分配，返回时释放。速度快，但空间有限——Windows默认1MB，Linux默认8MB。我见过有人把一个大数组定义在局部变量里，结果程序一跑就崩。嗯，这就是栈溢出的典型场景。

堆区（Heap）

堆是手动管理的。你用new或malloc申请，用delete或free释放。堆空间大，但速度慢，而且容易出问题——内存泄漏、野指针、重复释放，这些我都吃过亏。

全局/静态区

全局变量和static变量待在这儿。程序启动时分配，结束时释放。生命周期是整个程序运行期间。我个人习惯尽量少用全局变量——它们让代码耦合度变高，调试起来也麻烦。

常量区

字符串常量、const全局变量放这儿。只读的，你试图修改它会触发段错误。我记得有一次在代码里写了char* p = "hello"; p[0] = 'H';，结果程序直接崩溃。后来才知道字符串常量在常量区，不能改。

代码区

存放程序的机器指令。也是只读的。你写的所有函数编译后都在这里。

1.2 变量生命周期

说白了，生命周期就是变量从生到死的时间段。不同存储区域的变量，生命周期不一样。

变量类型	存储位置	生命周期	示例
局部变量	栈	进入作用域创建，离开销毁	int x = 0;
静态局部变量	全局/静态区	首次执行到定义时创建，程序结束销毁	static int count = 0;
全局变量	全局/静态区	程序启动创建，结束销毁	int g_val;
动态分配变量	堆	从new/malloc到delete/free	int* p = new int;
字符串常量	常量区	程序启动到结束	"hello"

你想想看，理解生命周期有什么用？举个例子：如果你在一个函数里返回了局部变量的地址，调用者拿到的是一个悬空指针。我当年面试时就栽在这个问题上——面试官问我这段代码有什么问题，我愣是没看出来。

int* getValue() {
    int x = 42;      // x 在栈上
    return &x;       // 危险！函数返回后 x 被销毁
}                    // 返回的指针成了野指针

int main() {
    int* p = getValue();
    std::cout << *p; // 未定义行为！可能输出42，也可能崩溃
}

1.3 内存对齐与填充

内存对齐是个容易被忽略但很重要的话题。说白了，CPU读取内存不是按字节来的，而是按字（4字节或8字节）来的。如果数据没有对齐，CPU需要多读一次，性能就下降了。

为什么会这样？因为硬件设计上，对齐的数据访问是一次性完成的。不对齐的话，CPU得拆成两次读，再拼起来。你想想看，这多慢。

编译器会在结构体成员之间插入填充字节，保证每个成员都对齐到它的自然边界。来看个例子：

struct Example {
    char a;    // 1字节，偏移0
    // 填充3字节
    int b;     // 4字节，偏移4
    short c;   // 2字节，偏移8
    // 填充2字节（为了整体对齐到4的倍数）
}; // 总大小：12字节

struct ExamplePacked {
    char a;    // 1字节，偏移0
    int b;     // 4字节，偏移1（不对齐！）
    short c;   // 2字节，偏移5
} __attribute__((packed)); // 总大小：7字节（但访问b可能慢）

你看，Example结构体虽然只用了7字节的数据，但实际占了12字节。那5字节就是填充。而ExamplePacked用了packed属性强制紧凑排列，省了空间但牺牲了性能。

还有一个细节：结构体的整体大小必须是最大成员对齐值的整数倍。这就是为什么Example最后还要填充2字节——int b要求4字节对齐，结构体总大小12是4的倍数，没问题。

好了，内存分区、生命周期、对齐填充，这三个概念是C++内存管理的基石。理解透了，后面学智能指针、内存池这些高级话题才会轻松。我个人觉得，花时间把这些基础打牢，比急着学花哨的特性要划算得多。

---

公众号:蓝海资料掘金营，微信deep3321