აბსტრაქტული ডეტა ტიპი განსაზღვრავს მნიშვნელობების სიმრავლეს და მათზე დაშვებული ოპერაციების, აღწერილი წმინდად ქცევით — არა კოდით. რეალიზაცია არის კონკრეტული სტრუქტურა (მასივი, დაკავშირებული სია, ხე), რომელიც ამ ქცევას განახორციელებს.
ერთი და იგივე 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
:
(): ...
(): ...
(): ...