Apakah itu abstract data type (ADT) dan mengapa memisahkannya daripada pelaksanaannya?

Question

Accepted Answer

Suatu **abstract data type** mentakrifkan satu set nilai dan **operasi** yang dibenarkan ke atasnya, diterangkan semata-mata melalui **kelakuan** — bukan melalui kod. Pelaksanaannya ialah struktur konkrit (array, linked list, tree) yang merealisasikan kelakuan tersebut.

## ADT yang sama, pelaksanaan berbeza

```text
ADT "Queue":  enqueue, dequeue, peek  (FIFO contract)

Implementation A: array + two indices (ring buffer)
Implementation B: doubly linked list with head/tail pointers
Both honor the SAME contract; cost profiles differ.
```

## Mengapa memisahkannya

```python
# Callers depend on the CONTRACT, not the internals
class Stack:
    def push(self, x): ...
    def pop(self): ...
    def peek(self): ...
# Swap a list for a linked list internally — callers never change.
```

## ADT biasa dan pelaksanaan lazim

| ADT | Pelaksanaan biasa |
|---|---|
| List | array dinamik, linked list |
| Stack | array, linked list |
| Queue | ring buffer, linked list |
| Map | hash table, balanced tree |
| Priority Queue | binary heap |

## Mengapa ia penting

Memprogram kepada ADT (suatu antara muka) mengekalkan kod fleksibel: anda boleh mengoptimumkan pelaksanaan kemudian tanpa merosakkan pemanggil.

Ia juga menajamkan penaakulan — anda menentukan *kelakuan apa* yang anda perlukan dahulu, kemudian memilih struktur termurah yang menyediakannya.

ADT	Pelaksanaan biasa
List	array dinamik, linked list
Stack	array, linked list
Queue	ring buffer, linked list
Map	hash table, balanced tree
Priority Queue	binary heap