20.6 抽象类型