Apa itu tipe data abstrak (ADT) dan mengapa memisahkannya dari implementasinya?

Question

Accepted Answer

Sebuah **tipe data abstrak** mendefinisikan sekumpulan nilai dan **operasi** yang diperbolehkan pada mereka, dijelaskan murni oleh **perilaku** — bukan oleh kode. Implementasi adalah struktur konkret (array, linked list, tree) yang mewujudkan perilaku tersebut.

## ADT yang sama, implementasi yang berbeda

```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 umum dan implementasi khas

| ADT | Implementasi umum |
|---|---|
| List | dynamic array, linked list |
| Stack | array, linked list |
| Queue | ring buffer, linked list |
| Map | hash table, balanced tree |
| Priority Queue | binary heap |

## Mengapa ini penting

Memprogramkan terhadap ADT (sebuah antarmuka) membuat kode tetap fleksibel: Anda dapat mengoptimalkan implementasi kemudian tanpa merusak pemanggil.

Ini juga mempertajam pemikiran — Anda memutuskan terlebih dahulu *perilaku* apa yang Anda butuhkan, kemudian memilih struktur termurah yang menyediakannya.

ADT	Implementasi umum
List	dynamic array, linked list
Stack	array, linked list
Queue	ring buffer, linked list
Map	hash table, balanced tree
Priority Queue	binary heap