ADT Student
Date
线性表中的数据元素具有相同类型，相邻元素具有前驱与后继的关系；首元素无前驱，末元素无后继，其他元素有且仅有一个前驱和一个后继
Operation
InitStudent
前置条件：学生信息表不存在
输入：无
功能：学生信息表的初始化
输出：True(初始化成功）或False(初始化失败）
后置条件：一个空的学生信息表
DestoryStudent
前置条件：学生信息表已存在
输入：无
功能：销毁学生信息表
输出：True(学生信息表销毁成功）或False(学生信息表销毁失败）
后置条件：释放学生信息表所占用的内存
Get
前置条件：线性表已存在
输入：学生学号i
功能：按值查找，在学生信息表中查找学号等于i的学生信息
输出：如果学号合法，返回学号为i的学生信息，否则抛出异常
后置条件：学生信息表不变
Insert
前置条件：学生信息表已存在
输入：插入位置i，待插入学生姓名x，学号y，
功能：插入操作在线性表的第i个位置插入一个学生信息
输出：若插入失败，抛出异常
后置条件:若插入成功，表中学生信息增加一个
Delete
前置条件：学生成绩表存在
输入：删除位置i
功能：删除操作，删除学生成绩表中第i个元素
输出：若删除失败，抛出异常
后置条件：若删除成功，学生信息表少一个学生信息
PrintStudent
前置条件：学生信息表存在
输入：无
功能：遍历操作，按序号依次输出学生信息
输出：学生信息表中的每个学生信息
后置条件：学生信息表不变
endADT
