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