java - Reader 中的多个标记

Question

我找不到用 Java（或 Groovy）编写以下代码的功能

reader.mark();   //(1)
reader.read();   //reads 'a'
reader.mark();   //(2)
reader.read();   //reads 'b'
reader.reset();  //back to (2)
reader.read();   //reads 'b'
reader.reset();  //back to (1)
reader.read();   //reads 'a'
reader.read();   //reads 'b'

Reader.mark(int)是一个不错的方法，但它不会堆叠标记，它只包含最近的标记..

Java库的任何支持还是我一个人？

Answer 1

所以我自己写的-.-

class CharReader {
    private Stack marks;
    private RandomAccessFile reader;

    CharReader(File file) {
        this.marks = new Stack();
        this.reader = new RandomAccessFile(file, 'r');
    }

    void mark() {
        long mark = reader.getFilePointer();
        marks.push(mark);
    }

    void reset() {
        if (marks.size() <= 0)
            return

        long mark = marks.pop();
        reader.seek(mark);
    }

    char peek() {
        mark();
        char nextChar = next();
        reset();
        return nextChar;
    }


    char next() {
        int nextChar;
        if ((nextChar = nextInt()) >= 0) {
            return (char) nextChar;
        }
        throw new IllegalStateException("Reader empty");
    }

    private int nextInt() {
        return reader.read();
    }
}

足以满足我的需要。仅支持单字节chars ;-)

Answer 2

您可以尝试在 a 周围实现一些东西PushBackReader，它有一种unread方法可以让您将不需要的字符推入回推缓冲区。

char a, b;         // reader holds "ab"
a = reader.read(); // reader holds "b"
b = reader.read(); // reader holds ""
reader.unread(b);  // reader holds "b"
b = reader.read(); // reader holds ""
reader.unread(b);  // reader holds "b"
reader.unread(a);  // reader holds "ab"
a = reader.read(); // reader holds "b"
b = reader.read(); // reader holds ""

对于可能解析应用程序，这种工具足以满足您的需求。

另一种选择是对于需要标记的每个嵌套层，以Reader在它们传递的层之上构造一个新的层，并改为标记那个层。