我有一个文件,格式如下:学号 学生名字 成绩
学号 学生名字 成绩
.
.
.为了方便我想用DataInputStream直接读入学号,成绩等信息,但是学生名字怎么办啊?应该用什么函数把它作为一个String直接读进来?