Abstract data type là gì?

Kiểu dữ liệu trừu tượng (abstract data type viết tắt là ADT) là một kiểu dữ liệu mà hành vi của chúng được xác định bởi một tập giá trị và một tập hợp các phép toán (operation).

Kiểu dữ liệu trừu tượng (abstract data type) chỉ đề cập đến những phép toán nào sẽ được thực hiện chứ không đề cập đến cách những phép toán này sẽ được thực hiện. Nó không chỉ định cách dữ liệu sẽ được tổ chức trong bộ nhớ và những thuật toán nào sẽ được sử dụng để thực hiện các phép toán. Nó được gọi là "trừu tượng" vì nó ẩn đi những chi tiết cách các phép toán đó thực hiện như thế nào mà chỉ cho biết phép toán đó làm gì được gọi là sự trừu tượng hóa (abstraction).

Ví dụ một kiểu dữ liệu trừu tượng (abstract data type) là danh sách liên kết (linked list). Trong kiểu dữ liệu này chúng ta có các một số phép toán (phép toán được triển khai dưới dạng hàm) như insert(), isEmpty(), remove().

Người sử dụng kiểu dữ liệu này không cần biết kiểu dữ liệu đó được code như thế nào. Ví dụ với phép toán isEmpty() người dùng chỉ cần biết phép toán đó kiểm tra xem danh sách có rỗng không mà không cần bất kỳ biết về cách nó được thực hiện như thế nào. Vì vậy, người dùng chỉ cần biết những gì một kiểu dữ liệu có thể làm, nhưng không cần biết nó sẽ được triển khai như thế nào. Hãy coi kiểu dữ liệu trừu tượng (abstract data type) như một hộp đen (black box) ẩn cấu trúc và thiết kế bên trong của kiểu dữ liệu.