javaのデータの読み込みについて

Question

＜Java コード＞
import java.io.;
import java.util.;

class IOExercise{
public static void main(String[] args) throws IOException{
double s2;
BufferedReader kin =null;
DataInputStream in =null;
DataOutputStream out =null;
System.out.println("Enter the number:");

    try{
        kin = new BufferedReader(new InputStreamReader(System.in));
        in = new  DataInputStream(new BufferedInputStream(new FileInputStream("number.data")));
        out = new DataOutputStream(new BufferedOutputStream(new FileOutputStream("number.data")));
        String str = kin.readLine();
        double num = Double.parseDouble(str);
        double s = Math.sqrt(num);
        System.out.println("Square root value " + num+ " is "+ s);
        out.writeDouble(s);
        s2= in.readDouble();
        System.out.println("The square root value " + s + " is written to the file \"number.data\" ");
        System.out.println("The value read from the file \"number.data\" is " + s2 );
        System.out.println("Square of " + s2 + " is "+ s2*s2 );

    }catch(FileNotFoundException e){
        System.out.println("File not found " + e);

    }finally{
        in.close();
        out.close();
        kin.close();
    }
}

}

実行結果
Enter the number:
9
9
Square root value 9.0 is 3.0
Exception in thread "main" java.io.EOFException
at java.io.DataInputStream.readFully(DataInputStream.java:197)
at java.io.DataInputStream.readLong(DataInputStream.java:416)
at java.io.DataInputStream.readDouble(DataInputStream.java:468)
at IOExercise.main(IOExercise.java:22)

質問
number.dataに文字が書かれていたので、ちゃんと書き込まれているはずなのですが、なぜか読み込むことができずにEOFExceptionが起きてしまいます。どこがおかしいのでしょうか。

Comments

[kai11]

試しに
in = new DataInputStream(new BufferedInputStream(new FileInputStream("number.data")));
out = new DataOutputStream(new BufferedOutputStream(new FileOutputStream("number.data")));
の部分のBufferのところを消してみたらできました。なぜでしょうか？

[kai11]

in = new DataInputStream(new FileInputStream("number.data"));
out = new DataOutputStream(new FileOutputStream("number.data"));
としました。

Answer 1

out.writeDouble(s); で書き込んだデータはバッファの中にあるだけで
実際にファイルには書き込まれていません。
out.flush(); または out.close(): でファイルに書き込まれます。

Comments

[kai11]

回答ありがとうございます。

Answer 2

  out.writeDouble(s);

としたからといって、必ずしもその時点でファイルに書き込まれているとは限らない。いつ実際にファイルに書き込まれるのかはFileOutputStreamの実装による。OutputStreamにはflush()メソッドが定義されていて、このように定義されている。

https://docs.oracle.com/javase/jp/8/docs/api/java/io/OutputStream.html#flush--

バッファリングされていたすべての出力バイトを強制的に書き込みます。...ストリームをフラッシュすることで、それまでにストリームに書き込まれたバイトがオペレーティング・システムに渡されて書き込まれることは保証されますが、ディスク・ドライブなどの物理デバイスに実際に書き込まれることは保証されません。

たとえflush()したとしても、実際にデバイスつまりファイルに書き込まれるかどうかは、保証されない。

number.dataに文字が書かれていたので、ちゃんと書き込まれているはずなのですが、なぜか読み込むことができずにEOFExceptionが起きてしまいます。どこがおかしいのでしょうか。

いつ、「ちゃんと書き込まれているはずな」ことを確認したのでしょうか。おそらく、プログラムが終了した、あと、でしょう。それは out.close(); したあとだから、プログラムが終了したあとだから、「number.dataに文字が書かれていた」。いずれ、InputStreamもOutputStreamもバッファリングされることを考慮すれば、同じファイルを同時に開いて読み書きするのはとてもむつかしいでしょう。

どうしても同一ファイルへの読み書き同時におこないたいのであれば、StreamではなくChannel https://docs.oracle.com/javase/jp/8/docs/api/java/nio/channels/FileChannel.html をつかうのがよろしいかと。

Comments

[kai11]

理解できました。ありがとうございます。
ところで
in = new DataInputStream(new FileInputStream("number.data"));
out = new DataOutputStream(new FileOutputStream("number.data"));
と変更したらちゃんと出力されました。なぜこっちの場合はファイルに書き込まれたのでしょうか。

[shiketa]

BufferedOutputStream と FileOutputStream の実装の違いなんじゃないですか、詳しくは知りませんが。正確なところはソースをどうぞ。読み解いたら是非ご教授ください。https://github.com/openjdk/jdk/blob/master/src/java.base/share/classes/java/io/BufferedOutputStream.java

[kai11]

ありがとうございます。