Ада-95. Компилятор GNAT



         

Абстракция очереди


Очень важно определить различие между тем какие сервисы предусматривает тип, и как этот тип их реализует.

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

Абстракция очереди будет иметь только несколько операций:

Add_To_Tail Remove_From_Head Full Empty Init

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

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

Ниже приведен пример пакета использование которого может привести к проблемам:

package Lists is

type List is private;

procedure Add_To_Head(Item : in out List; Value : in Integer); procedure Remove_From_Head(Item : in out List; Value : out Integer);

procedure Add_To_Tail(Item : in out List; Value : in Integer); procedure Remove_From_Tail(Item : in out List; Value : out Integer);

function Full(Item : List) return Boolean; function Empty(Item : List) return Boolean;

function Init return List;

private

type List is ... -- полное описание типа

end Lists;

with Lists; use Lists; -- абстракция списка Lists

package Queues is

type Queue is new List; -- наследует операции типа List

-- то есть, следующее описано "автоматически" (неявно) -- -- procedure Add_To_Head(Item : in out Queue; Value : in Integer); -- procedure Remove_From_Head( -- Item : in out Queue; -- Value : out Integer); -- и т.д.

end Queues;

Здесь, тип очереди (Queue) наследует все операции типа список (List), даже те, которые для него не предназначены (например Remove_From_Tail). При такой реализации типа Queue, клиенты абстракции могут легко нарушить очередь, которая должна разрешать только вставку в конец очереди и удаление из начала очереди.

Например, клиент пакета Queues может легко сделать следующее:




Содержание  Назад  Вперед