2008-12-15 java.io.RandomAccessFile#seek()でギャップが発生したとき ソフトウェア ファイルの終わりより後ろにシークした後、書き込みした時、空白の部分に何が書き込まれるか? JavaSE6のJavaDocには記述が無い。 setLength()の場合は伸ばした部分は未定義とある。 JavaSE5 on WinXP ではヌルパディングされる。 POSIX lseek()はヌルパディングするとある。 うーむ。 書いていない以上未定義と看做すのが安全か。。。
