Справочник по Ada 2005
13.10 Создание значений доступа с помощью Unchecked_Access
Атрибут Unchecked_Access используется для создания значений доступа небезопасным способом — программист несет ответственность за предотвращение «висячих ссылок».
Статическая семантика
Следующий атрибут определен для префикса X, обозначающего алиасированное представление объекта:
X'Unchecked_Access
Все правила и семантика, применяемые к X'Access (см. 3.10.2), также применяются к X'Unchecked_Access, за исключением того, что для целей правил и проверок доступности, считается, что X объявлен непосредственно внутри библиотечного пакета.
ПРИМЕЧАНИЯ
22 Данный атрибут предназначен для поддержки ситуации, когда локальный объект должен быть вставлен в глобальную связанную структуру данных, когда программист знает, что он всегда будет удален из структуры данных до выхода из области видимости объекта. Атрибут Access в этом случае был бы недопустимым (см. 3.10.2, «Операции с типами доступа»).
23 Атрибут Unchecked_Access не определен для подпрограмм.
