8.5.2 抽象数据类型