抽象类型