რა არის აბსტრაქტული ডেटা ტიპი (ADT) და რატომ გამოვყოთ იგი მის რეალიზაციისგან?

Question

IT Interview Practice · Accepted Answer

**აბსტრაქტული ডეტა ტიპი** განსაზღვრავს მნიშვნელობების სიმრავლეს და მათზე დაშვებული **ოპერაციების**, აღწერილი წმინდად **ქცევით** — არა კოდით. რეალიზაცია არის კონკრეტული სტრუქტურა (მასივი, დაკავშირებული სია, ხე), რომელიც ამ ქცევას განახორციელებს.

## ერთი და იგივე ADT, სხვადსხვა რეალიზაციები

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

## ჩვეულებრივი ADT-ები და ტიპიური რეალიზაციები

| ADT | ჩვეულებრივი რეალიზაციები |
|---|---|
| List | დინამიური მასივი, დაკავშირებული სია |
| Stack | მასივი, დაკავშირებული სია |
| Queue | რგოლოვანი ბაფერი, დაკავშირებული სია |
| Map | ჰეშ-ცხრილი, დაბალანსებული ხე |
| Priority Queue | ორობითი გროვა |

## რატომ არის ეს მნიშვნელოვანი

ADT-სთან დაპროგრამება (ინტერფეისთან) კოდს მოქნილს ხდის: შეგიძლიათ მოგვიანებით რეალიზაცია ოპტიმიზირდეს დამკალლებელთა დაზიანების გარეშე.

ის ასევე მკვეთრად აასოებს მსჯელობას — პირველად თქვენ განსაზღვრავთ *რა ქცევა* გჭირდებათ, შემდეგ კი აირჩიეთ ყველაზე იაფი სტრუქტურა, რომელიც მას უზრუნველყოფს.

ADT	ჩვეულებრივი რეალიზაციები
List	დინამიური მასივი, დაკავშირებული სია
Stack	მასივი, დაკავშირებული სია
Queue	რგოლოვანი ბაფერი, დაკავშირებული სია
Map	ჰეშ-ცხრილი, დაბალანსებული ხე
Priority Queue	ორობითი გროვა

ერთი და იგივე ADT, სხვადსხვა რეალიზაციები

რატომ გამოვყოთ ისინი

ჩვეულებრივი ADT-ები და ტიპიური რეალიზაციები

რატომ არის ეს მნიშვნელოვანი

დაკავშირებული კითხვები