InputStream 类

RandomAccessFile 继承自 InputStream 并且是以下类的基类：用于从文件读取的 ReadableFile；用于同样目的但使用内存映射的 MemoryMappedFile；以及用于从缓冲区读取的 BufferReader。将这些与各种表格读取器一起使用。

工厂

$create() 工厂方法实例化 InputStream 对象，并根据子类采用以下参数

• path 对于 ReadableFile，一个字符文件名

• x 对于 BufferReader，一个 Buffer 或可以通过 buffer() 转换为缓冲区的对象。

要实例化 MemoryMappedFile，请调用 mmap_open()。

方法

• $GetSize():

• $supports_zero_copy()：逻辑值

• $seek(position)：转到流中的该位置

• $tell()：返回流中的位置

• $close()：关闭流

• $Read(nbytes)：从流中读取数据，可以是指定的 nbytes，如果未提供 nbytes 则读取所有数据

• $ReadAt(position, nbytes)：类似于 $seek(position)$Read(nbytes)

• $Resize(size)：对于可写的 MemoryMappedFile