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 ファイルに改行を追加するだけです。
アイデア全体が少しハックまたは奇妙に思えることは承知していますが、より迅速な方法はありますか?
乾杯 :)