Java PushbackInputStream mark()方法与示例