19.4 为什么说ADT是代数数据类型