内存泄漏基本概念与分类：堆泄漏、栈泄漏、资源泄漏、系统泄漏

内存泄漏（Memory Leak）是软件工程中最隐蔽的稳定性杀手之一。它并非指内存物理上的“丢失”，而是指程序在动态分配内存或获取系统资源后，由于逻辑缺陷未能正确释放，导致可用内存持续减少、系统性能逐步退化，最终引发响应缓慢、OOM（Out of Memory）甚至进程崩溃。理解泄漏的本质与分类，是构建高性能、高可靠系统的第一道防线。

1.1 四种泄漏类型快速对比

1.2 堆泄漏 — 最常见的“隐形杀手”

堆泄漏是指通过 malloc()、calloc()、realloc()（C语言）或 new（C++）在堆上分配的内存，在失去所有引用后未被 free() 或 delete 释放。
每一次泄漏都会永久占用一块堆空间，随着程序运行时间增长，可用堆逐渐枯竭。

#include <stdlib.h>

void heap_leak_example(void) {
    int *buffer = (int*)malloc(1024 * sizeof(int));
    if (buffer == NULL) return;

    // 对 buffer 进行操作后，忘记调用 free(buffer)
    // 函数返回后局部变量 buffer 消失，堆内存被孤立
}

1.3 栈泄漏 — 被低估的栈资源枯竭

栈泄漏并非传统意义上的“堆内存未释放”，而是指栈上分配的资源（栈帧、局部缓冲区、协程栈空间）由于控制流异常或设计缺陷无法被正确回收，导致线程可用栈空间持续缩减。
在嵌入式系统、协程框架或深度递归场景中尤为突出。

#include <stdio.h>

// 无终止条件的递归 —— 每次调用在栈上分配 256 字节
// 栈空间持续消耗直至溢出
void stack_leak_recursive(int depth) {
    char local_buf[256];          // 栈上分配
    printf("depth = %d\n", depth);
    stack_leak_recursive(depth + 1);  // 无 base case
    // 函数永不返回，栈帧永不释放
}

1.4 资源泄漏 — 不止是内存

资源泄漏涵盖所有操作系统句柄类型：文件描述符、网络套接字、数据库连接、图形渲染上下文、设备句柄等。这些资源一旦耗尽，即便堆内存仍然充足，系统也会拒绝服务（例如 “Too many open files”）。

#include <stdio.h>

void resource_leak_example(void) {
    FILE *fp = fopen("/etc/config.conf", "r");
    if (fp == NULL) return;

    // 读取配置后忘记 fclose(fp)
    // 每次调用都会消耗一个文件描述符
}

• 检测命令： 使用 lsof -p <pid> 查看进程打开的文件句柄列表；使用 /proc/<pid>/fd/ 目录实时监控。
• 最佳实践： 所有资源获取操作（fopen、socket、pthread_create）必须配对释放操作（fclose、close、pthread_join），并利用 RAII 或 defer 模式保障异常安全。

1.5 系统泄漏 — 超越进程边界的污染

系统泄漏指由操作系统内核管理的全局性资源未被正确释放：System V 共享内存段、信号量、消息队列、锁对象、内核定时器等。这类泄漏的影响不限于单个进程——即使进程退出，泄漏的系统资源仍然残留在内核中，直到系统重启才能彻底回收。

#include <sys/shm.h>
#include <stdio.h>

void sys_leak_example(void) {
    int shmid = shmget(IPC_PRIVATE, 4096, IPC_CREAT | 0666);
    if (shmid == -1) return;

    // 使用共享内存后忘记调用 shmctl(shmid, IPC_RMID, NULL)
    // 进程退出后共享内存段仍然存在于内核中
    // 使用 ipcs -m 可查看残留段
}

1.6 内存泄漏分类全景图

下图为四种泄漏类型及其核心成因的结构化总览，帮助建立全局认知框架。