抽象資料型別
数学模型的数据类型 / 維基百科,自由的 encyclopedia
抽象資料型別(英語:Abstract data type,縮寫:ADT)是電腦科學中具有類似行為的特定類別的資料結構的數學模型;或者具有類似語意的一種或多種程式語言的資料類型。抽象資料類型是間接定義的,通過其上的可執行的操作以及這些操作的效果的數學約束(與可能的代價)。
![]() |
例如,抽象的堆疊(stack)由3個操作定義:推入push,彈出pop(接受約束:每次彈出返回的是最新被推入且沒有被彈出的資料,也就是後進先出),檢視堆疊頂端資料peek。當分析使用堆疊演算法的效率,所有這3個操作用時相同,無論堆疊中包含多少項資料;並且對每項資料棧使用了常數大小的儲存。
抽象資料類型(ADT)是純粹理論實體,用於簡化描述抽象演算法,分類與評價資料結構,形式描述程式語言的型別系統。一個ADT可以用特定資料類型或資料結構實作,在許多程式語言中有許多種實作方式;或者用形式規範語言描述。ADT常實作為模組(module):模組的介面聲明了對應於ADT操作的常式(procedure),有時用註釋描述了約束。