6.13 用枚举建模ADT