数组是否连续？虚拟内存与物理内存下的存储连续性疑问

你提到的场景结论是成立的：如果数组刚好完全占用1个虚拟页，那么它对应的物理地址是连续的。
这是因为页表的映射单位确实是完整的页：同一个虚拟页内的虚拟地址，翻译为物理地址时，仅替换高位的页号，低位的页内偏移完全保留。也就是说，同一个虚拟页内的连续虚拟地址，对应的物理地址也必然是连续的，和页帧的映射规则完全匹配。
通常我们说「数组在物理内存中通常不连续」，特指跨多个虚拟页的大数组场景：比如大小为16KB的数组，在虚拟内存中占4个连续的虚拟页，这4个虚拟页可以分别映射到4个完全不相邻的物理页帧，此时整个数组的物理地址就是不连续的，但每个虚拟页内部的4KB内容，物理上仍然是连续的。

你的理解没有错误，分配1页大小的数组，确实可能跨两个虚拟页，对应最多2个物理页帧，是否会出现这种情况完全取决于分配的起始地址是否对齐到页边界：

• 常规内存分配器（比如Linux下的malloc）对于大于等于页大小的内存分配请求，默认会返回页边界对齐的地址，这种情况下大小为1页的数组会完整占用1个虚拟页，不会跨页。
• 如果分配的起始地址没有对齐到页边界（比如你手动从堆中偏移了非页对齐的地址作为数组起始地址，或者分配器特意关闭了对齐优化），那么1页大小的数组就会拆分到两个连续的虚拟页中，此时这两个虚拟页各自映射到独立的物理页帧，该数组就会占用2个物理页帧。

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