1.9 Выводы

Абстрактный тип данных полностью скрывает все детали реализации, такие как представление элементов данных, от кода приложения.

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

Указатель дескриптора передаётся в универсальную функцию new(), чтобы получить указатель на элемент данных, и этот указатель передаётся в универсальную функцию delete() для высвобождения соответствующих ресурсов.

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