malloc分配的内存是否总是连续？K&R表述与网络认知的疑惑澄清

两种看似矛盾的说法，本质讨论的根本不是同一个层面的事：

• 单次malloc调用返回给用户程序的内存，必须是连续可寻址的。这是C标准的强制要求：只要malloc(n)返回非空指针，用户就可以基于这个指针，从起始地址开始连续访问n字节的空间，不管是存储数组、按偏移读取结构体字段，都必须正常工作。网上多数内容提到的“malloc做连续分配”，指的就是这个层面的规则。
• malloc自身全局管理的全部可分配内存池，完全不需要在地址空间上连续。这正是K&R书中描述的场景。

从早期的参考实现到现在广泛使用的glibc、musl libc，malloc的块管理核心逻辑本质都是链表结构：

• 每个内存块的头部会存储块大小、占用标记、指向下一个块的指针，把所有空闲、已分配的块串成统一的管理链路。链表本身的特性就是只要求节点通过指针关联，根本不要求节点在地址空间上相邻。
• 堆内存的拓展是动态过程：初始化阶段malloc只会从操作系统申请一小块初始内存，当现有块无法满足分配需求时，会通过brk、mmap这类系统调用向操作系统申请新的内存段。如果原有堆段的相邻地址已经被动态库映射、线程栈、其他内存占用，新申请的内存段自然和原有堆段不存在地址上的连续性。
• 实际运行中，如果申请的内存块尺寸较大，多数实现会直接通过mmap单独映射一块独立内存，这块内存和原有堆区的地址完全隔开，这就是最直观的“malloc管理空间不连续”的例子。

入门教材为了降低原理讲解的门槛，通常会把堆抽象成一段从低地址向高地址线性增长的连续内存区域，画成一整条连续的块链表示意图。这种简化模型对入门理解非常友好，但久而久之会让读者误以为整个堆的物理/虚拟地址必须连续，才会和K&R的原始描述产生认知冲突。
实际上只要满足“单次分配返回的内存连续可访问”的硬要求，底层malloc如何组合内存、如何串联管理块、全局堆区是不是被拆成多段，C标准没有任何强制约束，实现完全可以按运行效率最优的方式设计。

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