基本介紹
- 中文名：抽象資料類別
- 外文名：Abstract data type
簡介,示例,接口和實現的分離,抽象數據結構,內置抽象數據類型,參閱,
簡介
抽象數據類型（AbstractDataType，ADT）是計算機科學中具有類似行為的特定類別的數據結構的數學模型；或者具有類似語義的一種或多種程式設計語言的數據類型。抽象數據類型是間接定義的，通過其上的可執行的操作以及這些操作的效果的數學約束（與可能的代價）。
例如，抽象的堆疊（stack）由3個操作定義：推入push，彈出pop（接受約束：每次彈出返回的是最新被推入且沒有被彈出的數據，也就是後進先出），查看堆疊頂端數據peek。當分析使用堆疊算法的效率，所有這3個操作用時相同，無論堆疊中包含多少項數據；並且對每項數據棧使用了常量大小的存儲。
抽象數據類型（ADT）是純粹理論實體，用於簡化描述抽象算法，分類與評價數據結構，形式描述程式設計語言的類型系統。一個ADT可以用特定數據類型或數據結構實現，在許多程式設計語言中有許多種實現方式；或者用形式規範語言描述。ADT常實現為模組（module）：模組的接口聲明了對應於ADT操作的例程（procedure），有時用注釋描述了約束。
示例
在程式語言（或庫）和教科書中，常見的幾個抽象數據類型如下：
接口和實現的分離
實現於程式時，抽象數據類型只顯現出其接口，並將實現加以隱藏。用戶只需關心它的接口，而不是如何實現。未來更可以改變實現的方式。（其支持信息隱藏原理，或保護程式免受變化的衝擊。）
抽象數據類型的強處在於對用戶隱藏了實現細節，僅公開其接口。這表示抽象數據類型可以用各種方法來實現，只要遵循其接口，就不會影響到用戶。
在抽象數據類型和數據結構之間，有一個實現上的微妙差別。例如，列表的抽象數據類型可以數組為基礎、或者使用鍊表來實現。列表即是一種具良好運算（加入元素、移除元素等等）定義的抽象數據類型。鍊表是以指針為基礎的數據結構，且可用來創建一個列表。鍊表常用於列表的抽象數據類型。
同樣地，二叉樹搜尋法的抽象數據結構可以幾個方式實現：二叉樹、AVL樹、紅黑樹、數組等等。且無須關心其實現，二叉樹搜尋法總是有相同的運算（插入、移除、查找等等）。
從實現中分離出接口，並不表示用戶不該知道實現的方法，而是用戶不能依賴於實現細節。例如，一個抽象數據類型可以用腳本語言創建，或其它可以被反編譯的語言（如C語言）。即使用戶可發現實現的方法，只要所有客戶端程式遵循該接口，且改變實現方式時不會產生影響，那就仍是抽象數據類型。
