read_data = new BufferedReader( new FileReader(args[0]) );
data_buffer = new StringBuffer();
int i;
while(read_data.ready())
{
while((i = read_data.read()) != -1)
{
data_buffer.append((char)i);
}
}
data_buffer.append(System.getProperty("line.separator"));
我想要做的是,将整个 .txt 文件读入字符串并在字符串中附加一个换行符。然后可以通过传递 data_buffer.toString() 创建一个新的 Scanner 来处理这个字符串。显然,对于非常大的文件,此过程会占用大量时间,而我要做的只是将换行符附加到已读入内存的 .txt 文件中。
我知道整个想法似乎有点古怪或奇怪,但有没有更快的方法?
干杯:)