File
文件对象,提供文件读写、定位等操作。
本章内容整章阅读
| 名称 | 描述 |
| File.close | 关闭文件并释放相关资源。 |
| File.puts | 向文件写入一个或多个字符串。 |
| File.printf | 格式化写入数据到文件。 |
| File.flush | 刷新文件缓冲区,确保数据写入磁盘。 |
| File.tell | 获取当前文件指针的位置。 |
| File.seek | 将文件指针移动到指定位置。 |
| File.eof | 检查文件指针是否已到达文件末尾。 |
| File.read | 从文件中读取数据。 |
| File.write | 向文件写入字符串数据。 |
| File.getline | 从文件中读取下一行内容。 |
| File.toString | 获取文件对象的字符串表示形式。 |