C语言中使用数组占用大量内存未崩溃：是否借助虚拟内存？

你猜的没错！这完全是虚拟内存机制在背后帮你解决了问题。

咱们先理清一个关键误区：你担心的「需要大量连续可用内存」，指的是物理内存的连续性，但数组要求的其实是虚拟地址空间的连续性——这俩根本不是一回事儿。

现代操作系统都会给每个进程分配独立的虚拟地址空间，这个空间里的连续地址，不需要对应物理内存里的连续块。系统会把虚拟地址拆成一个个固定大小的「页」（比如常见的4KB），然后通过页表，把这些虚拟页映射到物理内存中任意空闲的「页帧」上。哪怕物理内存里只有零散的小页帧，只要总数够，就能拼成你需要的连续虚拟地址区间。

举个例子：你要开一个100MB的数组，虚拟地址上是从0x10000000到0x16400000的连续区间，但物理内存里可能是用25600个分散的4KB页帧来填充的——操作系统会自动处理这些映射，你完全感知不到物理内存的碎片化。

对比你提到的树/链表这类结构：它们本身就是用分散的虚拟地址来存储数据，所以天然不要求连续，但数组的优势是虚拟地址连续带来的随机访问效率，而虚拟内存正好弥补了它对物理内存连续性的依赖。

当然也有例外情况：

• 如果你的数组大到超出了进程虚拟地址空间的上限（比如32位进程里试图开几个GB的数组），那malloc会直接返回NULL，或者如果是栈上的数组（比如char big_arr[1024*1024*1024];），会直接触发栈溢出崩溃。
• 要是物理内存加上磁盘交换区的总空间都装不下你的数组，系统可能会触发OOM（内存不足）机制杀死进程，但这种情况比「找不到连续物理块」要罕见得多。

总结一下：你这次程序没崩溃，就是因为虚拟内存把物理内存的连续性要求给彻底屏蔽了——数组用的连续虚拟地址，背后是操作系统帮你拼接的分散物理页，完全不用你操心物理内存是否连续。

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