Защищенные типы и объекты Защищенные подпрограммы
Защищенные модули (типы и объекты) Ады инкапсулируют данные и позволяют осуществлять доступ к ним с помощью защищенных подпрограмм или защищенных входов.
Стандарт языка гарантирует, что в результате выполнения кода таких подпрограмм и входов изменение содержимого данных будет производиться в режиме взаимного исключения без необходимости создания дополнительной задачи.
Защищенный модуль может быть описан как защищенный тип или как одиночный защищенный объект, что аналогично одиночной задаче.
В последнем случае предполагается, что защищенный объект имеет соответствующий анонимный тип.
Следует учитывать, что защищенный тип является лимитированным и, тем самым, не обладает предопределенными операциями присваивания или сравнения.
Подобно задаче или пакету, защищенный модуль имеет спецификацию и тело.
Спецификация описывает протокол доступа к защищенному модулю (интерфейс), и может содержать спецификации процедур, функций и входов защищенного модуля.
Тело описывает детали реализации протокола доступа к данным защищенного модуля и, как правило, содержит тела защищенных подпрограмм и входов.
Подобно задачам и записям, защищенный модуль может иметь дискриминанты дискретного или ссылочного типа.
В качестве простой иллюстрации рассмотрим пример следующго одиночного защищенного объекта:
| -- спецификация защищенного объекта protected Variable is
function Read return Item; procedure Write(New_Value : Item); private Data : Item; end Variable; -- тело защищенного объекта protected body Variable is function Read return Item is begin return Data; end; procedure Write (New_Value : Item) is begin Data := New_Value; end; end Variable; |
Защищенный объект Variable предоставляет управляемый доступ к приватной переменной Data типа Item.
Функция Read позволяет читать, а процедура Write - обновлять текущее значение переменной Data.
Защищаемые данные и данные о состоянии объекта должны быть помещены в приватную часть спецификации.
Смысл этого заключается в том, что приватная часть не доступна клиенту непосредственно, а наличие всей информации в интерфейсе защищенного объекта необходимо компилятору для эффективного распределения памяти.
Защищенные процедуры предусматривают взаимно исключающий доступ к данным защищенного модуля по чтению и/или записи.
Защищенные функции предоставляют одновременный доступ к данным защищенного модуля только по чтению, что подразумевает одновременное выполнение множества вызовов функций.
Однако вызовы защищенных процедур и защищенных функций остаются взаимно исключающими.
Порядок, в котором разные задачи ожидают выполнения защищенных процедур и защищенных функций, стандартом не определяется.
Однако поддержка требований приложения D (Annex D) стандарта Ada95, в котором указаны требования для систем реального времени, позволяет сделать некоторые предположения о возможном порядке выполнения подпрограмм.
Для обращения к защищенным подпрограммам используется традиционная точечная нотация:
|
X := Variable.Read; . . . Variable.Write (New_Value => Y); |
