抽象类型 在编程语言中抽象类型是指名義型別系統中不能直接实例化的类型而非抽象的类型即可以实例化的类型則被称为具体类型 一个抽象类型可以不提供实现或者不完整的实现在一些语言中没有实现的抽象类型被称为协议接口在基于类编程以及面向对象程序设计中抽象类型被实现为抽象类也被称为抽象基类而具体类型被实现为具体类