一、内存布局基础：栈区、堆区、全局区、代码段详解

大家好，我是你们的老朋友。今天咱们来聊聊内存布局。说实话，我见过太多C/C++程序员，写了三五年代码，指针用得飞起，但一问到内存布局就支支吾吾。嗯，这其实很危险——你想想看，连自己操作的内存长什么样都不知道，怎么保证不出越界和泄漏？

我个人习惯，每接手一个项目，第一件事就是画内存布局图。别笑，这招帮我避过不少坑。今天我就把这块掰开了讲清楚。

1.1 进程的虚拟地址空间

每个程序跑起来后，操作系统会给它一个虚拟地址空间。32位系统下是4GB，64位下就更大了。这个空间被划分成几个区域，从低地址到高地址依次是：

• 代码段（.text）：存放你的机器指令
• 全局区（.data + .bss）：全局变量和静态变量
• 堆区（Heap）：动态分配的内存
• 栈区（Stack）：函数调用和局部变量

我当年刚入行时，以为这些区域是物理上连续的。后来调试一个诡异的崩溃才发现——其实每个区域之间有保护页，越界访问会直接触发段错误。操作系统这是在保护你，懂吗？

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

栈区是函数调用时自动分配的。局部变量、函数参数、返回地址都放这儿。它的特点是：后进先出，分配和释放都由编译器自动搞定。

我记得有一次，同事写了个递归函数，没控制好深度，结果栈溢出了。排查了半天，发现是递归里定义了一个大数组：

void bad_recursion(int n) {
    char buffer[1024 * 1024];  // 1MB，太大了！
    if (n > 0) bad_recursion(n - 1);
}

你看，栈空间一般只有几MB。每个递归调用压1MB，调用几次就爆了。我建议：大内存别放栈上，用堆。

1.3 堆区：灵活但需手动管理

堆区是程序员的地盘。你用malloc、new申请的内存都在这儿。堆的特点是：生命周期由你控制，空间大（几乎整个虚拟地址空间都能用），但管理成本高。

堆内存的管理其实挺复杂的。操作系统维护着一堆空闲链表、位图之类的数据结构。你每次malloc，它都要去查找合适的空闲块。频繁申请释放会产生碎片——说白了就是内存被切成很多小块，大块申请就失败了。

我见过最典型的堆问题就是内存泄漏：

void leak_example() {
    int *p = (int*)malloc(100 * sizeof(int));
    // 用完了忘了 free！
    // p 丢了，这100个int再也找不回来了
}

为什么会这样？因为p是局部变量，函数返回后栈上的p被销毁了。但堆上的100个int还在，没人能再访问到它们。这就是泄漏。

1.4 全局区：程序生命周期内都存在

全局变量和静态变量放在全局区。它们在整个程序运行期间都存在，从main执行前就初始化好了，到程序退出才销毁。

全局区又分两块：

• .data段：存放已初始化的全局变量和静态变量
• .bss段：存放未初始化的全局变量和静态变量（程序加载时自动清零）

你想想看，全局变量所有函数都能访问，这其实很危险。我见过一个项目，全局变量满天飞，多线程下各种竞态条件，调试起来简直噩梦。我的建议是：能用局部变量就别用全局的，实在要用，加锁保护。

1.5 代码段：只读的指令区

代码段存放的是你的程序指令。它是只读的，你没法修改它。如果你试图通过指针去写代码段，操作系统会直接给你一个段错误。

我记得有个新手问我：能不能在运行时修改函数的行为？我说可以，但那是高级技巧，比如JIT编译或者动态链接。普通情况下，别想着改代码段——那是操作系统划定的红线。

1.6 理解指针的本质

说了这么多，指针到底是什么？说白了，指针就是一个内存地址。它告诉你某个数据在内存的哪个位置。

但指针还有类型信息。比如int*和char*，虽然都是地址，但步长不同：

int arr[5] = {1, 2, 3, 4, 5};
int *p = arr;
printf("%p\n", p);   // 比如 0x1000
printf("%p\n", p+1); // 0x1004，int占4字节

char *cp = (char*)arr;
printf("%p\n", cp);   // 0x1000
printf("%p\n", cp+1); // 0x1001，char占1字节

你看，同样的地址，类型不同，+1的偏移量就不同。这就是指针的类型语义。我建议：永远不要忽略指针的类型，它决定了你能怎么操作这块内存。

1.7 内存布局全景图

下面我用一张SVG图把整个内存布局画出来。你仔细看看，每个区域的位置和关系一目了然：

这张图我画了好几次才满意。你看，栈区在高地址，向下增长；堆区在低地址，向上增长。两者相向而行，中间是空闲区域。如果栈和堆撞上了，那就是栈溢出或者堆耗尽——程序就崩了。

好了，内存布局的基础就讲到这里。你理解了每个区域的特点和指针的本质，后面讲越界和泄漏就好办了。记住一句话：指针指向哪，决定了你能做什么；指针怎么用，决定了会不会出事。