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