C语言中使用malloc、ExAllocatePool等内存分配函数的原因是什么

你在代码里直接定义局部变量、结构体时不需要手动申请内存，本质是这些变量的内存由编译器自动安排在栈或者静态存储区，和malloc、ExAllocatePool申请的堆/内存池内存适用场景完全不同，不存在谁可以完全替代谁的说法。

• 函数内直接定义的局部变量，分配在栈空间：内存大小在编译阶段就已经固定，有严格的容量上限（普通用户态程序栈大小通常只有几MB，Windows内核栈甚至只有十几KB），生命周期完全绑定当前函数——函数执行完return的瞬间，对应的栈帧就会被系统回收，指向这块内存的指针直接变成野指针。
• 全局变量、static静态变量分配在静态存储区：生命周期和整个程序/驱动的运行周期一致，但内存大小同样是编译阶段就固定死的，程序运行过程中没法调整大小，也没法提前释放回收。

必须调用手动内存分配函数的核心场景 #

malloc是C标准库提供的用户态堆内存分配接口，ExAllocatePool是Windows内核驱动场景下专用的池内存分配接口，这类接口本质都是从可动态调度的堆/内存池里申请内存块，核心价值就是解决栈、静态存储区满足不了的需求：

• 内存大小需要运行时才能确定。比如你要存储用户输入的任意长度字符串、要加载运行时才知道具体条数的日志记录、要根据硬件返回的参数创建对应大小的缓冲区——这类动态长度的需求，编译期根本算不出来要留多大空间，栈和静态区的固定大小内存根本适配不了，只能在程序跑起来之后，按需申请对应大小的内存块。
• 内存生命周期需要跨函数、跨执行流。比如你在初始化函数里解析完配置生成的结构体，要传给后续十多个业务模块在整个程序运行周期里使用；或者你在线程A里生成的数据块，要排队交给线程B异步处理——这种场景如果你把数据存在初始化函数、线程A的栈上，函数返回时栈内存直接被回收，后续模块拿到的只会是无意义的乱码。而堆/内存池申请的内存，只要你不主动调用free、ExFreePool释放，就会一直保持有效，生命周期完全由开发者自己控制。
• 需要申请大体积内存块。栈的容量上限极低，你要是敢直接在函数里定义个几MB的大数组，运行时直接就会触发栈溢出崩溃。而堆/内存池是基于虚拟地址空间按需映射的，只要系统剩余资源足够，申请几百MB甚至数GB的内存块都不会有问题。

额外说明：内核态开发没有C标准库的运行环境，根本用不了malloc，而且内核场景对内存属性有严格要求——比如在高中断请求级别（IRQL）下访问分页内存会直接触发系统蓝屏，必须从非分页池申请内存，ExAllocatePool这类内核专用接口就是为了适配内核的特殊运行规则设计的，支持开发者指定需要的内存池类型、内存优先级等参数。

实际开发里不需要刻意追求手动内存分配：如果只是当前函数用的临时小变量，大小编译期就能确定，直接在栈上定义反而性能更高，既没有堆分配的额外开销，也不用手动释放避免内存泄漏。

内容的提问来源于stack exchange，提问作者MDev