1.2 Абстрактные типы данных

Тип данных называется абстрактным, если его представление не открыто пользователю. На теоретическом уровне это требует определять свойства типа данных с помощью математических аксиом, включающих в себя только допустимые операции. Например, можно удалить элемент из очереди только столько раз, сколько раз он был добавлен ранее, а извлекать элементы только в том же порядке, в котором они были добавлены.

Абстрактные типы данных предоставляют большую гибкость для программиста. Поскольку представление не является частью определения, есть свобода выбрать наиболее простой и эффективный способ реализации. Если удастся правильно распределить необходимую информацию, использование типа данных и выбор реализации будут полностью независимы.

Абстрактные типы данных удовлетворяют принципам хорошего программирования о сокрытии информации и разделяй и властвуй. Такая информация, как представление элементов данных, даётся только тому, кто нуждается в её знании: автору кода, а не пользователю. С помощью абстрактного типа данных чётко разделяются задачи программирования реализации и использования: мы на правильном пути разделения большой системы на более мелкие модули.