输入流类

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

工厂

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

• path 对于 ReadableFile，表示字符文件名

• x 对于 BufferReader，表示一个 缓冲区 或可以通过 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