1. 内存布局基础：栈、堆、全局区、代码段的内存分配与生命周期

大家好，我是你们的老朋友。今天咱们来聊聊C/C++程序的内存布局。说实话，我见过太多越界崩溃的案例，根源都是对内存布局理解不透彻。你想想看，连内存怎么划分的都不清楚，怎么指望写出安全的代码？

嗯，咱们先看一张总览图，把四个核心区域的位置和关系搞清楚。

栈区：自动管理，但空间有限

栈区，说白了就是函数调用时自动分配的那块内存。局部变量、函数参数、返回地址都放在这里。我个人习惯把栈想象成一个叠盘子——后进先出，函数返回时自动弹出。

栈的生命周期很简单：进入函数时分配，退出函数时自动释放。你不需要手动管理，这是好事，但也是陷阱。

  核心特点：
  分配速度极快——只需移动栈指针
空间有限——默认通常只有1~8MB
线程独立——每个线程有自己的栈

我在项目中遇到过一个大坑：有个同事在栈上声明了一个 4MB 的局部数组，结果程序一跑就崩。嗯，栈溢出。你想想看，递归调用太深、局部变量太大，都会导致栈溢出。这种错误很难排查，因为崩溃点往往离真正的问题很远。

// 危险示例：栈上分配过大数组
void dangerous_func() {
    char buffer[1024 * 1024 * 5];  // 5MB，很可能栈溢出！
    // 使用 buffer ...
}
// 正确做法：改用堆分配
void safe_func() {
    char* buffer = (char*)malloc(1024 * 1024 * 5);
    if (buffer == NULL) {
        // 处理分配失败
        return;
    }
    // 使用 buffer ...
    free(buffer);
}

⚠️ 避坑指南： 我曾经在嵌入式项目中，因为递归深度没控制好，导致栈空间被耗尽。从那以后，我养成了两个习惯：一是递归函数一定加深度限制，二是大数组一律用堆分配。

堆区：灵活但需谨慎

堆区是动态内存分配的主战场。malloc、calloc、realloc、new 分配的内存都在这里。堆的生命周期完全由程序员控制——从 malloc 到 free，从 new 到 delete。

为什么会需要堆？因为栈的大小在编译时就固定了，而很多场景下，我们需要在运行时才知道要分配多少内存。比如读取一个未知大小的文件，你不可能在栈上开一个固定大小的数组。

  堆的核心特征：
  空间大——受限于虚拟内存，通常可达数GB
分配慢——需要查找空闲块、可能触发系统调用
容易产生碎片——频繁分配释放会导致内存碎片

我记得有一次，一个后台服务运行几天后突然变慢。查了半天，发现是内存碎片导致的。频繁地分配和释放小对象，堆被切得支离破碎，虽然总空闲空间足够，但找不到一块连续的大内存。

// 堆分配示例
int* p = (int*)malloc(10 * sizeof(int));
if (p == NULL) {
    // 处理内存分配失败
    fprintf(stderr, "内存分配失败\n");
    exit(1);
}
// 使用 p ...
free(p);
p = NULL;  // 好习惯：释放后置空

💡 个人建议： 每次 malloc 后立即检查返回值，每次 free 后立即将指针置 NULL。这个习惯救过我无数次。你想想看，悬空指针的危害有多大？野指针的随机崩溃有多难查？

全局区：程序启动到结束

全局区，也叫静态存储区。全局变量、static 变量、字符串常量都住在这里。它们的生命周期从程序启动开始，到程序结束才结束。

嗯，这里要注意一个细节：全局区内部其实还分两块——已初始化的全局变量和未初始化的全局变量（BSS段）。BSS段在程序加载时自动清零，所以未初始化的全局变量默认是0。

变量类型	存储位置	生命周期	默认值
全局变量（初始化）	数据段（.data）	程序启动→结束	指定的初始值
全局变量（未初始化）	BSS段（.bss）	程序启动→结束	0
static 局部变量	数据段 / BSS段	程序启动→结束	0（未初始化时）
字符串常量	只读数据段（.rodata）	程序启动→结束	常量值

⚠️ 避坑指南： 我曾经犯过一个低级错误——在多线程中直接修改全局变量，没有加锁。结果数据竞争导致程序行为完全不可预测。全局变量虽然方便，但多线程环境下一定要小心。我现在的原则是：能用局部变量绝不用全局，非要全局就加锁或使用原子操作。

代码段：只读的指令仓库

代码段，也叫文本段，存放的是程序的机器指令。这部分内存是只读的，你没法修改它。为什么？因为如果代码段可写，病毒就可以随意修改程序逻辑了。

代码段里还藏着一些常量，比如字符串字面量。嗯，这里有个常见的误解：很多人以为字符串常量存在全局区，其实它存在代码段的只读数据区（.rodata）。如果你试图修改它，程序会直接崩溃——段错误。

// 危险操作：试图修改字符串常量
char* str = "hello";
str[0] = 'H';  // 未定义行为！很可能段错误

// 正确做法：用数组拷贝
char str[] = "hello";
str[0] = 'H';  // 合法，因为数组在栈上分配

💡 小技巧： 我个人习惯用 const char* 来声明字符串常量，这样编译器会帮你检查。如果你试图修改 const 指针指向的内容，编译阶段就会报错，而不是等到运行时崩溃。

总结：一张表看清四个区域

区域	分配方式	生命周期	典型问题
栈	自动	函数调用期间	栈溢出、返回局部变量地址
堆	手动（malloc/new）	从分配到释放	内存泄漏、悬空指针、碎片
全局区	静态	程序启动到结束	多线程竞争、初始化顺序问题
代码段	静态	程序启动到结束	试图修改只读数据

好了，内存布局的基础就讲到这里。你想想看，理解了这四个区域，很多指针问题其实就迎刃而解了。比如返回局部变量的地址为什么危险？因为栈帧释放后那块内存就失效了。比如为什么 free 之后还要置 NULL？因为防止悬空指针的二次释放。

嗯，这些知识点看似基础，但我在实际项目中见过太多人栽跟头。记住一句话：内存不会撒谎，它只会用崩溃告诉你哪里写错了。

📚 课程目录

1. 内存布局基础：栈、堆、全局区、代码段的内存分配与生命周期

栈区：自动管理，但空间有限

堆区：灵活但需谨慎

全局区：程序启动到结束

代码段：只读的指令仓库

总结：一张表看清四个区域