动态写入文件（消耗内存） Rust

Question

我想为 sat 解算器编写dimacs cnf格式的文件。 每行仅包含几个以 0 结尾的数字。例如，此类文件可能如下所示：

1 2 0
3 -2 1 0
5 3 -1 6 0
1 0

我的问题是，我无法一次写出所有行，因为我总共要写数百万行。 出于这个原因，我想写每一行（可能是一些像样的常量的块），然后从内存中删除数据，因为那时信息已经存在于文件中。

由于要写的行数很多，我也希望这个过程尽可能快，尽管我意识到无论如何它可能会很慢。

也许值得注意的是，我只需要追加行，而不是修改过去的信息。 （或者，仅用于预先添加行，顺序无关紧要）。

提前致谢，并为这样一个菜鸟问题道歉。