极客教程

Appearance

共 1,081 字预计阅读约 4 分钟

C 语言指针与内存管理 ​

更新时间：2026-08-25。本文是 languages/c/ 主题第 ② 篇。指针是 C 的灵魂，也是绝大多数崩溃与性能问题的源头——搞懂"地址、生命周期、越界"三个词，就掌握了 C 内存管理的全部要领。

本文要回答的问题 ​

  • 指针到底是什么？为什么 a[1] 等于 *(a+1)？
  • malloc 的内存从哪来？free 之后指针为什么还在？
  • 悬垂指针、内存泄漏、越界访问分别是怎么发生的，如何用工具定位？

一、指针本质：地址 + 类型 ​

1.1 指针就是地址，类型决定步长 ​

c
int    x = 10;
int   *p = &x;      // p 的值 = x 的地址
long  *q = (long *)&x;   // 类型转换：同一地址，不同解释

printf("%p\n", (void *)p);   // 0x...（地址）
printf("%ld\n", *q);          // 危险！把 4 字节 int 按 8 字节 long 读

指针变量存的是地址；指针的类型决定：解引用时读多少字节、指针 +1 时跳多少字节：

指针类型+1 步长解引用读入
char *1 字节1 字节
int *4 字节4 字节
double *8 字节8 字节
struct Foo *sizeof(Foo) 字节整个结构体

这正是 L5 ELF 类型系统 与 L3 对齐 的衔接点：+1 的步长由编译器按类型计算，而结构体对齐保证每个成员落在正确的字节边界。

1.2 数组退化为指针 ​

c
int a[4] = {1, 2, 3, 4};
int *p  = a;        // 数组名退化为首元素地址，等价于 &a[0]

a[2]   == *(a + 2);   // true
p[2]   == *(p + 2);   // true，指针也能用下标
sizeof(a) == 16;      // 数组用 sizeof 得到总字节数
sizeof(p) == 8;       // 指针用 sizeof 只有 8（64 位）

区分：sizeof(a) 是整个数组大小，sizeof(p) 只是指针大小——数组名在 sizeof 与 &a 时不退化，其余几乎都退化。

二、进程内存布局 ​

C 语言指针与内存管理 示意图
区域谁管理生命周期典型内容
代码段 text编译器进程全程机器指令，只读
数据段编译器进程全程全局/静态变量（BSS 零初始化）
堆 heap程序员 malloc/free手动动态分配的数组、对象
栈 stack编译器（调用帧）函数调用期间局部变量、参数、返回地址

用 cat /proc/<pid>/maps 可看到进程真实的内存布局（每一段地址范围 + 权限位），详见 proc 内存观测。

三、malloc / free 生命周期 ​

3.1 正确用法 ​

c
int *arr = malloc(10 * sizeof(int));   // 分配堆内存
if (arr == NULL) { /* 分配失败处理 */ }
arr[0] = 42;                            // 使用
free(arr);                              // 释放
arr = NULL;                             // 习惯：置空，防悬垂
  • malloc 失败返回 NULL，使用前必须判空。
  • free 只接受 malloc/calloc/realloc 返回的原始指针，不能 free 栈地址或中间偏移。

3.2 内存泄漏（leak） ​

c
void leak(void) {
    int *p = malloc(100);   // 分配后没人 free，函数返回后地址丢失
}
  • 现象：进程 RSS 不断上涨，top/ps 可观测；长期运行最终 OOM。
  • 定位：Valgrind valgrind --leak-check=full ./prog 或 ASan（-fsanitize=address），详见 crash 内存泄漏排查。

3.3 悬垂指针（dangling） ​

c
int *p = malloc(sizeof(int));
free(p);
*p = 42;          // 悬垂！释放后继续使用（use-after-free）
  • 释放后指针仍保存原地址，再解引用是未定义行为——可能读到垃圾、可能崩溃。
  • 与泄漏相反：泄漏是"忘了释放"，悬垂是"释放后还用"。两者都是 crash 排查线 的高频主题。

3.4 越界访问（out-of-bounds） ​

c
int a[4];
a[4] = 5;         // 越界写：写了 a 后面 4 字节，可能是别的变量
for (int i = 0; i <= 4; i++) a[i] = i;   // <= 是经典的 off-by-one
  • 越界读/写不一定会立刻崩溃，但会悄悄破坏相邻内存——最难查的 bug 之一。
  • 栈越界可用 -fsanitize=address 直接抓；堆越界 Valgrind 也能报。

四、常见指针陷阱对照 ​

陷阱示例后果工具/预防
解引用 NULL*p 当 p==NULL段错误 SIGSEGV判空
悬垂指针free 后使用未定义行为/崩溃置 NULL、ASan
内存泄漏malloc 不 freeRSS 上涨/OOMValgrind、ASan
越界写a[4]=5破坏相邻内存ASan、Valgrind
双重释放free 两次堆损坏free 后置 NULL
类型不匹配long* 读 int读错字节保持类型一致
返回值是局部地址return &local悬垂用堆或 static

五、与本站主线衔接 ​

  • 崩溃线：段错误、ASan/Valgrind 完整打法见 crash 排查线。
  • 性能线：堆分配频繁会成为分配热点，perf 可剖析到 malloc 调用栈；内存访问的缓存/TLB 影响见 L3 内存子系统。
  • 观测：pmap、/proc/<pid>/maps 看实际布局，见 内存观测工具。
  • ELF 视角：数据段/BSS/堆栈在可执行文件中的对应关系，见 编译、链接与 ELF。

一句话总结 ​

C 指针与内存管理 = 记住三件事：指针是带类型的地址、malloc 分配堆内存要配 free、越界/悬垂/泄漏三类错误各有工具可查（ASan/Valgrind）；掌握它，C 程序 90% 的崩溃与性能问题都有了解法。

上一节：C 语言主题总纲　下一节：编译、链接与 ELF