Вы можете перейти к следующему разделу.
Это верно; тип находится в приватной части пакета. Необходимо отметить, что даже если что-то реализовано при помощи ссылочных типов, это вовсе не значит, что пользаватели должны видеть все детали реализации. В данном примере пользовали могут помещать в стек и извлекать значения из него, не имея представления как работают ссылки.
Отметим, что эта версия пакета Generic_Stack является хорошо "компонуемой", т.к. она поддерживает операции присваивания (:=) и равенства (=), что позволяет нам создавать "стеки стеков". Даже если никогда не понадобится создавать "стеки стеков", проверка "компонуемости" является хорошим показателем универсальности компонента, предназначенного для повторного использования [Wheeler 1992].
Вы можете перейти к следующему разделу.
Вы можете также:
 Вернуться к вопросу
|
 Вернуться к содержанию Урока 12
|
|---|
Исходная копия этого документа находится по адресу "http://www.adahome.com/Tutorials/Lovelace/s12sfr2.htm".
Исходная копия перевода размещена на сайте http://www.ada-ru.org