Раздел 6.7 - Приватные и ограниченные приватные типы

Ada предоставляет несколько механизмов скрытия особенностей реализации от пользователей. Но для начала важно понять, что ограничение возможностей пользователя предоставляет большую свободу действий, делая вас (как разработчика типа) более свободным в выборе способа его реализации. Также вы можете свободно изменять реализацию в дальнейшем. Допустим, если в спецификации пакета описан новый тип, как это было показано выше, базирующийся на типе Integer, то пользователь сможет производить с этим типом операции сложения, вычитания и т.д. Даже если необходимо, чтобы пользователь мог использовать только операцию "меньше" (например, для упорядочивания), он, не осознавая заложенных вами ограничений, сможет использовать любые другие операции, которые могут оказаться лишенными смысла при последующей ревизии системы. Лишив пользователя возможности использования типа как обычного типа Integer, можно заставить его работать с этим типом именно так, как планировалось, и, в результате, упростить внесение изменений в реализацию.

Помещая тип в описание пакета, можно сделать его приватным. Описание типа как "private" делает недоступными обычные операции над ним (например, "+" для Integer). После описания типа необходимо привести список подпрограмм, которые будут доступны остальным клиентам как операции над данным типом. Если тип описан как приватный, то необходимо доопределить его в приватном разделе спецификации пакета. Над типом, который описан как приватный, другие пакеты могут использовать только предоставленные им операции , а также операции присваивания (:=) и равенства (=).

Приведем пример. Пусть необходимо создать тип `Key', однозначно идентифицирующий некоторый ресурс, а также предоставить пользователю пакета возможность запросить ключ (key) и определить очередность запросов ключей (назовем эту операцию "<"). Ниже приведено одно из возможных решений (пример навеян разделом 7.3.1 Ada RM) :

 package Keys is
   type Key is private;
   Null_Key : constant Key;         -- неинициализированная константа.
   procedure Get_Key(K : out Key);  -- Получить новый ключ.
   function "<"(X, Y : in Key) return Boolean; -- True если X был получен
                                                  -- до Y
 private                                -- начало приватной части пакета.
   Max_Key  : constant := 2 ** 16 - 1;  -- приватная константа.
   type Key is range 0 .. Max_Key;      -- завершено доопределение типа
   Null_Key : constant Key := 0;        -- инициализирована константа.
 end Keys;

Заметим, что тип описан как приватный в спецификации пакета. После этого следует ключевое слово `private', которое предваряет приватный раздел спецификации пакета. В этом разделе должны быть полностью доопределен тип, и описаны константы, необходимые для завершения его определения. Несмотря на то, что Key на самом деле является числовым типом, другие пакеты не могут использовать сложение, умножение и другие арифметические операции, так как он описан как приватный. Единственными операциями над этим типом будут операции, определенные в пакете (а также := и =).

Обратите внимание на функцию "<" в приведенном выше примере. В Ada можно переопределять инфиксные операции, такие как "+", "*" и "<". Это можно сделать, описав операцию как функцию, принимающую два параметра при этом используя в качестве имени знак операции, записанный в двойных кавычках. Заметим также, что можно создать константу без указания ее фактического значения, т.е. можно объявить величину как константу данного типа, не инициализируя ее. Однако, затем необходимо дать полное описание константы в приватном разделе.

Допустим, нам не нужны заданные по умолчанию операции присваивания (:=) и равенства (=). В таком случае необходимо описать тип не как приватный, а как ограниченный приватный. Ограниченный приватный тип - это приватный тип, в котором не определены даже операции присваивания и равенства. Можно считать слово "limited" приставкой к слову `private'. Ниже приведен пример объявления типа Key, как ограниченного приватного типа.

  type Key is limited private;

Упражнение:

Как описать тип, если необходимы только две операции `up' и `down'?

1. как приватный
2. как ограниченный приватный
3. как неприватный

Перейти к предыдущему разделу	Перейти к следующему разделу	Вернуться к содержанию Урока 6

Исходная копия перевода размещена на сайте http://www.ada-ru.org