抽象数据类型举例