File.Replace是Windows下唯一真正原子的文件替换机制，通过MoveFileTransacted或MoveFileEx实现同卷硬链接交换；跨平台需用临时文件+File.Move模拟原子性，避免直接WriteAllText覆盖导致的中间态损坏。
用 File.Replace 原子替换文件最可靠
Windows 平台下，File.Replace 是 .NET 提供的唯一真正原子的文件内容替换机制——它底层调用 Win32 MoveFileTransacted 或 MoveFileEx（取决于是否启用事务），能保证「旧文件被新内容完全覆盖」或「保持原状」，不会出现中间态损坏。Linux/macOS 不支持该 API，此时需降级为「写临时文件 + 原子重命名」策略。
关键点：File.Replace 不是「覆盖写入」，而是「用新文件交换旧文件的硬链接/目录项」，原文件句柄仍有效，但路径指向已切换。
- 必须确保源文件（新内容）、备份文件（可为
null或空字符串）和目标文件在**同一卷**（否则抛出NotSupportedException） - 备份文件参数若传非
null字符串，系统会把原目标文件重命名为该路径；若只需丢弃旧内容，直接传null或string.Empty - 调用前无需手动删除目标文件；若目标不存在，会抛出
FileNotFoundException
try
{
File.Replace("new-content.tmp", "config.json", null);
}
catch (IOException ex) when (ex.Message.Contains("being used by another process"))
{
// 文件正被其他进程读取（如日志轮转、IDE 打开），需重试或提示
}
跨平台时用 File.Move + 临时文件模拟原子性
在 Linux/macOS 或需要跨平台部署时，File.Replace 不可用，标准做法是：写入带唯一后缀的临时文件 → 调用 File.Move 替换目标。因为 File.Move 在同卷上是原子的（本质是 rename(2) 系统调用），只要临时文件与目标在同一文件系统，就能避免写到一半崩溃导致损坏。
- 临时文件必须用
Path.GetTempFileName()或Path.Combine(Path.GetTempPath(), Guid.NewGuid().ToString())生成，避免命名冲突 - 写完临时文件后，务必调用
File.Flush()和fs.Dispose()（或用using），确保所有数据落盘 - 替换前可先
File.Exists(target)校验，但不要依赖它做逻辑分支——竞态条件依然存在 - 若替换失败（如权限不足、磁盘满），临时文件需主动清理，否则堆积
var temp = Path.Combine(Path.GetTempPath(), $"config-{Guid.NewGuid()}.tmp");
try
{
File.WriteAllText(temp, updatedJson);
File.Move(temp, "config.json", true); // true 表示覆盖
}
finally
{
if (File.Exists(temp))
File.Delete(temp);
}
为什么不能直接 File.WriteAllText 覆盖？
直接覆盖看似简单，但有三类风险无法规避：
- 崩溃中断：写到一半进程崩溃，文件变成截断或乱码（尤其大文件或网络文件系统）
-
并发读取：其他线程/进程正在读该文件，可能读到部分新、部分旧的内容（
WriteAllText是先清空再写，中间存在空窗） - 杀毒软件干扰：某些实时扫描器会在
WriteAllText打开文件时加锁，导致后续读取失败或阻塞
而原子替换策略中，读取方要么看到完整旧版，要么看到完整新版，绝不会看到混合状态。
容易忽略的权限与符号链接陷阱
即使用了原子替换，以下情况仍会导致失败或行为异常：
- 目标路径是符号链接（symlink）时，
File.Replace和File.Move都操作的是**链接本身**，不是目标文件；若需更新链接指向的内容，得先File.ReadLink（.NET 5+）解析真实路径 - Windows 下若目标文件设置了
ReadOnly属性，File.Replace会失败（不像WriteAllText会自动清除属性），需提前FileAttributes.Normal重置 - Docker 容器内挂载的 volume 若为 NFS 或 CIFS，
rename可能不原子，此时应避免依赖原子性，改用外部协调（如数据库锁、Redis 分布式锁）
真正的安全不是选对一个函数，而是清楚你的部署环境是否兑现了该函数承诺的语义。
