Windows下`posix_fallocate()`的等效方案：如何全部分配稀疏文件

问题 #

NTFS支持稀疏文件（sparse files），但我需要确保待写入的文件（可能由其他应用创建、设为稀疏并部分填充）被全部分配，避免后续写入文件中间位置时因空间不足报错（即空间不足错误应提前触发）。

是否存在WinAPI函数可确保稀疏文件被全部分配（最好是原子性的），如同POSIX系统中的posix_fallocate()？若没有，该如何预分配？

我认为以下问题并非重复：

• 《How do you pre-allocate space for a file in C/C++ on Windows?》：该问题针对普通文件（Windows默认非稀疏），答案未涉及稀疏文件的处理。
• 《How to create a file of a particular size on windows without io?》：该问题虽提及posix_fallocate()，但需求相反，是快速创建大文件（有评论建议用NTFS稀疏文件）。

回答 #

Windows没有直接对应posix_fallocate()的原子化WinAPI来完全分配稀疏文件的所有空间，但可以通过以下两种可靠方式实现需求：

方法1：使用SetFileValidData（需特权） #

• 前提：进程需拥有SE_MANAGE_VOLUME_NAME特权（需提前启用），且文件位于NTFS卷上。
• 作用：直接将文件的有效数据长度设置为目标大小，NTFS会立即分配所有所需空间（即使是稀疏文件），空间不足时会提前返回错误。
• 注意：此函数不会向磁盘写入任何数据，仅标记所有空间为已分配，后续写入操作无需再分配空间。
• 操作步骤：
  1. 启用SE_MANAGE_VOLUME_NAME特权；
  2. 打开文件时指定FILE_WRITE_DATA权限；
  3. 调用SetFileValidData，传入文件句柄和目标大小。

方法2：遍历稀疏区域并写入零（无特权要求） #

如果无法获取特权，可通过查询文件的稀疏区域，对未分配区域写入零来强制分配空间：

• 使用FSCTL_QUERY_ALLOCATED_RANGES获取文件已分配的范围；
• 计算出未分配的稀疏区域；
• 对每个未分配区域调用WriteFile写入零字节（或通过SetFilePointerEx定位后写入）；
• 此方法会实际写入数据到磁盘，空间不足时写入操作会直接报错，达到提前触发错误的目的。

关于原子性 #

两种方法都无法做到完全原子化，但SetFileValidData的原子性更高——系统要么成功分配所有空间，要么失败返回错误（空间不足时会立即失败）。而写入零的方式可能在部分区域分配后才遇到空间不足，此时需要自行处理部分分配的情况。

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