Java 中的文件截断操作
在 Java 中截断文件的最佳实践方法是什么?例如这个虚拟函数,仅作为澄清意图的示例:
void readAndTruncate(File f, List<String> lines)
throws FileNotFoundException {
for (Scanner s = new Scanner(f); s.hasNextLine(); lines.add(s.nextLine())) {}
// truncate f here! how?
}
无法删除该文件,因为该文件充当占位符。