抽象数据型别（Abstract Data Type，ADT）是计算机科学是具有类似行为的特定类别的数据结构的数学模型；或者具有类似语义的一种或多种进程设计语言的数据类型。抽象数据类型是间接定义的，通过其上的可执行的操作以及这些操作的效果的数学约束（与可能的代价）。

例如，抽象的栈（stack）由3个操作定义：压栈push，弹栈pop（接受约束：每次弹栈返回的是最新被压栈且没有被弹出的数据），查看栈顶数据peek。当分析使用栈时算法的效率，所有这3个操作用时相同，无论栈中包含多少项数据；并且对每项数据栈使用了常量大小的存储。

In computer science, an abstract data type (ADT) is a mathematical model for data types where a data type is defined by its behavior (semantics) from the point of view of a user of the data, specifically in terms of possible values, possible operations on data of this type, and the behavior of these operations. This contrasts with data structures, which are concrete representations of data, and are the point of view of an implementer, not a user.