数据结构的抽象数据类型描述