抽象数据类型定义举例