用定义构造数据类型时_抽象数据类型的定义