【软件构造】第三章第三节 抽象数据型(ADT)