Abstract data type định nghĩa một tập các giá trị và các thao tác được phép trên chúng, được mô tả thuần túy bằng hành vi — không bằng code. Hiện thực (implementation) là cấu trúc cụ thể (array, linked list, tree) hiện thực hóa hành vi đó.
Cùng một ADT, các hiện thực khác nhau
text
ADT "Queue": enqueue, dequeue, peek (hợp đồng FIFO)
Hiện thực A: array + hai index (ring buffer)
Hiện thực B: doubly linked list với pointer head/tail
Cả hai tôn trọng CÙNG hợp đồng; hồ sơ chi phí khác nhau.
Tại sao tách chúng ra
python
:
(): ...
(): ...
(): ...