Абстрактний тип даних

Абстрактний тип даних (АТД) - це математична модель для типів даних. де тип даних визначається поведінкою (семантикою) з точки зору користувача даних, а саме в термінах можливих значень, можливих операцій над даними цього типу і поведінки цих операцій.

Формально, АТД може бути визначено, як безліч об'єктів, яке визначається списком компонентів (операцій. Застосовних до цих об'єктів, і їх властивостей). Вся внутрішня структура такого типу захована від розробника програмного забезпечення - в цьому і полягає суть абстракції. Абстрактний тип даних визначає набір функцій. незалежних від конкретної реалізації типу, для оперування його значеннями. Конкретні реалізації АТД називаються структурами даних.

Різниця між абстрактними типами даних і структурами даних. які реалізують абстрактні типи, можна пояснити на наступному прикладі. Абстрактний тип даних список може бути реалізований за допомогою масиву або лінійного списку, з використанням різних методів динамічного виділення пам'яті. Однак кожна реалізація визначає один і той же набір функцій, який повинен працювати однаково (по результату, а не по швидкості) для всіх реалізацій.

Абстрактні типи даних дозволяють досягти модульности програмних продуктів і мати кілька альтернативних взаємозамінних реалізацій окремого модуля.

Для поліпшення цієї статті з інформаційних технологій бажано: