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