ما هو نوع البيانات المجرد (ADT) ولماذا نفصله عن تنفيذه؟

Question

Accepted Answer

يُعرّف **نوع البيانات المجرد** مجموعة من القيم و**العمليات** المسموحة عليها، موصوفة بحتة من خلال **السلوك** - وليس من خلال الكود. التنفيذ هو البنية الملموسة (array, linked list, tree) التي تحقق هذا السلوك.

## نفس نوع البيانات المجرد، تنفيذات مختلفة

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

## لماذا نفصل بينهما

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

## أنواع البيانات المجردة الشائعة والتنفيذات النموذجية

| نوع البيانات المجرد | التنفيذات الشائعة |
|---|---|
| List | dynamic array, linked list |
| Stack | array, linked list |
| Queue | ring buffer, linked list |
| Map | hash table, balanced tree |
| Priority Queue | binary heap |

## لماذا يهم هذا

البرمجة لنوع بيانات مجرد (واجهة) تحافظ على مرونة الكود: يمكنك تحسين التنفيذ لاحقاً دون كسر الأكواد الاستدعائية.

كما أنها تُحسّن المنطق - تقرر *أي سلوك* تحتاج أولاً، ثم تختار أرخص بنية توفر ذلك.

نوع البيانات المجرد	التنفيذات الشائعة
List	dynamic array, linked list
Stack	array, linked list
Queue	ring buffer, linked list
Map	hash table, balanced tree
Priority Queue	binary heap