向文件格式化的输入读取数据