eof是文件结束符