【Java】BufferedReaderクラスのmarkメソッドの仕様について

Question

BufferedReaderクラスのmarkメソッドの引数には、「マークを保持しながら読み込むことができる文字数の上限」を指定するとAPIには記載されております。
API:https://docs.oracle.com/javase/jp/8/docs/api/java/io/BufferedReader.html#mark-int-

以下の例では、markメソッドの引数に「2」を指定しており、readメソッドで3文字以上の文字を読み込んでresetメソッドを呼び出しているため、例外をスローすると考えましたが、例外をスローしませんでした。

なぜ、markメソッドで指定した文字数以上文字を読み込んだにも関わらず、markが保持されたのでしょうか。

■読み込み文字列 test.txt
abcdefghijklmn

■結果
acfjklmnklmn

public class Main {
	public static void main(String[] args) {

		try {
			BufferedReader bf = new BufferedReader(new FileReader("test.txt"));
			
			for(int i = 0; i <4; i++) {
				bf.skip(i);
				System.out.print((char)bf.read());
			}
			
			bf.mark(2);
			System.out.print((char)bf.read());
			System.out.print((char)bf.read());
			System.out.print((char)bf.read());
			System.out.print((char)bf.read());

			bf.reset();
			System.out.print((char)bf.read());
			System.out.print((char)bf.read());
			System.out.print((char)bf.read());
			System.out.print((char)bf.read());
			
		} catch (IOException e) {
			// TODO 自動生成された catch ブロック
			e.printStackTrace();
		}
	}
}

ちなみに、以下のコードでは、resetメソッドの呼び出し時に例外をスローします。
■読み込み文字列 test.txt
abcdefghijklmn

■結果
acfjklmn
java.io.IOException: Mark invalid

public class Main {
	public static void main(String[] args) {

		try {
			BufferedReader bf = new BufferedReader(new FileReader("test.txt"));
			
			for(int i = 0; i <4; i++) {
				bf.skip(i);
				System.out.print((char)bf.read());
			}
			
			bf.mark(2);
			System.out.print(bf.readLine());

			bf.reset();
			System.out.print(bf.readLine());
			
		} catch (IOException e) {
			// TODO 自動生成された catch ブロック
			e.printStackTrace();
		}
	}
}

Comments

[xebme]

jdkに含まれているBufferedReaderのソースコードを読むのが良いでしょう。「Mark invalid 」markが無効にされる条件を調べてください。fill()メソッド。

Answer 1

ご提示のリンク先の説明には以下の文も含まれています.

この上限値の 前後の数 の文字を読み込んだあとでストリームをリセットしようとすると失敗する 場合がある 。

(強調はこちらで付けました)

つまり, 指定したからといって必ずその数値の文字数でどうこうなるという訳ではありません.

Comments

[kazu0630]

ご回答いただき、ありがとうございました。