java 中实现文件原子写入的核心做法是使用 files.write() 配合 standardopenoption.create、truncate_existing 和 directory_link（或 symbolic_link）等选项，但最稳妥的跨平台方案是先写入临时文件再原子替换。具体而言，调用 files.write(path, bytes, options) 时若目标路径已存在且设置了 truncate_existing，它会先清空原文件内容再写入新数据；而要实现真正的原子性替换，应使用 files.move(source, target, standardcopyoption.atomic_move)。
直接覆盖写入时 TRUNCATE_EXISTING 的行为是什么
当使用 Files.write() 并指定 TRUNCATE_EXISTING 选项时，如果目标文件已经存在，JVM 会首先截断该文件使其长度变为零，然后才开始写入新数据。这意味着在写入完成前，文件内容是空的，其他进程读取可能会得到空文件或部分数据，因此这并非严格意义上的原子写入，而是“先清空后写入”的操作。
import java.nio.file.Files;
import java.nio.file.Path;
import java.nio.file.StandardOpenOption;
import java.io.IOException;
public class DirectWriteExample {
public static void main(String[] args) throws IOException {
Path path = Path.of("data.txt");
// 假设 data.txt 已存在且包含旧数据
byte[] newData = "New Content".getBytes();
// 使用 TRUNCATE_EXISTING 确保先清空再写入
Files.write(path, newData,
StandardOpenOption.CREATE,
StandardOpenOption.TRUNCATE_EXISTING,
StandardOpenOption.WRITE);
System.out.println("Direct write completed.");
}
}
如何通过临时文件实现真正的原子替换
要实现真正的原子写入，标准做法是先将数据写入一个临时文件，然后使用 Files.move() 将该临时文件移动到目标位置，并设置 StandardCopyOption.ATOMIC_MOVE。此操作在底层通常依赖于操作系统的原子重命名功能（如 Linux 上的 rename()），确保目标文件要么保持旧内容，要么瞬间切换为新内容，不会出现中间状态。
立即学习“Java免费学习笔记（深入）”；
import java.nio.file.Files;
import java.nio.file.Path;
import java.nio.file.StandardCopyOption;
import java.io.IOException;
public class AtomicMoveExample {
public static void main(String[] args) throws IOException {
Path targetPath = Path.of("config.json");
Path tempPath = Path.of("config.json.tmp");
byte[] newData = "{\"key\": \"value\"}".getBytes();
// 1. 写入临时文件
Files.write(tempPath, newData);
// 2. 原子移动临时文件到目标位置
try {
Files.move(tempPath, targetPath,
StandardCopyOption.ATOMIC_MOVE,
StandardCopyOption.REPLACE_EXISTING);
System.out.println("Atomic move completed.");
} catch (Exception e) {
// 清理临时文件以防残留
Files.deleteIfExists(tempPath);
throw e;
}
}
}
ATOMIC_MOVE 失败时的回退策略是什么
当 Files.move() 尝试执行原子移动但底层文件系统不支持时（例如跨分区移动），会抛出 AtomicMoveNotSupportedException。此时应捕获异常并回退到非原子操作：即先删除目标文件，再将临时文件重命名为目标文件名。虽然这种回退方式不是原子的，但在单分区内通常足够可靠，且能避免程序崩溃。
