X'inhu tip ta' data astratt (ADT) u għaliex niseparawh mill-implimentazzjoni tiegħu?

Question

Accepted Answer

Tip ta' **data astratt** jiddefinixxi sett ta' valuri u l-**operazzjonijiet** permessi fuqhom, deskritti purament skond **imġieba** — mhux skond kodiċi. L-implimentazzjoni hija l-struttura konkreta (array, linked list, tree) li tirealizza dik l-imġieba.

## L-istess ADT, implimentazzjonijiet differenti

```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.
```

## Għaliex niseparawhom

```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.
```

## ADTs komuni u implimentazzjonijiet tipiki

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

## Għaliex ta' importanza

Il-programm skond ADT (interface) iżomm il-kodiċi flessibli: tista' tottimizza l-implimentazzjoni aktar tard mingħajr ma tkisser il-callers.

Jittejbu wkoll ir-raġunament — tiddecidi *liema imġieba* għandek bżonn l-ewwel, imbagħad tagħżel l-aqwa struttura li tipprovdulu.

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